基于任务单元模型的研发流程验证

• 作者: 丁明 张军 张昕 朱沧
• 来源期刊: 航空计算技术
• 关键词: 研发流程 任务单元模型 模型检测 线性时序逻辑
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 计算机软件
• 页码范围: 89-91,95
• 页数: 4页
• 分类号: TP311
• 语种: 中文

摘要

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张军		33	105	5.0	9.0
2	张昕		9	36	3.0	5.0
3	丁明		7	18	2.0	4.0
4	朱沧		5	9	2.0	3.0