论文部分内容阅读
Six Techniques for DO-178C Compliance满足DO-178C审定的6大关键技术Meeting New DO-178C Objectives and Activities:满足DO-178C新的目标和活动Traceability Management(可追踪性管理)Coding Standards(编程标准)Model Based Development and Verification基于模型开发与验证Subclass Verification for Local Type Consistency局部类型一致性子类验证Data&Control Coupling Coverage数据与控制耦合覆盖率Object Code Verification目标代码验证