会员
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
更新时间：2021-02-22 15:46:48 最新章节：参考文献
书籍简介
本书的主要内容包括：第1章介绍嵌入式系统及软件的基本概念；第2章介绍嵌入式软件工程及质量与可靠性的相关知识；第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术；第4章讨论实时嵌入式软件自动化测试描述方法，主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述；第5章着重讨论智能终端应用（嵌入式）软件系统测试技术，从Android系统基础开始，对测试用例生成、回归测试及压力测试等方面做了重点讲解；第6章重点讨论嵌入式软件系统测试环境构建技术，提出实时嵌入式软件仿真测试虚拟机规范的设计思路，同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨；第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考，也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
品牌：机械工业出版社
上架时间：2021-01-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
殷永峰 姜博编著
同类热门书
最新上架
- 会员本书分为三部分：第1部分介绍代码的整理（微型重构）；第二部分讨论如何将整理工作整合到开发工作流程中；第三部分深入探讨什么是软件设计、软件设计如何驱动软件开发和运营成本以及软件开发和运营成本又如何驱动软件设计、投资软件结构与不投资软件结构之间的权衡是什么、我们可以利用哪些经济和人文原则来决定是否以及如何改变软件结构。计算机3.7万字
- 会员本书系统地介绍了机器学习系统的设计原则和实践经验，侧重于介绍机器学习的原理、神经网络和优化器、自动差分算法、机器学习系统编程模型、控制流和数据流，异构硬件加速器的原理和编程、数据流图编译器前端、数据流图编译器后端、数据准备和增强、模型部署相关技术、分布式训练、弹性训练、联合训练和评估平台、调试和优化工具、数据隐私和安全等。在讲授的过程中，本书将根据MindSpore的自身特点，在各个章节突出讨论M计算机19.7万字
- 会员随着人机交互和AI技术的快速发展，设计师需要从基于屏幕的图形用户界面设计思维，转变为空间交互及智能交互的设计思维。本书从设计师要懂技术的原因讲起，引导设计师结合技术去思考设计，并针对跨设备交互设计、基于AI的设计及各种传感技术（姿态和手势识别、人脸识别和追踪、眼动追踪等）进行解读与案例分析，帮助设计师更好地应对未来的工作挑战。计算机15.8万字
- 会员《小学生Scratch创意编程（视频教学版）》采用任务制编排方式，按照课节形式设计，让学习更有节奏感。《小学生Scratch创意编程（视频教学版）》分为四部分。第一部分让读者懂得为什么学和要学什么，明白为什么而学让学习更具动力；第二部分强调基础，以项目的形式讲解每一个知识点，打牢基础才能有的放矢；第三部分从方法到方法论的提升让思维更上一层楼；第四部分通过综合项目实战，提升编程能力，提高项目分析能力计算机5.8万字
- 会员本书详细阐述如何在设计、规划和实现软件时做出更好的决策，通过真实的案例，以抽丝剥茧的方式分析那些失误的决策，探讨还有哪些可能的解决方案，并对比各种方案的优缺点，摸索软件设计的常青模式。本书通过实例来说明某些决策的后果，例如代码重复如何影响系统的耦合与演进速度，以及如何在日期和时间信息方面隐藏细微差别。本书还介绍如何根据帕累托法则有效地缩小优化范围，确保分布式系统的一致性。通过阅读本书，读者很快就可计算机23.9万字
- 会员Node.js是一个基于ChromeV8引擎的JavaScript运行环境，用来编写服务器端程序。Node.js是新兴的开发工具，也是目前发展较快的开发工具之一。近几年来，随着Node.js的发展，越来越多的开发人员选择用它构建Web应用。本书较为系统地介绍了目前Node.js应用开发中涉及的基础知识和核心技术，并通过案例介绍了基于Express和Koa框架的项目开发。本书着重实际应用，案例及实计算机10.9万字
- 会员《C#从入门到精通（第7版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用C#进行Windows应用程序开发方方面面的技术。全书分为4篇，共25章，包括初识C#及其开发环境、C#程序基本结构、变量与常量、表达式与运算符、字符与字符串、流程控制语句、数组和集合、面向对象编程、Windows窗体应用程序设计、Windows窗体应用程序常用控件、Windows窗体应用程序高级控件计算机17.8万字
- 会员这是一本具有高中数学知识就能读懂的机器学习图书，书中通过大量程序实例，将复杂的公式重新拆解，详细、清晰地解读了机器学习中常用的数学知识，一步步带领读者进入机器学习的领域。本书共22章，主要讲解了数据可视化、math模块、sympy模块、numpy模块、方程式、函数、最小平方法、集合、概率、贝叶斯定理、指数、对数、欧拉数、逻辑函数、三角函数、大型运算符、向量、矩阵与线性回归等数学知识。计算机5.8万字