标题：基于模型开发的机载软件模型测试技术研究
作者：黄荦
作者单位：上海飞机设计研究院，上海 200436
关键字：Do-178B，Do-178C，模型验证，模拟用例，覆盖率分析
摘要：在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上，对于模型的测试进行研究，其主要研究内容有：模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的验证、高层需求的覆盖率分析、模型覆盖率分析、模型覆盖率分析解决方案等。