基于有限状态机模型的飞控软件测试方法浅析
Aeronautic Standardization & Quality(2018)
摘要
对有限状态机模型(FSM)在飞控软件测试中的应用进行探索.在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴.
更多AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
Aeronautic Standardization & Quality(2018)