咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 safety-critical ...
  • 1 篇 safety
  • 1 篇 partition breach...
  • 1 篇 software enginee...
  • 1 篇 programming supp...
  • 1 篇 aerospace comput...
  • 1 篇 software tools
  • 1 篇 aerospace indust...
  • 1 篇 airborne safety-...
  • 1 篇 program verifica...
  • 1 篇 embedded softwar...
  • 1 篇 automated test c...
  • 1 篇 formal verificat...
  • 1 篇 verification too...
  • 1 篇 aerospace engine...
  • 1 篇 health and safet...
  • 1 篇 programming and ...

机构

  • 1 篇 smiths ind aeros...

作者

  • 1 篇 helps ka

语言

  • 1 篇 其他
检索条件"主题词=automated test coverage analysis"
1 条 记 录,以下是1-10 订阅
排序:
SOME VERIFICATION TOOLS AND METHODS FOR AIRBORNE SAFETY-CRITICAL SOFTWARE
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1986年 第6期1卷 248-253页
作者: HELPS, KA SMITHS IND AEROSP & DEF SYST LTD CHELTENHAM GL52 4SFGLOSENGLAND
Airborne software, like many other kinds of embedded software, grows in complexity with each generation of equipment. Where the software supports safety-critical functions this can present severe verification problems... 详细信息
来源: 评论