测试充分性准则

作品数：14被引量：49H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王峰缪淮扣李虎施寅生朱彬更多>>
相关机构：北京系统工程研究所上海大学北京航空航天大学南京大学更多>>
相关期刊：《计算机工程与应用》《计算机工程与设计》《北京航空航天大学学报》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划黑龙江省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=测试用例x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于二阶Markov模型的改进相对熵测试充分性准则被引量：2
《计算机工程与设计》2022年第12期3428-3434,共7页张凡 李福川 陈丽容 吕中凯 
国家重大工程支持基金项目(2020D204007)。
为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性...
关键词：马尔可夫模型 软件测试 测试充分性准则 二阶马尔可夫 改进相对熵 测试用例生成 单元测试 
UML状态图测试充分性准则的公理化评估被引量：8
《上海大学学报（自然科学版）》2007年第5期489-496,共8页缪淮扣 费立志 
国家自然科学基金资助项目(60673115);国家重点基础研究发展计划(973计划)资助项目(2002CB312001);上海市教委科技发展基金资助项目(05AZ70);上海市教委科研项目(07ZZ06)
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的...
关键词：UML状态图 测试准则 测试用例 公理化评估 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部