| 基于任务单元模型的研发流程验证 |
| |
| 引用本文： | 丁明,张军,朱沧,张昕.基于任务单元模型的研发流程验证[J].航空计算技术,2013,43(3). |
| |
| 作者姓名： | 丁明 张军 朱沧 张昕 |
| |
| 作者单位： | 中航工业西安航空计算技术研究所,陕西西安,710119 |
| |
| 基金项目： | 国家自然科学基金项目资助 |
| |
| 摘 要： | 为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.
|
| 关 键 词： | 研发流程 任务单元模型 模型检测 线性时序逻辑 |
Verification of Research and Development Process Based on Task Unit Model |
| |
| DING Ming
,
ZHANG Jun
,
ZHU Cang
,
ZHANG Xin.Verification of Research and Development Process Based on Task Unit Model[J].Aeronautical Computer Technique,2013,43(3). |
| |
| Authors: | DING Ming ZHANG Jun ZHU Cang ZHANG Xin |
| |
| Abstract: | |
| |
| Keywords: | research and development process task unit model model checking linear temporal logic |
| 本文献已被 万方数据 等数据库收录！ |
|
