| 发明名称 | 一种生成测试用例的方法 | ||
| 摘要 | 本发明提出了一种生成测试用例的方法，包括：a、构造待测软件的具体模型；b、对具体模型进行抽象以形成抽象模型；c、在抽象模型上生成抽象反例；d、判断具体模型中是否存在与抽象反例对应的具体反例；e、当具体模型中存在与抽象反例对应的具体反例时，则将抽象反例作为测试用例。本发明所提出的测试用例生成的方法，通过合并迁移以构成抽象模型，并优化抽象函数以减少伪反例，从而约简了测试用例集。 | ||
| 申请公布号 | CN104090838A | 申请公布日期 | 2014.10.08 |
| 申请号 | CN201410274405.4 | 申请日期 | 2014.06.19 |
| 申请人 | 苏州市职业大学 | 发明人 | 陆公正 |
| 分类号 | G06F11/36(2006.01)I | 主分类号 | G06F11/36(2006.01)I |
| 代理机构 | 苏州铭浩知识产权代理事务所(普通合伙) 32246 | 代理人 | 刘艳春 |
| 主权项 | 一种生成测试用例的方法，其特征在于，包括：a、构造待测软件的具体模型；b、对所述具体模型进行抽象以形成抽象模型；c、在所述抽象模型上生成抽象反例；d、判断所述具体模型中是否存在与所述抽象反例对应的具体反例； e、当所述具体模型中存在与所述抽象反例对应的具体反例时，则将所述抽象反例作为测试用例。 | ||
| 地址 | 215104 江苏省苏州市吴中区国际教育园致能大道106号苏州市职业大学 | ||