测试例

作品数:46被引量:61H指数:5
导出分析报告
相关领域:电子电信自动化与计算机技术更多>>
相关作者:郑红霞叶新铭潘娟李忠诚张玉军更多>>
相关机构:北京邮电大学重庆邮电大学内蒙古大学国际商业机器公司更多>>
相关期刊:《电子测试》《中学语文教学》《福建电脑》《通信学报》更多>>
相关基金:国家自然科学基金国家科技重大专项国家高技术研究发展计划内蒙古自治区自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=软件学报x
条 记 录,以下是1-2
视图:
排序:
基于条件概率模型的缺陷定位方法被引量:8
《软件学报》2018年第6期1756-1769,共14页舒挺 黄明献 丁佐华 王磊 夏劲松 
国家自然科学基金(61101111;61572441);浙江省自然科学基金(LY17F020033)~~
缺陷定位是软件调试的重要阶段,依赖程序频谱信息实现软件缺陷定位,是当前比较行之有效的方法.基于频谱缺陷定位方法应用的前提是,程序频谱和执行结果之间存在的潜在关联.通过经验性分析两者之间的内在关联,借助于统计学的条件概率思想...
关键词:缺陷定位 程序频谱 条件概率 软件调试 测试例 
CPN建模与on-the-fly方法相结合的测试用例生成被引量:1
《软件学报》2017年第10期2564-2582,共19页张玉荣 李华 邢熠 王显荣 阮宏玮 张素梅 
国家自然科学基金(61163011;61262082);内蒙古自治区自然科学基金(2015MS0612);内蒙古自治区高校科学技术研究项目(NJZY010);赛尔创新项目(NGⅡ20150112)~~
在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴...
关键词:on-the-fly测试 CPN层次模型 扩展可达图 同步乘积 测试例 
检索报告 对象比较 聚类工具 使用帮助 返回顶部