本书共11章, 主要内容包括软件可靠性基本概念、软件可靠性分析的数学基础、软件失效机理分析与故障传播分析、软件可靠性增长模型、数据驱动的软件可靠性模型、软件可靠性建模技术、软件可靠性分析技术、软件可靠性设计方法、软件可靠性测试与验证技术、软件可靠性工程。

本书共三部分15章。第一部分为理论基础 (第1-8章), 包括软件测试概述、软件测试过程模型、软件测试方法、软件测试过程、软件测试管理、面向对象软件测试、软件质量保证、敏捷项目测试; 第二部分为工具应用 (第9-14章), 包括软件测试自动化、缺陷跟踪管理、JUnit单元测试、接口测试工具、性能测试工具JMeter、Python的自动化测试; 第三部分为案例实践 (第15章), 介绍网上书店系统测试案例。

本书主要介绍和讲解算法分析与评测技术, 枚举、递归、回溯、贪心、动态规划、排序、查找、分治、递推等算法思想和算法结构, 以及数论、计算机图形学、密码学、线性代数、机器学习、图论、概率论与随机过程等领域的常见算法。

本书共13章, 主要内容包括单片机和嵌入式系统导论、数值表示及转换、KeilμVision (C51) 开发工具、8051单片机的内部结构、MCS-51指令集架构、汇编语言程序设计、C语言程序设计、时钟、复位和电源模式原理及应用、比较器原理及应用、计数器/定时器原理及应用、通用异步收发器原理及应用、ADC原理及应用, 以及增强型PWM发生器原理及应用。

本书内容包括HarmonyOS概述、HarmonyOS应用开发环境、ArkTS语言基础、搭建第一个基于ArkTS的HarmonyOS应用、ArkTS语言概述、基于ArkTS的UI基本语法、基于ArkTS的UI状态管理、基于ArkTS的UI渲染控制、基于ArkTS的基础类库、方舟开发框架、基于ArkTS的HarmonyOS应用开发和应用开发综合案例。

本书以物联网应用为切入点, 以瑞芯微RK2206芯片为核心控制器, 详细讲解了OpenHarmony (开源鸿蒙) 轻量级操作系统的原理与开发过程。本书基于已经通过开放原子开源基金会XTS认证的小凌派-RK2206开发套件, 书中所有的电路、程序和开发实例均在开发套件上调试和验证通过。本书主要内容: 小凌派-RK2206硬件快速入门, OpenHarmony软件快速入门; OpenHarmony移植, 内核基础应用; 基础外设应用, 物联网应用; 网络基础知识与编程, 物联网协议与移植, 畅游华

全书共分14章, 分别介绍了AutoCAD基础知识, 绘制二维图形, 编辑二维图形, 设置对象特性, 控制图形显示, 精确绘制图形, 标注图形尺寸, 使用文字和表格, 创建图案填充和面域, 使用图块和外部参照, 绘制三维图形, 编辑三维模型, 三维模型后期处理, 输入与输出图形等内容。

本书包括了第3代半导体材料、新型半导体器件、设计工具与设计方法、集成电路工艺技术等内容,涵盖了从半导体材料、器件、设计到工艺技术,立足微电子技术前沿的最新技术成果,以培养创新实践能力为主线,将专业教育与创新实践教育有机融合,以培养创新创业精神为核心,为微电子专业提供了最新的技术成果,是微电子专业的创新与实践的最佳指导书。

本书主要面向高等学校ROS智能机器人开发的教学及实训需求, 以培养ROS机器人开发工程师为目标, 内容包括ROS安装与系统架构、ROS通信机制和ROS实用工具, 并通过实例对ROS机器人的软硬件组成、机器人建模与运动仿真、机器人地图构建和导航应用进行详细讲解。

本书系统地介绍了各种常用的数据结构以及查找和排序的各种算法, 阐述了各种数据结构的逻辑结构、存储表示及基本运算, 并采用C++语言描述数据组织和算法实现, 所有算法的程序均在Dev C++ 5.1中调试通过。