一种机载软件安全性建模及自动化测试的方法

本发明实施例提供了一种机载软件安全性建模及自动化测试的方法，包括：根据机载软件所属的领域，利用安全性质抽取模块抽取安全性测试所需的安全性质描述，同时对SysML模型进行设计，将SysML模型的XML文件和安全性质描述上传至模型自动扩展模块；模型自动扩展模块依据上传的安全性质描述对SysML模型的XML文件进行扩展，并对SysML模型的节点类型和路径信息进行补充，生成扩展后模型；测试用例自动生成模块依据模型自动扩展模块输出的扩展后模型，生成扩展后模型的全面测试路径和测试数据。由于该方案通过安全性质抽取模块、模型自动扩展模块和测试用例自动生成模块，追加了安全性测试，提高了测试用例生成的效率。