汪智超，周 媛，张 旸

(1.海军装备部驻武汉军事代表局，湖北 武汉 430000；2.海军航空大学，辽宁 葫芦岛 12500；3.海军研究院，北京 100000)

0 引言

在现代软件工程中，软件工具广泛应用于软件研制过程中，软件工具的使用可以帮助实现软件研制过程中的部分活动，包括开发、验证、管理和支持等活动。可靠的软件工具可以大大提高软件的开发效率，并且在正确使用相关工具的条件下，还有望提高软件的质量，减少人为错误。然而，如果由于软件工具本身存在错误(缺陷)或者未能正确地使用工具，导致研制出的软件出错，或者不能发现软件中的错误，则将带来严重的安全隐患；并且由于工具的功能日益强大，人工有时已经无法对工具的输出进行直接的判别。

民用飞机时刻以“安全性”为最高要求，为了保证达到预期的安全性水平，往往不惜牺牲效率和其他性能。就民机机载软件研制过程中使用的工具来说，风险也是显而易见的，主要原因在于：工具的输出中隐藏的错误往往更加分散，难以发现，难以通过手工的方式排查并加以修正；当同样的工具用于多个项目中时，同样的错误将被成批地复制。

为了规避“工具应用”给民机机载软件带来的风险，确保软件工具能够提供被其省略、减少或自动实现的活动的等效审定信用，在适航审定过程中，通常采用将机载软件的要求延伸到相关工具中的方法，这一方法也称为“工具鉴定”。在DO-178B/C《机载系统和设备合格审查中软件方面的考虑》描述了工具鉴定的相关考虑。……