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

Research of Software Dependability Requirement Specification Method Based on Goal

作　　者：郭树行[1] 兰雨晴[1] 金茂忠[1] 

机构地区：[1]北京航空航天大学计算机科学与技术系,北京100083

出　　处：《计算机工程》2007年第11期37-38,41,共3页Computer Engineering

摘　　要：高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量。在目前公认的非功能需求规约框架的基础上,利用B抽象机理论,结合面向目标的规约方法,建立了一种可信性需求的分析与定义方法,即软件可信剖面。该方法可应用于UML,利用B抽象机理论,为可信性需求模型的定理化证明奠定了基础。Analyzing and defining the consistent requirements of software dependability is critical to the development of complex dependable software systems. How to solve this problem directly influences the quality of requirements specification, as well as the final software production. Based on a widely-recognized management framework of NFR, this paper points out one requirement specification method of software dependability, which utilized the B AMN and thinking of goal-oriented theory. Such method can be named as the software profile of dependability. It may be applied in the UML area and also provides the formal input for the B proof though the B AMN.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]