基于对象状态一致性的软件动态更新测试方法
基本信息
申请号 | CN202011444437.6 | 申请日 | - |
公开(公告)号 | CN112363954B | 公开(公告)日 | 2021-07-30 |
申请公布号 | CN112363954B | 申请公布日 | 2021-07-30 |
分类号 | G06F11/36(2006.01)I;G06F8/71(2018.01)I;G06F8/30(2018.01)I | 分类 | 计算;推算;计数; |
发明人 | 黄頔;赵泽林;马晓星 | 申请(专利权)人 | 山东中创软件工程股份有限公司 |
代理机构 | 南京乐羽知行专利代理事务所(普通合伙) | 代理人 | 李玉平 |
地址 | 250014 山东省济南市千佛山东路41-1号 | ||
法律状态 | - |
摘要
摘要 | 本发明公开一种基于对象状态一致性的软件动态更新测试方法,包括如下步骤:步骤一、基于既定规则自动生成测试文件(包含双版本执行器和每个参数的状态构造器),并采用抽取字面值的方法提高状态构造器的可靠性;步骤二、执行基于模糊思想的动态更新测试。每轮工具根据状态构造器随机生成一组测试输入,并由双版本执行器同时运行两版本程序。随后比较对象状态,将产生不一致的特殊输入加入种子池,指导下一轮生成更符合条件的输入。本发明可以自动构建测试用例,减轻人工负担;利用特殊字面量,加速构造合法的对象状态;并且借助模糊的思想,设计新型反馈机制,提升测试效率。 |
