软件质量需求建模和推理方法

摘要

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