现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2009年
12期
45-48
,共4页
邹盛荣%彭昱静%郭忠伟%刘春秋%周塔%卫丽%顾爱华
鄒盛榮%彭昱靜%郭忠偉%劉春鞦%週塔%衛麗%顧愛華
추성영%팽욱정%곽충위%류춘추%주탑%위려%고애화
需求获取%UML%用例驱动%B方法%形式化需求
需求穫取%UML%用例驅動%B方法%形式化需求
수구획취%UML%용례구동%B방법%형식화수구
软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.
軟件需求穫取是軟件建模和分析的基礎,傳統的軟件需求建模方法主要有2箇重大的缺陷:一是非形式化的需求描述常導緻需求的歧扠性和不一緻性,因而難以確認和驗證;二是易變性.針對此問題,結閤實例提齣用UML(Unified Modeling Language)的用例驅動穫取軟件需求,併將得來的需求用形式化B方法的機器來錶示需求,實現瞭軟件需求的形式化.實踐證明,用例驅動的軟件需求穫取可以有效地穫取正確、閤理的軟件需求,加上用形式化B方法的需求描述,可以有效地避免上述兩大缺陷.
연건수구획취시연건건모화분석적기출,전통적연건수구건모방법주요유2개중대적결함:일시비형식화적수구묘술상도치수구적기차성화불일치성,인이난이학인화험증;이시역변성.침대차문제,결합실례제출용UML(Unified Modeling Language)적용례구동획취연건수구,병장득래적수구용형식화B방법적궤기래표시수구,실현료연건수구적형식화.실천증명,용례구동적연건수구획취가이유효지획취정학、합리적연건수구,가상용형식화B방법적수구묘술,가이유효지피면상술량대결함.
