基于目标的软件可信性需求规约方法研究

摘要

高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的非功能需求规约框架的基础上,利用B抽象机理论,结合面向目标的规约方法,建立了一种可信性需求的分析与定义方法,即软件可信剖面.该方法可应用于UML,利用B抽象机理论,为可信性需求模型的定理化证明奠定了基础.