VERIFIER

作品数：21被引量：23H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：周福才常桂然柳秀梅更多>>
相关机构：铿腾电子科技有限公司东北大学中国航发控制系统研究所深圳市海思半导体有限公司更多>>
相关期刊：《航空计算技术》《The Journal of China Universities of Posts and Telecommunications》《Journal of Southeast University(English Edition)》《Journal of Computer and Communications》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国防科技工业技术基础科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=航空计算技术x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型的FADEC软件结构覆盖率分析被引量：2
《航空计算技术》2017年第2期93-96,共4页赵飞 张杰 
国防科工局技术基础科研项目资助(JSZL2015601C008)
结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能。在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了...
关键词：DO-178C 覆盖率分析 MC/DC SIMULINK Design Verifier工具 FADEC软件 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部