avatar

殷永峰 姜博编著

完结作品(1)
会员
本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术;第4章讨论实时嵌入式软件自动化测试描述方法,主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述;第5章着重讨论智能终端应用(嵌入式)软件系统测试技术,从Android系统基础开始,对测试用例生成、回归测试及压力测试
程序设计11.9万字