摘要
软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有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.
出处
《现代电子技术》
2009年第12期45-48,共4页
Modern Electronics Technique
关键词
需求获取
UML
用例驱动
B方法
形式化需求
requirement acquirement
UML
use case driven
B method
formal requirement
