江胜

作品数：7被引量：20H指数：3
导出分析报告
供职机构：华中科技大学更多>>
发文主题：结构性测试进化测试适应度软件测试神经网络更多>>
发文领域：自动化与计算机技术环境科学与工程更多>>
发文期刊：《计算机与数字工程》《计算机应用研究》《小型微型计算机系统》《环境卫生工程》更多>>
所获基金：国防科技技术预先研究基金湖北省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
COVID-19暴发期间武汉市医疗废物应急管理研究被引量：8
《环境卫生工程》2021年第2期96-96,共1页杨列 喻晓 吴小龙 汪佳 闫霄珂 江胜 陈朱琦 廖朱玮(译) 
1研究亮点涉疫生活垃圾作为医疗废物进行全过程管理;武汉市医疗废物平均产生量从3.64 kg/(千人·d)爆炸性地增加至27.32 kg/(千人·d);武汉市医疗废物处置能力从50.00 t/d短期内提升至280.10 t/d;集中定点处理设施和焚烧共处置设施是疫...
关键词：医疗废物 新冠肺炎 焚烧 应急管理 消毒 
基于非结构化控制流的进化测试方法
《计算机科学》2009年第8期149-152,181,共5页江胜 卢炎生 
"十一五"部委预研项目(513150601)资助
结构性测试中,进化测试是一种高效的自动生成高质量测试用例的技术。然而,当程序中出现非结构化特征时,在面向节点的测试标准下,其效率极其低下甚至不及随机测试生成方法。在考虑循环体内部出现跳转(goto、return)语句的情况下,提出了...
关键词：进化测试 非结构化控制流 循环 适应度 进化搜索 
进化测试中循环体内标志变量移除方法
《华中科技大学学报（自然科学版）》2009年第3期79-82,共4页江胜 卢炎生 
"十一五"国防预研基金资助项目
研究了循环体内标志变量赋值对进化测试带来的影响.分析了传统方法的不足及标志变量(flag)存在的各种情况,如针对标志变量的多分支赋值、跳转语句(break)的使用以及存在嵌套循环等问题,提出了一种改进的循环体内部的flag移除算法.通过...
关键词：软件测试 结构性测试 进化测试 进化搜索 标志变量 适应度 
面向对象程序的异常分析与测试方法述评被引量：2
《计算机应用研究》2007年第8期25-29,37,共6页毛澄映 卢炎生 闫伟 江胜 
国家"十五"科技预研基金资助项目(41315.9.2;10104010201);湖北省自然科学基金资助项目(2005ABA266)
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
关键词：异常处理 分析与测试 控制流图 形式推理 覆盖准则 
一个C/C++程序集成测试平台的设计与实现被引量：3
《小型微型计算机系统》2007年第6期1037-1043,共7页毛澄映 卢炎生 谢晓东 江胜 顾海波 
国家"十五"科技预研项目(413150902;10104010201);湖北省自然科学基金项目(2005ABA266)资助
研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法...
关键词：静态分析 结构性测试 基于状态的类测试 测试驱动器 聚类分析 
测试自动机的测试驱动器设计与实现技术被引量：5
《计算机工程》2004年第23期181-183,共3页易国洪 卢炎生 谢晓东 江胜 
"十五"国防科技预研项目资助
介绍了测试自动机的测试驱动器设计与实现技术,给出了测试驱动器接口的测试用例、测试输出的形式化定义,提出了一种通用的“客户/服务”测试驱动模型及其实现技术。
关键词：自动机 实现技术 测试用例 驱动器 驱动模型 接口 通用 输出 
主动数据库中的复合事件构造与探测被引量：2
《计算机与数字工程》2001年第4期18-22,共5页江胜 卢炎生 
本文提出了主动数据库中复合事件的构造形式,对于复合事件的实现及探测,提出了基于“扩展语义树”处理的方法。
关键词：主动数据库 复合事件 扩展语义树 事件处理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部