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

摘要：

随着软件本身及其运行环境的日益复杂,软件可信性引起人们越来越多的关注.软件的分析与设计也越来越需要综合考虑软件的功能性和可信性.然而,如何在软件的分析与设计过程中综合考虑软件的功能性和可信性,目前仍然缺乏系统而有效的方法.基于控制论,提出了一种基于“用例+控例”的方法,以在软件的分析与设计过程中综合考虑软件的功能性和可信性.在需求分析阶段,“用例+控例”模型支持需求工程师在同一个模型中自然地表达软件系统的功能性需求和可信性需求.在系统设计阶段,扩展了ICONIX开发方法的用例驱动的系统设计技术,用以分别识别实现用例的功能对象和实现控例的可信保障对象,以最终构建出既满足功能性需求又满足可信性需求的对象模型.应用一个实例来说明所提出方法的可行性.

关键词：软件可信性、可信性需求、需求分析、系统设计

所属期刊栏目：24

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

资助基金：国家自然科学基金90818026;国家重点基础研究发展计划9732009CB320701,2011CB302704

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

页数：共21页

页码：675-695