[发明专利]软件质量需求建模和推理方法

摘要

本发明提供一种软件质量需求建模和推理方法，用于提供一种面向软件质量需求的形式化建模、自动推理和分析平台rΣ，其包括以下步骤：设定相关概念；图形化建模，点击rΣ绘图区域，选取相应的建模元素，然后点击画布生成相应建模元素；形式化建模，根据面向软件质量需求目标建模语言Σ的语义和语法设计；策略评估，以确定实现策略是否是一个可接受的策略；策略发掘，以检查所有可能的设计选项的组合，并把这些策略按照根节点的满足状态分类；模型扩展，以捕捉不同建模结果之间的关联关系。本发明可以生成文本格式的质量需求建模结果。同时不再需要人工交互。另外支持对质量需求实现策略的多目标决策，可以捕获模型之间的相互依赖关系。

主权项

1.一种软件质量需求建模和推理方法，用于提供一种面向软件质量需求的形式化建模、自动推理和分析平台rΣ，其特征在于，包括以下步骤：根据软件质量需求，设定建模元素，具体为：NFR型软目标：从目标的角度捕捉软件质量需求的软目标；可操作化软目标：捕捉有关需求实现知识的软目标；贡献：反映可操作化软目标的影响的概念，包括四类定性的贡献：使能、破坏、帮助和损害HURT，分别由“++”,“--”,“+”和“-”标注；满足状态：刻画软目标实现情况的概念，包括六种定性的满足状态：完全满足、部分满足、完全拒绝、部分拒绝、未知和冲突，分别标记为√,w+,×,w-,和与或分解：位于相邻两个层次上NFR型软目标之间的关系；可操作化分解：位于可操作化软目标和NFR型软目标之间的关系；副作用：不同于所述可操作化分解的另一种位于可操作化软目标和NFR型软目标之间的关系；图形化建模，在平台rΣ中设定绘图区域，选取相应的建模元素，然后点击画布生成相应建模元素；形式化建模，根据面向软件质量需求目标建模语言Σ的语义和语法设计；策略评估，以确定实现策略是否是一个可接受的策略；策略发掘，以检查所有可能的设计选项的组合，并把这些策略按照根节点的满足状态分类；模型扩展，以捕捉不同建模结果之间的关联关系。