不容小觑的测试覆盖率——波音737-MAX引发的思考

    当地时间3月10日上午，埃塞俄比亚航空公司一架波音737-MAX客机起飞不久后在埃塞境内坠毁，机上157人全部遇难。

    悲剧的发生，令人痛心不已。在航空安全水平不断提升的当下，如此规模的民航空难，从任何标准上讲，都算得上相当罕见。因此，造成这起惨案的原因，立刻成了全球关注的焦点。

    尽管要对事件作出客观、全面的判断，仍然需要专业人员进行详尽的调查，作出细致的推理和分析，但是，根据目前对飞机失事的种种分析，飞机的飞控算法有BUG基本是肯定的了。

    波音给737-MAX设计了一个自动“低头”的配平系统——机动特性增强系统(MCAS)，这个系统只要达到特定的条件，会认为飞机正处于失速的状态而自动让飞机“低头”，来达到“失速保护”的目的。这个由计算机程序控制的失速保护系统非常强势，能在手动的模式下自动开启保护，在特殊情况下，对飞行员的操作行使“一票否决”权，可被视为超级自信的AI系统。

    这套AI系统设计之初明明是为了救命的，但是最后却成为了要命系统，为什么？对控制算法测试覆盖率不够，没有测试到特殊工况，肯定是不可否认的了。

     想要全面覆盖各种工况，尤其是各种工况的耦合中产生的某些未知工况，在设计研发阶段开发者常常预测不到，单靠试验肯定是行不通的，必须依靠智能测试软件的支持。世冠自主研发的智能测试工具TestManager可实现多工况、大样本的自动化测试，通过智能测试生成技术及评估技术，自动搜索系统存在的错误和不正常状态，自动评估测试结果并生成测试报告，排除系统中的“耦合”BUG，确保“被控对象-控制器”闭环系统正常工作，通过大覆盖率的高品质测试、更多的自动化、更少的手写脚本，更早地发现问题，全面提高系统的可靠性、稳定性。不但支持设计的早期评估和优化，并且可以随着需求、设计的变化不断进行验证，确保设计的高效、准确。TestManager已经在我国某型飞机的飞控系统中得到了成功应用。