一种用例控例驱动的软件分析与设计方法

	一种用例控例驱动的软件分析与设计方法
	刘春 2; 张伟 1; 赵海燕 1; 金芝 1
刊名	软件学报
	2013
卷号	024 期号:004 页码:675
ISSN号	1000-9825
英文摘要	随着软件本身及其运行环境的日益复杂，软件可信性引起人们越来越多的关注．软件的分析与设计也越来越需要综合考虑软件的功能性和可信性．然而，如何在软件的分析与设计过程中综合考虑软件的功能性和可信性，目前仍然缺乏系统而有效的方法．基于控制论，提出了一种基于“用例＋控例”的方法，以在软件的分析与设计过程中综合考虑软件的功能性和可信性．在需求分析阶段，“用例＋控例”模型支持需求工程师在同一个模型中自然地表达软件系统的功能性需求和可信性需求．在系统设计阶段，扩展了ICONIX开发方法的用例驱动的系统设计技术，用以分别识别实现用例的功能对象和实现控倒的可信保障对象，以最终构建出既满足功能性需求又满足可信性需求的对象模型．应用一个实例来说明所提出方法的可行性．
语种	英语
内容类型	期刊论文
源URL	[http://ir.amss.ac.cn/handle/2S8OKBNM/37300]
专题	中国科学院数学与系统科学研究院
作者单位	1.北京大学 2.中国科学院数学与系统科学研究院
推荐引用方式 GB/T 7714	刘春,张伟,赵海燕,等. 一种用例控例驱动的软件分析与设计方法[J]. 软件学报,2013,024(004):675.
APA	刘春,张伟,赵海燕,&金芝.(2013).一种用例控例驱动的软件分析与设计方法.软件学报,024(004),675.
MLA	刘春,et al."一种用例控例驱动的软件分析与设计方法".软件学报 024.004(2013):675.