互联网 类型
可以朗读 语音朗读
181千字 字数
2021-01-01 发行日期
展开全部

主编推荐语

本书提供完整构建自动化测试解决方案，涵盖形式化测试理论、测试描述方法、测试环境构建技术，提供实用方法和工具。

内容简介

本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。

目录

  • 版权信息
  • 前言
  • 缩略词汇表
  • 第1章 嵌入式系统及软件
  • 1.1 嵌入式系统概述
  • 1.2 嵌入式软件概述
  • 1.3 本章小结
  • 第2章 嵌入式软件工程与质量特性
  • 2.1 嵌入式软件工程
  • 2.2 嵌入式软件工程化管理
  • 2.3 嵌入式软件的质量特性
  • 2.4 本章小结
  • 第3章 基于形式化方法的嵌入式软件系统测试技术
  • 3.1 软件形式化测试技术概述
  • 3.2 嵌入式软件形式化测试技术
  • 3.3 基于实时扩展UML与RT-EFSM的测试用例生成
  • 3.4 本章小结
  • 第4章 实时嵌入式软件自动化测试描述技术
  • 4.1 测试描述的概念及分类
  • 4.2 实时嵌入式软件测试描述的特性
  • 4.3 实时嵌入式软件测试描述语言的设计
  • 4.4 RT-ESTDL对实时嵌入式软件测试的支持机制
  • 4.5 本章小结
  • 第5章 智能终端应用软件系统测试技术
  • 5.1 智能终端应用软件基础
  • 5.2 智能终端应用软件系统的测试生成技术
  • 5.3 智能终端应用软件系统的回归测试技术
  • 5.4 智能终端应用软件系统的压力测试技术
  • 5.5 本章小结
  • 第6章 实时嵌入式软件系统测试环境构建技术
  • 6.1 现有的实时嵌入式软件系统测试环境分析
  • 6.2 虚拟机技术与实时嵌入式软件测试
  • 6.3 实时嵌入式软件仿真测试虚拟机规范的设计
  • 6.4 基于RT-ESSTVMS的实时嵌入式软件仿真测试环境设计
  • 6.5 实时嵌入式软件测试描述执行引擎的设计与实现
  • 6.6 本章小结
  • 第7章 实时嵌入式软件系统测试实例
  • 7.1 被测系统简介
  • 7.2 I/GNS静态建模
  • 7.3 I/GNS动态建模
  • 7.4 测试序列、测试用例及测试描述生成
  • 7.5 测试执行及结果分析
  • 7.6 本章小结
  • 附录1 数学符号索引
  • 附录2 RT-ESTDL语义及用法
  • 附录3 I/GNS软件接口数据定义
  • 附录4 I/GNS软件（展平）测试场景树列表
  • 参考文献
展开全部

评分及书评

尚无评分
目前还没人评分
  • 加载中...

出版方

机械工业出版社有限公司

机械工业出版社是全国优秀出版社，自1952年成立以来，坚持为科技、为教育服务，以向行业、向学校提供优质、权威的精神产品为宗旨，以“服务社会和人民群众需求，传播社会主义先进文化”为己任，产业结构不断完善，已由传统的图书出版向着图书、期刊、电子出版物、音像制品、电子商务一体化延伸，现已发展为多领域、多学科的大型综合性出版社，涉及机械、电工电子、汽车、计算机、经济管理、建筑、ELT、科普以及教材、教辅等领域。