摘要
高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量。在目前公认的非功能需求规约框架的基础上,利用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.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第11期37-38,41,共3页
Computer Engineering
关键词
可信剖面
面向目标
B抽象机
需求规约
Dependability profile
Goal oriented
B abstract machine
Requirement specification
