基于OCL约束建模的嵌入式软件安全性分析
来源：计算机工程杂志2018年第6期北京时间：
作者：崔红军,黄美锋,吴振宇
单位：中国电子科技集团公司第三十二研究所,上海 201808
摘要：目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型。在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别。在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量。
关键词：对象约束语言,约束建模,软件安全性分析,失效模式,模型驱动
基金资助：国家部委基金。
