龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：大连海事大学
摘要：本发明公开了一种基于知识库的CPS模型等价模输入变异测试方法，包括：采用Simulink软件标记测试用例中的所有种类模块的分步区域；建立深度学习模型；对测试用例进行变异时包括基础变异和变异操作；对Simulink软件进行测试，对变体测试用例与其原Simulink测试用例进行差分测试，编译和运行测试用例，获取测试用例中每个模块的输入输出值，对比变体测试用例与原Simulink测试用例的所有输入输出值，如果产生差异，则记录该差异信息。该方法增加了变体测试用例的多样性和随机性；通过嵌套僵尸区域添加大量测试用例模块的方法解决了变体测试用例与原Simulink测试用例差异性过小的问题。
主权项：1.一种基于知识库的CPS模型等价模输入变异测试方法，其特征在于包括：采用Simulink软件标记测试用例中的所有种类模块的分步区域；建立深度学习模型，该模型包括编码器、解码器和采样机制，将正确运行的测试用例作为种子模型，将预处理和编码后的种子模型输入至深度学习模型中，使用深度学习模型的反向传播特性进行训练；对测试用例进行变异时包括基础变异和变异操作，其中基础变异时：对测试用例的所有模块的数据类型和样本时间潜在的冲突问题进行完善，再进行生成操作；获取测试用例的嵌套僵尸区域和非僵尸区域，随机选择多个非僵尸区域的模块段输入至训练好的深度学习模型中，对模块段进行续写生成能够正确运行的Simulink测试用例，将生成的测试用例单独存储在知识库中，其中知识库中测试用例数量随着变异次数的增长而增长；变异操作时：遍历嵌套僵尸区域，删除以子系统为单位划分的嵌套僵尸区域中的部分模块，并在此子系统内部添加由知识库中随机选择的测试用例，遍历所有区域后获得变体测试用例；对Simulink软件进行测试：设置定量的变异次数，对变体测试用例与其原Simulink测试用例进行差分测试，编译和运行测试用例，获取测试用例中每个模块的输入输出值，对比变体测试用例与原Simulink测试用例的所有输入输出值，如果产生差异，则记录该差异信息，否则完成测试过程。
全文数据：
权利要求：
百度查询： 大连海事大学 一种基于知识库的CPS模型等价模输入变异测试方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号