基于知识的软件可信性需求获取

针对软件系统的可信性需求获取，本文提出了基于知识的需求获取方法.该方法认为软件系统给环境所带来的问题是导致软件系统不可信的原因，因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的对策，并且现实世界积累的软件系统失效和其引发问题的相关知识，可以帮助用户来识别软件系统可能带来的问题以及相应的对策.该方法可以弥补分析人员在获取软件需求时的知识不足，从而帮助分析人员发现更多的软件系统的可信性需求.

武器装备需求可信性研究

在讨论武器装备需求可信性研究内容基础上,针对如何提高需求可信性的问题,提出了需求校核、验证和确认（verification validation accreditation,VV＆amp;A）,明确了需求VV＆amp;A的原则,介绍了一些常用方法;针对需求可信性评估问题,建立了基于多级模糊综合评判的评估模型,最后论述了二者的关系。

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

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