您的位置: 专家智库 > >

国家自然科学基金(91018005)

作品数:6 被引量:17H指数:2
相关作者:王蓁蓁马倩丁晖卢红敏查日军更多>>
相关机构:南京大学金陵科技学院东南大学更多>>
发文基金:国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术兵器科学与技术理学更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇时态逻辑
  • 1篇测试用例

机构

  • 2篇南京大学
  • 1篇东南大学
  • 1篇南京航空航天...
  • 1篇金陵科技学院

作者

  • 1篇陈林
  • 1篇张德平
  • 1篇王蓁蓁
  • 1篇徐宝文
  • 1篇查日军
  • 1篇卢红敏
  • 1篇丁晖
  • 1篇马倩

传媒

  • 1篇计算机科学
  • 1篇Journa...
  • 1篇中国科技论文

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
6 条 记 录,以下是 1-3
排序方式:
Recursive constructions for t-covering arrays
2011年
A t-covering array of size N, degree k, order v and strength t is an N x k array with entries from a set of v symbols such that any N x t subarray contains a t-tuple of v symbols at least once as a row. This paper presents a new algebraic recursive method for constructing covering arrays based on difference matrices. The method can extend parameter factors on the existing covering arrays and cover all the combinations of any t parameter factors (t≥2). The method, which recursively generates high strength covering arrays, is practical. Meanwhile, the theoretical derivation and realization of the proposed algebraic recursive algorithm are given.
查日军张德平徐宝文
模型检验综述被引量:9
2013年
在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。
王蓁蓁
关键词:时态逻辑
基于动态基本块的测试用例约简
2012年
缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆盖标准,本文提出以动态基本块为覆盖标准,并在此基础上提出2种约简策略来减小测试输入的规模。实验结果证明,新方法可以有效地减少测试输入,并且约简后的错误定位效果几乎不下降。
马倩陈林卢红敏丁晖
共1页<1>
聚类工具0