| 模型检测在软件需求分析及设计中的应用 |
| |
| 引用本文： | 贺亚博,郝克刚,葛玮.模型检测在软件需求分析及设计中的应用[J].计算机应用与软件,2009,26(4). |
| |
| 作者姓名： | 贺亚博 郝克刚 葛玮 |
| |
| 作者单位： | 西北大学软件工程研究所,陕西,西安,710127 |
| |
| 摘 要： | 模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现.总结了模型检测在软件需求分析及设计中已有的应用技术,包括利用模型检测工具对RSML,SCR和UML图形的检测,以及直接的模型检测,并从不同角度对已有技术进行系统的分析和比较.最后对该项技术研究的方向进行展望.
|
| 关 键 词： | 模型检测 模型检测工具 直接检测 |
APPLICATION OF MODEL CHECKING IN SOFTWARE REQUIREMENTS ANALYSIS AND DESIGN |
| |
| He Yabo,Hao Kegang,Ge Wei.APPLICATION OF MODEL CHECKING IN SOFTWARE REQUIREMENTS ANALYSIS AND DESIGN[J].Computer Applications and Software,2009,26(4). |
| |
| Authors: | He Yabo Hao Kegang Ge Wei |
| |
| Affiliation: | Institute of Software Engineering;Northwest University;Xi'an 710127;Shaanxi;China |
| |
| Abstract: | Model checking is used widely in hardware,protocol domain because of the virtue of automatism and high checking rate.Recent years,research of model checking in software domain is developing rapidly,too.We conclude the existed application technology about model checking in software requirements analysis and design,including model checking RSML,SCR,and UML diagrams with model checker,and model checking directly.We also analyze and compare existed technologies from two angles.Finally,we identify some issues wh... |
| |
| Keywords: | Model checking Model checker Checking directly |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
