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

摘要：

软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.

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

所属期刊栏目：32

分类号：TP309(计算技术、计算机技术)

在线出版日期：2009-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：45-48