国家自然科学基金(91018005)
- 作品数:6 被引量:15H指数:2
- 相关作者:王蓁蓁马倩丁晖卢红敏查日军更多>>
- 相关机构:南京大学金陵科技学院东南大学更多>>
- 发文基金:国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术兵器科学与技术理学更多>>
- t-维组合覆盖阵的递归构建(英文)
- 2011年
- 一个大小为N、度为k、取值为v、强度为t的t-维组合覆盖阵是一个N×k矩阵,其取值为v的符号集,并且任意N×t子矩阵的行都至少包含取值为v符号集的任一t元组一次.提出了一种基于差阵的t-维组合覆盖阵代数递归构建新方法,该方法在已有的覆盖阵基础上可大规模地扩展参数个数,实现任意t个参数组合的有效覆盖(t≥2),是一种实用的生成高维组合覆盖阵代数递归新方法.同时,给出了该新方法的理论推导与算法实现.
- 查日军张德平徐宝文
- 关键词:正交阵
- 模型检验综述被引量:8
- 2013年
- 在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。
- 王蓁蓁
- 关键词:时态逻辑
- 基于动态基本块的测试用例约简
- 2012年
- 缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆盖标准,本文提出以动态基本块为覆盖标准,并在此基础上提出2种约简策略来减小测试输入的规模。实验结果证明,新方法可以有效地减少测试输入,并且约简后的错误定位效果几乎不下降。
- 马倩陈林卢红敏丁晖