本世纪以来，航电系统的HW/SW集成测试在某种程度上已经开始自动化，测试程序经过编程能够实时运行。这种自动化是不可避免的，抛开要减少人工测试的要求不说，新一代的航电系统由于要模拟监测的接口速率和数量不断增长，使得在测试执行过程中与被测系统（SUT）的人工交互越加的不可靠。
近年来，像空客这样的飞机制造商对基于模型的系统工程（MBSE）的方法论及其支撑工具投入了越来越多的兴趣，在某些领域，这些探索可能已经融合进了开发与验证的过程，而我们期望在将来MBSE能广泛被航电系统领域所采纳。
本白皮书在以往研究成果的基础上，讨论了航电系统在型号合格认定中实际的验证问题，特别是关于自动化的基于模型的测试（MBT），报告了Verified Systems for Airbus最近实施的MBT项目，总结了MBT使用的技术，描述了使用MBT能带来的好处。
该测试在空客当中得以应用的机型包括：A380、A318、A350、A400M等。
中文译本：
索取全文白皮书：http://www.softtest.cn/multi/411.html
来源：oschina
链接：https://my.oschina.net/watertek/blog/3193544