基于Astree的机载软件运行时错误测试方法  

作　　者：苌瑶 陆志肖[1] 吴丽媛[1] 宋治惠 胡尊帆 

机构地区：[1]中国直升机设计研究所,天津300300

出　　处：《电子制作》2023年第4期118-120,共3页Practical Electronics

摘　　要：随着机载软件日趋复杂,软件代码的质量也更加难以保证。而软件测试是保证软件开发质量的关键手段,如何高效地进行软件测试成为目前的一个重要研究方向。机载软件系统架构错综复杂,在软件开发过程中可能存在较多的运行时错误,而采用传统的测试工具很难检测到软件的运行时错误。通过专业的运行时错误测试工具对代码进行分析和测试,在软件开发阶段尽早发现代码的运行时错误,有利于更加高效地提高软件质量,保证软件的可靠性。本文通过使用Astree对机载软件进行代码测试,能够有效地发现代码运行时错误,提高了软件测试的效率,并提升了软件的质量。

关 键 词：机载软件 软件质量 软件测试 运行时错误 

分 类 号：V247[航空宇航科学与技术—飞行器设计] TP311.53[自动化与计算机技术—计算机软件与理论]