|
题名:
|
嵌入式软件系统测试:基于形式化方法的自动化测试解决方案 / 殷永峰;姜博 , |
|
ISBN:
|
9787111672425 价格： |
|
出版发行:
|
出版地： 出版社： 机械工业出版社 出版日期： 2021.01.01 |
|
内容提要:
|
本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。 |
|
主题词:
|
工业技术>自动化技术、计算机技术>计算技术、计算机技术>计算机软件>程序设计、软件工程>软件工程 |
|
中图分类法:
|
TP311.5 版次： |