会员
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
更新时间：2021-02-22 15:46:48 最新章节：参考文献
书籍简介
本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
品牌：机械工业出版社
上架时间：2021-01-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
殷永峰 姜博编著
同类热门书
最新上架
- 会员本书图文并茂、通俗易懂，详细讲解常用的算法知识，又融入大量的竞赛实例和解题技巧，可帮助读者熟练应用各种算法解决实际问题。本书总计8章。第1章讲解STL，涉及双端队列、优先队列、位图、集合、映射和STL中的常用函数；第2章讲解实用的数据结构，涉及并查集、倍增、稀疏表、区间最值查询、最近公共祖先、树状数组和线段树；第3章讲解查找算法，涉及散列表、字符串模式匹配和字典树；第4章讲解平衡树，涉及树高与性能计算机10.7万字
- 会员《R语言数据分析从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了R语言基础知识、核心技术与高级应用。全书分为3篇，共16章，包括初识R语言、集成开发环境RStudio、R语言入门、数据结构、流程控制语句、日期和时间序列、获取数据、数据处理与清洗、数据计算与分组统计、基本绘图、ggplot2高级绘图、lattice高级绘图、基本统计分析、方差分析、回归分析和时间序列分析计算机12.2万字
- 会员本书是编程大师“Bob大叔”40余年编程生涯的心得体会的总结，讲解要成为真正专业的程序员需要具备什么样的态度，需要遵循什么样的原则，需要采取什么样的行动。作者以自己以及身边的同事走过的弯路、犯过的错误为例，意在为后来者引路，助其职业生涯迈上更高台阶。计算机12.2万字
- 会员本书从初学者的角度出发，由浅入深地讲解了Java语言的相关内容。全书共11章，主要介绍了Java开发环境的搭建及其运行机制、基本语法、面向对象编程思想、多线程、常用API、集合、I/O、网络编程等内容，采用通俗易懂的语言阐述抽象的概念，选用生活中密切相关的例子演示知识的运用，通过剖析案例、分析代码含义、解决常见问题等方式进行讲解。书中还添加了许多阶段性任务来模拟程序开发过程，帮助初学者培养良好的编计算机10.6万字
- 会员《SpringBoot从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细讲解了使用SpringBoot进行程序开发需要掌握的知识。全书分为18章，内容包括SpringBoot概述及其环境搭建，第一个SpringBoot程序，SpringBoot基础，配置SpringBoot项目，处理HTTP请求，过滤器、拦截器与监听器，Service层，日志的操作，JUnit单元计算机14.2万字
- 会员《深入浅出Go语言核心编程》是一本全面而深入的Go语言学习手册，涵盖了Go语言的诸多关键特性，包括语法结构、内存原理、并发、上下文机制与框架应用等。本书共20章。第1章引导读者快速搭建开发环境，详细介绍Go语言的环境配置及编译运行的具体细节。第2～5章详细讨论Go语言独特的变量、常量、常用数据类型和流程控制，并重点解析复杂类型的底层实现机制。第6～8章讲解Go语言的函数及如何实现面向对象编程，打通计算机19.8万字
- 会员《Vue.js3.x+ElementPlus从入门到精通：视频教学版》通过对Vue.js（简称Vue）的示例和综合案例的介绍与演练，使读者快速掌握Vue.js3.x框架的用法，提高Web前端的实战开发能力。《Vue.js3.x+ElementPlus从入门到精通：视频教学版》共分15章，内容包括Vue.js3.x的基本概念、Vue.js模板应用、组件的方法和计算属性、表单的双向绑定、处计算机6.4万字
- 会员MySQL是世界上最受欢迎的数据库管理系统之一，广泛应用于互联网场景，作为一名开发人员，对MySQL的学习是十分必要的。本书从安装MySQL开始，逐步深入讲解更加复杂的内容，首先宏观地介绍MySQL的体系架构和各种常见的存储引擎以及它们之间的比较，然后介绍MySQL中的索引以及索引的优化，以及连接查询的执行原理，并详细分析了Explain语句的执行结果。接着又介绍MySQL中的事务和锁机制，包括事计算机21.4万字
- 会员《HTML5从入门到精通（第4版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详尽地讲解了与HTML5开发相关的知识。全书分为3篇，共22章，包括HTML简介、HTML5基础、设计网页文本内容、使用列表、超链接、使用图像、表格的应用、布局标签、全局属性、编辑表单、嵌入多媒体元素、文件操作、拖放操作、绘制图形、SVG的使用、数据存储、使用WebWorkers处理线程、HTML5消息通信计算机17.3万字
同类书籍最近更新
- 会员本书从入门学习者的角度出发，通过通俗易懂的语言、丰富典型的实例，循序渐进地使读者在实践中学习Java编程知识，并提升自己的实际开发能力。全书共有17章，具体内容包括初识Java、Java语言基础、运算符与流程控制、面向对象基础、继承与多态、接口、异常处理、常用类、JSP基本语法、JSP内置对象、Servlet技术、过滤器和监听器、Struts2框架、Hibernate技术、Spring框架、Spr程序设计12.4万字
- 会员《jQuery指南》第1版3年来一直畅销不衰，是jQuery领域的标杆之作。4大网上书店的读者评论超过2100条，其中98%以上是五星级的好评，被读者誉为“系统学习jQuery技术的指导参考书之一”！第2版在第1版的基础上做了大量的修订：技术更新，根据jQuery版本对全书进行了修订和补充，如增加了与HTML5和jQueryMobile相结合的内容；知识点更全面，不仅增加了新版本中的各项功能，程序设计16.7万字
- 会员本书是普通高等职业教育“十三五”规划教材《C语言程序设计》（刘映群吴道君姜霞主编）的配套指导教材。本书对C语言程序设计的学习要求和基本知识点进行了概括，解答了主教材中的习题，同时收集了大量的自我检测题，并给出了参考答案，可供读者自我检测与评价。本书主要内容包括C语言程序与算法、C语言的数据类型、表达式及其运算、结构化程序设计语句和数组、函数、指针、结构体与共用体、文件操作、编译预处理等。本书适合作程序设计6万字
- 会员本书分为4部分：第1部分为热身篇—Kotlin基础。介绍Kotlin设计哲学、生态及基础语法。第2部分为下水篇—Kotlin核心。涉及Kotlin的语言特性，包括面向对象、代数数据类型、模式匹配、类型系统、Lambda、集合、多态、扩展、元编程等方面的知识。其中“代数数据类型和模式匹配”“多态和扩展”在同类书籍中没有过多深入，但笔者认为它们是Kotlin语言中相当重要的特性和应用，故本书中进行了详程序设计18.7万字