《嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》978-7-111-67242-5.pdf-殷永峰编著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案; 作者：殷永峰编著; 出版社：机械工业出版社; ISBN：978-7-111-67242-5; 出版年：2021

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

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

嵌入式软件系统测试:基于形式化方法的自动化测试解决方案电子版图书下载地址：