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