测试充分性准则

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

检索结果分析

结果分析中...
选择条件:
  • 主题=软件测试x
条 记 录,以下是1-5
视图:
排序:
基于二阶Markov模型的改进相对熵测试充分性准则被引量:2
《计算机工程与设计》2022年第12期3428-3434,共7页张凡 李福川 陈丽容 吕中凯 
国家重大工程支持基金项目(2020D204007)。
为解决基于一阶Markov模型的软件测试充分性准则不精确、充分性判定过程容易产生误判的问题,在分析现有的软件测试充分性准则的基础上,提出一种基于二阶Markov模型的改进相对熵测试充分性判别准则。消除单纯Markov模型的“一阶无后效性...
关键词:马尔可夫模型 软件测试 测试充分性准则 二阶马尔可夫 改进相对熵 测试用例生成 单元测试 
基于测试充分性准则的非死锁并发缺陷定位方法被引量:1
《计算机科学》2017年第11期195-201,共7页陈诚 郑征 王皓钦 乔禹 
并发程序的非确定性使得其调试工作异常困难。基于程序谱的软件缺陷定位方法虽然能够缓解该情况,但其定位结果依赖于调试信息。针对在此过程中难以获得调试信息及如何选择利用调试信息的问题,提出了一种基于测试充分性准则的缺陷定位方...
关键词:并发程序 软件测试 软件缺陷定位 
基于智能非信息素蜂群优化的软件测试研究被引量:2
《计算机应用研究》2014年第8期2399-2402,共4页李云玮 孙忱 范玉顺 
北京市教委资助性项目(20130834)
针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福值用于评价测试实例的吻合程度。通过将三组蜂群分别扩展为搜索代理、选择代理和优化代理,可以从大量的...
关键词:软件测试 测试优化 人工蜂群优化 测试充分性准则 蚁群优化 
软件测试充分性研究被引量:7
《计算机工程与应用》2004年第3期60-62,共3页伦立军 赵辰光 丁雪梅 李英梅 
黑龙江省教育厅科技项目(编号:10513011);哈尔滨师范大学杰出青年基金项目资助
软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先给出测试充分性准则的形式化描述,然后讨论了软件测试充分性的性质,最后给出了两种理想的测试数据生成方案,并提出了测...
关键词:软件测试 测试充分性准则 测试数据 数据生成 
超文本应用软件测试充分性准则初探被引量:3
《软件学报》1997年第A00期130-136,共7页金凌紫 朱鸿 
在开发超文本应用软件时,测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求;节点级验证节点中所今信息的正确性,链接级检接实现的正确性、系统结构对系统结构进行...
关键词:测试充分性准则 超文本 应用程序 
检索报告 对象比较 聚类工具 使用帮助 返回顶部