返回检索首页
正在加载图片，请稍后......

嵌入式软件系统测试: 基于形式化方法的自动化测试解决方案/殷永峰, 姜博

  • 附件:
    • 附注提要
    本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。
    (0)|| (0)

    手机二维条形码

    馆藏信息
    序号 索书号 条码号 订户 馆藏地点 馆藏状态 借出日期 还回日期 流通类型 预约处理 卷册说明 登录号
    1 TP311.5/850 A1590860 HDFT 嘉鱼分馆 借出 20240429 20240529 外借图书 预约 0
    2 TP311.5/850 A1590859 HDFT 中区分馆 入藏 外借图书 0