嵌入式软件系统测试
正版新书 新华官方库房直发 可开电子发票
￥ 49.77 6.3折 ￥ 79 全新
仅1件
作者殷永峰，姜博编著
出版社机械工业出版社
ISBN9787111672425
出版时间2021-02
版次1
装帧平装
开本16开
纸张胶版纸
页数252页
定价79元
货号SC:9787111672425
上书时间2024-09-16
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
殷永峰，高工，博士。北京航空航天大学软件学院硕士生导师，航空工业软件可靠性管理与测评中心主任。担任中央网信办项目评审专家、多个军兵种软件技术专家、航空工业集团软件质量专家组成员。长期从事装备软件工程、软件可靠性与安全性、嵌入式软件验证以及网络安全技术等方面的研究及工程实践工作。已主持包括预研、技术基础、重点实验室基金、航空基金、航天科工基金等项目20余项，发表学术论文60余篇，获省部级一等奖、二等奖各2项、航空工业个人三等功1项，出版专著3本。主持完成多个型号的软件测评工作，获得机关和工业部门的高度评价。
内容简介:
本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。本书既适合从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员阅读，也适合高等院校计算机、软件工程等相关专业嵌入式系统方向的学生参考。
目录:
前言
缩略词汇表
第1章 嵌入式系统及软件
1.1 嵌入式系统概述
1.1.1 嵌入式系统与实时系统
1.1.2 嵌入式系统的特点
1.1.3 嵌入式系统的组成
1.1.4 嵌入式系统的应用领域
1.2 嵌入式软件概述
1.2.1 嵌入式软件分类
1.2.2 嵌入式操作系统
1.3 本章小结
第2章 嵌入式软件工程与质量特性
2.1 嵌入式软件工程
2.1.1 嵌入式软件开发模型
2.1.2 系统分析与软件定义阶段
2.1.3 软件需求分析阶段
2.1.4 软件设计阶段
2.1.5 软件实现阶段
2.1.6 软件测试阶段
2.1.7 软件验收与交付阶段
2.1.8 软件使用与维护阶段
2.2 嵌入式软件工程化管理
2.2.1 软件工程化管理
2.2.2 软件开发方法学
2.3 嵌入式软件的质量特性
2.4 本章小结
第3章 基于形式化方法的嵌入式软件系统测试技术
3.1 软件形式化测试技术概述
3.1.1 软件形式化测试概述
3.1.2 基于形式规约语言
3.1.3 基于有限状态机和时间自动机模型
3.1.4 基于统一建模语言
3.1.5 基于Petri网模型
3.1.6 基于马尔可夫链模型
3.1.7 基于自定义形式化测试描述语言
3.2 嵌入式软件形式化测试技术
3.2.1 基本概念
3.2.2 基于FSM的软件测试技术<
...
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价