|
|||||
|
|
| 一种基于场景的需求验证方法 | |
| 引用本文： | 郑宇恒.一种基于场景的需求验证方法[J].计算机时代,2008(11). |
| 作者姓名： | 郑宇恒 |
| 作者单位： | 浙江师范大学数理与信息工程学院,浙江,金华,321004 |
| 摘 要： | 在软件需求分析工作中,需要检验获取的需求是否同客户的需求相一致.文章提出一种基于场景的软件需求验证方法,给出了基于场景的系统模型检验验证算法,并通过一个实例对其进行了检验.该方法运用有限状态自动机对软件需求进行建模,以消息序列图描述作为验证条件的场景,对获取的需求的正确性和完备性进行验证. |
| 关 键 词： | 有限状态自动机 消息序列图 需求验证 场景 活动序列 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |