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