书籍目录
首页
分类
免费
排行
我的书架
1-50章
51-100章
101-130章
共130章
免费
版权信息
免费
前言
免费
缩略词汇表
免费
第1章 嵌入式系统及软件
免费
1.1 嵌入式系统概述
免费
1.1.1 嵌入式系统与实时系统
免费
1.1.2 嵌入式系统的特点
免费
1.1.3 嵌入式系统的组成
免费
1.1.4 嵌入式系统的应用领域
免费
1.2 嵌入式软件概述
免费
1.2.1 嵌入式软件分类
免费
1.2.2 嵌入式操作系统
免费
1.3 本章小结
免费
第2章 嵌入式软件工程与质量特性
免费
2.1 嵌入式软件工程
免费
2.1.1 嵌入式软件开发模型
免费
2.1.2 系统分析与软件定义阶段
免费
2.1.3 软件需求分析阶段
免费
2.1.4 软件设计阶段
免费
2.1.5 软件实现阶段
免费
2.1.6 软件测试阶段
免费
2.1.7 软件验收与交付阶段
免费
2.1.8 软件使用与维护阶段
免费
2.2 嵌入式软件工程化管理
免费
2.2.1 软件工程化管理
免费
2.2.2 软件开发方法学
免费
2.3 嵌入式软件的质量特性
免费
2.4 本章小结
免费
第3章 基于形式化方法的嵌入式软件系统测试技术
免费
3.1 软件形式化测试技术概述
免费
3.1.1 软件形式化测试概述
免费
3.1.2 基于形式规约语言
免费
3.1.3 基于有限状态机和时间自动机模型
免费
3.1.4 基于统一建模语言
免费
3.1.5 基于Petri网模型
免费
3.1.6 基于马尔可夫链模型
免费
3.1.7 基于自定义形式化测试描述语言
免费
3.2 嵌入式软件形式化测试技术
免费
3.2.1 基本概念
免费
3.2.2 基于FSM的软件测试技术
免费
3.2.3 基于EFSM的软件测试技术
3.2.4 实时扩展有限状态机模型
3.3 基于实时扩展UML与RT-EFSM的测试用例生成
3.3.1 UML与OCL基本概念及技术
3.3.2 UML与软件测试
3.3.3 UML实时扩展
3.3.4 基于实时扩展UML与RT-EFSM的测试用例生成过程
3.4 本章小结
第4章 实时嵌入式软件自动化测试描述技术
4.1 测试描述的概念及分类
×