基于SCADE的自动化测试技术研究

摘要

基于模型开发的思想已用于飞控机载软件的开发,并引入了高安全性开发工具SCADE.由于飞控机载软件本身较为复杂,测试工作中各环节孤立,操作繁琐,极大地增加了测试工作量和时间.本文分析了整个测试过程,提出了自动化测试思路,包括:人机交互界面设计、测试过程的"一键化"、部分测试用例自动生成等.对飞控机载软件典型模块进行了设计建模和测试验证,结果表明,基于模型开发的飞控机载软件功能正确,测试效率提高,节约了开发时间和成本.本文的工作对基于模型的飞控机载软件开发有促进作用.