资料下载
×
系统性质的一致性检验框架
消耗积分:2 |
格式:rar |
大小:1.68 MB |
2018-01-12
分享资料个
在模型驱动软件开发过程中，基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量．然而，随着当今软件系统规模的不断扩大，相应的软件开发过程也变得越来越灵活，代码有时会先于模型被修改，以更忠实地体现系统功能和实现机制，传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面，模型的修改者只能人为地评估修改的正确性，大大降低了效率并增加了系统的潜在隐患，为此，对传统基于模型的测试方法的一致性检验进行了扩展，实现了一致性检验框架ProMiner，通过抽取表达模型与代码的不一致的系统性质来自动定位模型中与实际运行系统不匹配的部分，并将其表示为可直接用于模型检测的线性时序逻辑（LTL）表达式，以支持软件模型和代码间双向的一致性检验．实验结果表明，ProMiner可有效查找软件模型和代码间的不一致并生成可直接检测模型的系统性质，从而实现了自动化的模型与代码间的双向一致性检测，不仅提高了一致性检测的有效性，而且大大减少了人力开销．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
