嵌入式软件系统测试：基于形式化方法的自动化测试解决方案

价　　格：¥25.80

作　　者：殷永峰;姜博

ISBN：9787111672425

出版社：机械工业出版社

出版日期：2021.01

文件格式：pdf或epub或扫描版

立即购买

温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！

内容简介

书名：嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
作者：殷永峰;姜博
ISBN：9787111672425
出版社：机械工业出版社
出版日期：2021.01
本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。

上一本： ROS机器人项目开发11例（原书第2版）

下一本：电力拖动自动控制系统（第3版）