软件需求获取形式化的案例研究  

Case Study of Acquiring Formal Software Requirement

作　　者：邹盛荣[1] 彭昱静[1] 郭忠伟[1] 刘春秋[1] 周塔[1] 卫丽[1] 顾爱华[1] 

机构地区：[1]扬州大学信息工程学院,江苏扬州225009

出　　处：《现代电子技术》2009年第12期45-48,共4页Modern Electronics Technique

摘　　要：软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化。实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷。Acquiring software requirement is the basis of software modeling and analysis, traditional software requirement modeling has two important defects ：one is informal requirements description often leads to ambiguity and inconsistency of requirements, so it is difficult to validate and verificate;and the other is variability. According to the above problems, this paper presents the use case driven analysis method of software requirements by Unitied Modeling Language（UML）,and describes it by formal method,relizes formal software requirement. Practice proves that acquiring software requirement of use case driven can obtain effectively correct and reasonable software requirement,in addition to requirement description of formal B method. This method effectively avoids the above problems.

关 键 词：需求获取 UML 用例驱动 B方法 形式化需求 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]