基于四变量模型的软件安全性需求提取技术研究  

Research on Software Safety Requirement Extraction Technology Based on Four-Variable Model

作　　者：姚金垠 张伟[1] YAO Jinyin;ZHANG Wei(No.723 Institute of CSIC,Yangzhou 225001)

机构地区：[1]中国船舶重工集团公司第723研究所,扬州225001

出　　处：《舰船电子工程》2020年第11期116-119,共4页Ship Electronic Engineering

摘　　要：文章针对软件安全性需求的提取,提出了基于四变量模型的安全性需求提取方法。分析了现有四变量模型的不足,改进了现有四变量模型的建模分析能力,并将其运用到软件安全性需求提取中,最后通过实例验证了该方法的有效性和可行性。Aiming at extracting software safety requirements,this paper proposes a method of extracting safety requirements based on four-variable model.The shortcomings of the existing four-variable model are analyzed,and the modeling and analysis ability of the existing four-variable model is improved.The method is applied to extract software safety requirements.Finally,an ex⁃ample is given to verify the effectiveness and feasibility of the method.

关 键 词：软件安全性需求 四变量模型 需求提取 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]