测试充分性准则

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于二阶Markov模型的改进相对熵测试充分性准则被引量：2
《计算机工程与设计》2022年第12期3428-3434,共7页张凡 李福川 陈丽容 吕中凯 
国家重大工程支持基金项目(2020D204007)。
为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性...
关键词：马尔可夫模型 软件测试 测试充分性准则 二阶马尔可夫 改进相对熵 测试用例生成 单元测试 
基于测试充分性准则的非死锁并发缺陷定位方法被引量：1
《计算机科学》2017年第11期195-201,共7页陈诚 郑征 王皓钦 乔禹 
并发程序的非确定性使得其调试工作异常困难。基于程序谱的软件缺陷定位方法虽然能够缓解该情况,但其定位结果依赖于调试信息。针对在此过程中难以获得调试信息及如何选择利用调试信息的问题,提出了一种基于测试充分性准则的缺陷定位方...
关键词：并发程序 软件测试 软件缺陷定位 
基于智能非信息素蜂群优化的软件测试研究被引量：2
《计算机应用研究》2014年第8期2399-2402,共4页李云玮 孙忱 范玉顺 
北京市教委资助性项目(20130834)
针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福值用于评价测试实例的吻合程度。通过将三组蜂群分别扩展为搜索代理、选择代理和优化代理,可以从大量的...
关键词：软件测试 测试优化 人工蜂群优化 测试充分性准则 蚁群优化 
面向代数规约测试谓词/变迁网
《小型微型计算机系统》2011年第9期1804-1809,共6页余波 
国家"九七三"重点基础研究发展计划项目(2005CB321802)资助;湖南省教育厅高校教学改革项目(2010-495)资助
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序...
关键词：代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则 
基于测试充分性准则的教育软件内容测试被引量：1
《计算机工程与应用》2008年第30期83-86,共4页方海光 陈蜜 
国家重点基础研究发展规划(973) No.2004CB318003;北京市教委科技计划项目~~
教育软件内容测试是对教育软件根本性目标进行测试的需要,也是教育信息技术和教育软件工程研究的重点内容之一。基于测试充分性准则提出了教育软件内容测试,通过测试充分性准则来指导确定测试数据集,保障遵循学习特征的教育软件所包含...
关键词：测试充分性 教育软件 内容测试 教育软件工程 
基于可靠性增长模型的软件可靠性增长测试充分性准则被引量：4
《计算机科学》2008年第11期281-283,292,共4页吴彩华 朱小冬 刘俊涛 王毅刚 
十一五国防预先研究项目(软件密集型装备保障技术;513270104)资助
结合软件可靠性增长模型,扩充了基于可信度度量的软件可靠性增长测试充分性问题度量准则,提出了关于可靠性增长测试充分性问题新的度量准则:可靠性测试只有同时满足可靠性增量指标要求、可信度要求和每单位测试资源发现的故障数要求方...
关键词：可靠性测试 可靠性增长模型 可信度 测试资源 
UML状态图测试充分性准则的公理化评估被引量：8
《上海大学学报（自然科学版）》2007年第5期489-496,共8页缪淮扣 费立志 
国家自然科学基金资助项目(60673115);国家重点基础研究发展计划(973计划)资助项目(2002CB312001);上海市教委科技发展基金资助项目(05AZ70);上海市教委科研项目(07ZZ06)
描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的...
关键词：UML状态图 测试准则 测试用例 公理化评估 
对逻辑覆盖软件测试准则的公理化评估被引量：9
《软件学报》2004年第9期1301-1310,共10页刘玲 缪淮扣 
国家自然科学基金~~
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选...
关键词：基于规格说明的测试 逻辑覆盖测试准则 公理化评估 测试充分性准则 
软件测试充分性研究被引量：7
《计算机工程与应用》2004年第3期60-62,共3页伦立军 赵辰光 丁雪梅 李英梅 
黑龙江省教育厅科技项目(编号:10513011);哈尔滨师范大学杰出青年基金项目资助
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测...
关键词：软件测试 测试充分性准则 测试数据 数据生成 
上下文无关文法测试充分性被引量：2
《北京航空航天大学学报》2003年第10期869-872,共4页李虎 金茂忠 高仲仪 刘超 
讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这...
关键词：上下文无关文法 文法测试 测试充分性准则 测试复杂性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部