基于模型开发的机载软件模型测试技术研究  

Research on Model Testing of Model Based Airborne Software

作　　者：黄荦[1] 

机构地区：[1]上海飞机设计研究院,上海200436

出　　处：《工业控制计算机》2011年第10期64-65,共2页Industrial Control Computer

摘　　要：在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有:模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的验证、高层需求的覆盖率分析、模型覆盖率分析、模型覆盖率分析解决方案等。This paper demonstrates a novel model test techniques based on Do-178B and the modified content in Do-178C with referred to the dedicated content in Do-178B.The research in this paper contains：model verification process,developing of simulation cases,procedures and results,verification of simulation cases,procedures and results,higher level requirements coverage analysis,method of model coverage analysis.

关 键 词：Do-178B Do-178C 模型验证 模拟用例 覆盖率分析 

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