基于有限状态机模型的飞控软件测试方法浅析

Aeronautic Standardization & Quality（2018）

引用 0|浏览4

暂无评分

摘要

对有限状态机模型(FSM)在飞控软件测试中的应用进行探索.在软件动态测试过程中,将飞行控制模式和搜索软件用统一的数学模型表达,提高了测试的错误检测能力,对型号产品中软件质量和可靠性起到一定保障作用,可作为型号产品中其它控制类软件测试的借鉴.

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要