优化基于模型检验的测试生成
【摘要】：利用模型检验器输出的反例构造测试用例是测试自动化的一种重要手段.然而由于一个反例可能对应多个性质违背,测试生成过程中可能存在大量不必要的对模型检验器的调用,测试包也往往存在大量冗余,严重影响测试生成和测试执行性能.提出一种测试生成的动态监控优化方法.用时态逻辑公式重写技术缩减测试目标集,用测试树表示缩减的但符合覆盖准则的测试包.在模型检验被选择的测试目标时,新产生的测试用例被用于重写测试目标集中的剩余目标,删除那些被测试用例覆盖的目标以避免不必要的模型检验器的调用.同时在新测试用例加入测试包时,用测试树对其进行筛选,消除冗余.
|
|
|
|
| 1 |
肖铁军,黄建文,陈祖爵;数字电路逻辑测试系统中的测试生成[J];江苏大学学报(自然科学版);1993年06期 |
| 2 |
冉蜀阳,陈光(礻禹);数字集成电路测试生成的一种专家系统方法[J];电子科技大学学报;1993年04期 |
| 3 |
康波,吕炳朝,陈光;基于混沌搜索的组合电路测试生成算法[J];电路与系统学报;2002年04期 |
| 4 |
崔晓天，魏道政;组合电路测试生成研究及实验[J];计算机学报;1996年10期 |
| 5 |
潘中良;测试图形生成的遗传算法研究[J];电子科技大学学报;1997年05期 |
| 6 |
曾成碧,陈光;数字电路测试生成的可满足性方法研究[J];仪器仪表学报;2001年01期 |
| 7 |
刘晓东,张毅刚,孙圣和;时序电路的模糊化测试生成算法[J];微电子学与计算机;2002年10期 |
| 8 |
欧阳星明;TGS 中的一种逻辑电路模型及预处理[J];华中理工大学学报;1997年08期 |
| 9 |
康波,吕炳朝,陈光;一种基于混沌神经网络的测试生成算法[J];电子测量与仪器学报;2002年03期 |
| 10 |
张玉军,李忠诚;移动IPv6测试中的层次化协议描述和测试生成方法[J];电子学报;2004年S1期 |
| 11 |
王迎旭,武显荣;通用数字IC的测试生成研究[J];铁道学报;1993年03期 |
| 12 |
李少虹,李少青;一种提高VLSI测试生成速度的辅助方法[J];计算机工程与科学;1998年02期 |
| 13 |
潘中良,张光昭;电路测试神经网络方法中求多个测试矢量[J];微电子学与计算机;2000年03期 |
| 14 |
董云耀;PLA测试集自动生成系统PLATSG[J];计算机学报;1990年04期 |
| 15 |
刘明远,邵锦荣;数字IC可测性设计和自动测试生成技术[J];微电子学;1998年05期 |
| 16 |
;各种规模集成电路[J];电子科技文摘;2001年12期 |
| 17 |
何新华,蔡红柳,王维锋;嵌入式软件数学仿真测试研究[J];仪器仪表学报;2002年S2期 |
| 18 |
胡江红,胡谋;CMOS电路开关级测试生成的一种新算法[J];计算机学报;1993年06期 |
| 19 |
彭介华，刘明建;用输入“矢量对”进行大型组合电路分块测试生成的新方法[J];湖南大学学报;1994年01期 |
| 20 |
潘中良;一种电路测试的最优神经网络与遗传进化方法[J];仪器仪表学报;2001年S1期 |
|
手机打开
快捷付款方式
订购知网充值卡
订购热线
帮助中心