一种基于场景的需求验证方法  

作　　者：郑宇恒[1] 

机构地区：[1]浙江师范大学数理与信息工程学院,浙江金华321004

出　　处：《计算机时代》2008年第11期4-7,共4页Computer Era

摘　　要：在软件需求分析工作中,需要检验获取的需求是否同客户的需求相一致。文章提出一种基于场景的软件需求验证方法,给出了基于场景的系统模型检验验证算法,并通过一个实例对其进行了检验。该方法运用有限状态自动机对软件需求进行建模,以消息序列图描述作为验证条件的场景,对获取的需求的正确性和完备性进行验证。

关 键 词：有限状态自动机 消息序列图 需求验证 场景 活动序列 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术] TP311.52[自动化与计算机技术—计算机科学与技术]