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