作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2007, Vol. 33 ›› Issue (11): 37-38,4. doi: 10.3969/j.issn.1000-3428.2007.11.014

• 软件技术与数据库 • 上一篇    下一篇

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

郭树行,兰雨晴,金茂忠   

  1. (北京航空航天大学计算机科学与技术系,北京 100083)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-06-05 发布日期:2007-06-05

Research of Software Dependability Requirement Specification Method Based on Goal

GUO Shuhang, LAN Yuqing, JIN Maozhong   

  1. (Department of Computer Science and Technology, Beihang University, Beijing 100083)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-06-05 Published:2007-06-05

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

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

Abstract: 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.

Key words: Dependability profile, Goal oriented, B abstract machine, Requirement specification

中图分类号: