|
|||||
|
|
| 一种面向软件行为和多视点的需求模型验证方法 | |
| 引用本文： | 陈曙,毋国庆,叶俊民,陈明楷.一种面向软件行为和多视点的需求模型验证方法[J].小型微型计算机系统,2013,34(7). |
| 作者姓名： | 陈曙 毋国庆 叶俊民 陈明楷 |
| 作者单位： | 1. 华中师范大学计算机科学系,武汉,430079 2. 武汉大学计算机学院,武汉,430072 3. 湖北省军区自动化工作站,武汉,430071 |
| 基金项目： | 华中师范大学中央高校自主科研基金项目，湖北省自然科学基金项目 |
| 摘 要： | 软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型. |
| 关 键 词： | 需求分析 多视点 软件行为 模型验证 |
Requirement Model Checking Approach Based on Multi-view and Software Behavior |
|
| CHEN Shu , WU Guo-qing , YE Jun-min , CHEN Ming-kai.Requirement Model Checking Approach Based on Multi-view and Software Behavior[J].Mini-micro Systems,2013,34(7). | |
| Authors: | CHEN Shu WU Guo-qing YE Jun-min CHEN Ming-kai |
| Abstract: | |
| Keywords: | software requirement muliti view point software behavior model checking |
| 本文献已被 万方数据 等数据库收录！ | |