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

摘要：

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

关键词：可信剖面、面向目标、B抽象机、需求规约

所属期刊栏目：33

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

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

页数：共3页

页码：37-38,41