原创力文档- 7
- 0
- 约2.4万字
- 约 6页
- 2017-10-13 发布于天津
- 举报
第卷第期东南大学学报自然科学版年月一种基于模型检验的类测试用例生成方法梁陈良聂长海徐宝文陈振宇东南大学计算机科学与工程学院南京江苏省软件质量研究所南京摘要提出一种新的自动生成类测试用例的方法使用符号执行从类源代码抽取对象的状态和行为以一个四元组抽象描述类并转化成等价的结构使用公式描述测试覆盖标准然后把这组公式和描述类状态行为的结构输入模型检验工具并利用模型检验工具自动生成相应的证据路径最后将路径转化成满足相应覆盖标准的类测试用例该方法直接从源代码生成测试用例并使用贪心法约减冗余用例以降低测试成本
第３７卷第５期 东南大学学报（自然科 学版 ） Ｖｏｌ３７ Ｎｏ５
２００７年９月 ＪＯＵＲＮＡＬＯＦＳＯＵＴＨＥＡＳＴＵＮＩＶＥＲＳＩＴＹ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） Ｓｅｐｔ．２００７
一种基于模型检验的类测试用例生成方法
梁陈良 聂长海 徐宝文 陈振宇
（东南大学计算机科学与工程学院
文档评论（0）