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

• 作者: 刘春秋 卫丽 周塔 彭昱静 邹盛荣 郭忠伟 顾爱华
• 来源期刊: 现代电子技术
• 关键词: 需求获取 UML 用例驱动 B方法 形式化需求
• 年，卷（期）: 2009,（12）
• 所属期刊栏目: 软件技术
• 页码范围: 45-48
• 页数: 4页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2009.12.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘春秋	扬州大学信息工程学院	4	16	2.0	4.0
2	顾爱华	扬州大学信息工程学院	6	8	2.0	2.0
3	周塔	扬州大学信息工程学院	6	8	2.0	2.0
4	彭昱静	扬州大学信息工程学院	4	8	2.0	2.0
5	卫丽	扬州大学信息工程学院	6	8	2.0	2.0
6	邹盛荣	扬州大学信息工程学院	21	59	5.0	6.0
7	郭忠伟	扬州大学信息工程学院	3	8	2.0	2.0