原创力文档- 1、本文档共8页，其中可免费阅读3页，需付费150金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
- 3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
论文范文：面向测试和模型检测需求的程序建模技术研究
1绪论 1.1研究现状 对被测统建模是软件测试和模型检测的关键需求，目前程序建模方法和过程仍然是一个具有挑战性的难题。目前模型检测的研宄中，以程序控制流图为分析对象的流分析是重要的模型检查方法。文献是在程序的源代码层面采用基于程序控制流提取的模型检查方法，基于扩展的程序流图生成抽象有限状态模型，并利用模型检查算法验证有限状态模型性质的正确性。文献采用的是抽象状态机模型ASM是模型检测的基础；然而当源程序复杂到一定程度，模型的复杂度也会增加，建模过程很难保证一致性，提出方法与技术的适用程度有待于进一步扩展。文献和分别采用的工具为SPIN
文档评论（0）