基于LDRA Testbed的历史文件获取方法比较分析  

作　　者：丁锐[1] 邢浩 李碧涵 

机构地区：[1]航空工业西安航空计算技术研究所,西安710068

出　　处：《电脑编程技巧与维护》2025年第4期40-42,共3页Computer Programming Skills & Maintenance

摘　　要：在机载软件的验证过程中,结构覆盖率分析是确保软件质量的关键环节。LDRA Testbed作为广泛使用的工具,其历史文件的获取方法对分析结果的准确性和测试效率有着直接影响。研究比较了4种不同的历史文件获取方法,分析了它们的适用范围、实现难易程度、优缺点,并提出了推荐方案。通过实际项目举例,验证了推荐方法的有效性,为机载软件的结构覆盖率分析提供了参考。

关 键 词：LDRA Testbed工具 结构覆盖率分析 历史文件获取 机载软件验证 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]