商品分类

图书

影音

共有1个搜索结果

嵌入式软件系统测试(基于形式化方法的自动化测试解决方案)/电子与嵌入式系统设计丛书
所属分类：电子电脑>>计算机技术>>程序与语言作者：编者:殷永峰//姜博|责编:曲熠出版社：机械工业
丛书项：电子与嵌入式系统设计丛书
本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。本书既适合从事军用／民用领域嵌入式系统开发、验证及维护的专业技术人员阅读，也适合高等院校计算机、软件工程等相关专业嵌入式系统方向的学生参考。
售价：31.60