测试覆盖准则

作品数：17被引量：77H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐士华赵磊王晓峰吕莉媛陈军成更多>>
相关机构：哈尔滨师范大学黑龙江司法警官职业学院北京化工大学南京大学更多>>
相关期刊：《计算机研究与发展》《软件学报》《计算机工程》《计算机工程与设计》更多>>
相关基金：国家自然科学基金黑龙江省教育厅科学技术研究项目黑龙江省科技攻关计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
DeepRanger:覆盖制导的深度森林测试方法被引量：2
《软件学报》2023年第5期2251-2267,共17页崔展齐 谢瑞麟 陈翔 刘秀磊 郑丽伟 
江苏省前沿引领技术基础研究专项(BK20202001);国家自然科学基金(61702041,61601039);北京信息科技大学“勤信人才”培育计划(QXTCP C201906,QXTCP B201905)。
深度学习软件的结构特征与传统软件存在明显差异,因此即使展开了大量测试,依然无法有效衡量测试数据对深度学习软件的覆盖情况和测试充分性,并造成后续使用过程中依然可能存在大量未知错误.深度森林是一种新型深度学习模型,其克服了深...
关键词：深度森林 测试覆盖准则 多粒度扫描覆盖 级联森林覆盖 
回归测试中测试用例集扩充技术研究进展被引量：1
《计算机科学》2013年第6期8-15,28,共9页陈翔 顾庆 陈道蓄 
国家自然科学基金(60873027,61202006);江苏省高校自然科学研究项目(12KJB520014);南通市应用研究计划项目(BK2012023);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2012B29)资助
测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并...
关键词：回归测试 测试用例集扩充 测试覆盖准则 动态符号执行 演化测试 
一种软件体系结构级基本路径覆盖方法
《计算机工程》2012年第10期60-62,66,共4页赵磊 吕莉媛 赵国生 
教育部青年基金资助项目(10YJC870025);黑龙江省科技攻关基金资助项目(GZ09A109);黑龙江省教育厅科技基金资助项目(12521150)
软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基...
关键词：化学抽象机 软件体系结构 有向无环图 测试覆盖准则 基本路径覆盖 
基于扩展CHAM的SA级路径覆盖方法
《微电子学与计算机》2011年第9期22-26,共5页徐士华 吕莉媛 赵磊 
教育部项目(10YJC870025)
化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件...
关键词：测试路径 标号迁移系统 测试覆盖准则 化学抽象机 
面向对象软件和EFSM规范测试覆盖准则比较被引量：1
《清华大学学报（自然科学版）》2011年第S1期1445-1450,共6页王晓峰 赵瑞莲 
国家自然科学基金资助项目(61073035;60903002)
测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究大多从程序代码或者规范出发,很少将两者结合起来考虑。另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发...
关键词：面向对象程序 EFSM规范 测试覆盖准则 
基于Wright的SA级测试路径生成方法
《微型机与应用》2011年第8期14-17,共4页徐士华 赵磊 吕莉媛 
教育部项目(10YJC870025)
软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们...
关键词：软件体系结构 软件测试 测试路径 动态行为图 测试覆盖准则 
基于CHAM的SA级全路径覆盖方法被引量：1
《微电子学与计算机》2010年第4期140-144,共5页赵磊 徐士华 赵国生 伦立军 
黑龙江省教育厅科技项目(11531237)
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
关键词：软件体系结构 测试路径 标号迁移系统 测试覆盖准则 化学抽象机 
形式概念分析在Web应用测试用例选取中的应用
《计算机工程与设计》2009年第17期3983-3985,4056,共4页檀革苗 袁捷 缪怀扣 王明辉 
国家自然科学基金项目(60673115);国家863高技术研究发展计划基金项目(2007AA01Z144);上海市重点学科建设基金项目(J501032)
为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并...
关键词：形式概念分析 FSM模型 WEB应用测试 测试覆盖准则 状态组合爆炸 
一种新的测试集简化的测试覆盖准则被引量：3
《计算机科学》2009年第1期244-246,272,共4页崔霞 高建华 
国家自然科学基金(No:60673067)资助
在回归测试过程中,测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法。但是用此方法得到的简化测试集,其错误检测能力往往被减弱。因此提出了一种新颖的...
关键词：测试覆盖准则 测试集简化 回归测试 软件测试 
面向Length_N测试覆盖准则的测试用例生成技术研究
《四川大学学报（工程科学版）》2008年第3期132-137,共6页李宝林 李志蜀 倪建成 李继玲 
国家中小企业创新基金资助项目(06C26225101730);四川省科技厅基金资助重点项目(05GG021-003-2)
针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对...
关键词：面向路径测试覆盖准则 遗传模拟退火算法 程序插装 测试用例 Length_N完整路径表 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部