一种面向软件行为和多视点的需求模型验证方法

• 作者: 叶俊民 毋国庆 陈明楷 陈曙
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 需求分析 多视点 软件行为 模型验证
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 计算机软件与数据库研究
• 页码范围: 1468-1473
• 页数: 6页
• 分类号: TP311
• 字数: 9245字
• 语种: 中文

摘要

软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶俊民	华中师范大学计算机科学系	85	454	11.0	16.0
2	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
3	陈曙	华中师范大学计算机科学系	25	93	5.0	8.0
4	陈明楷		2	10	2.0	2.0