公开(公告)号：CN103399740B

公开(公告)日：2016-08-10

申请号：CN201310306158.7

申请日：2013-07-19

Applicant: 北京大学

Inventor： 金芝 ,  魏博 ,  张伟 ,  赵海燕

IPC: G06F9/44

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

公开(公告)号：CN103399740A

公开(公告)日：2013-11-20

申请号：CN201310306158.7

申请日：2013-07-19

Applicant: 北京大学

Inventor： 金芝 ,  魏博 ,  张伟 ,  赵海燕

IPC: G06F9/44

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