(嵌入式)软件系统测试技术,从Android系统基础开始,对测试用例生成、回归测试及压力测试等方面做了重点讲解;第6章重点讨论嵌入式软件系统测试环境构建技术,提出实时嵌入式软件仿真测试虚拟机规范的设计思路,同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨;第7章给出典型...
·应用软件。应用软件是嵌入式系统中面向用户体验的应用程序,一般针对特定应用领域且基于某一固定的硬件平台,用来达到用户的预期目标。嵌入式应用软件不仅要求在准确性、安全性和稳定性等方面能够满足实际应用的需要,而且还要尽可能地进行优化,以减少对系统资源的消耗,降低硬件成本。目前我国市场上已经出现了各式各样的...
2.1.3 软件需求分析阶段 软件需求分析阶段的任务是:在系统分析与软件定义阶段的基础上,确定被开发软件的功能、性能、接口、安全性、资源环境等全部需求;对软件开发、质量保证、配置管理工作进行策划;编写软件需求规格说明和软件开发计划、质量保证计划、配置管理计划、系统测试计划等重要文档。 嵌入式软件需求分析主要解...
5.1.8 Android GUI测试框架书名: 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案作者名: 殷永峰 姜博编著本章字数: 661字更新时间: 2021-02-22 15:46:30首页 书籍详情 目录 听书 自动阅读00:04:58 摸鱼模式 加入书架 字号 背景 手机阅读 ...
本书总结了作者多年的嵌入式软件系统测试的工程实践经验,基于形式化方法,提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手,介绍嵌入式软件工程及管理方法,讨论嵌入式软件系统测试理论及测试环境构建等技术,并结合航电系统嵌入式软件测试实例,为实现自动化测试提供有效的解决方案。本书既适合从事军...
本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术;第4章讨论实时嵌入式软件自动化测试描述方法,主要从实时嵌入式软件测试描述语言的设计及
形式化本书总结了作者多年的嵌入式软件系统测试的工程实践经验,基于形式化方法,提出了完整的自动化测试解决方案.全书从嵌入式系统的构成,分类和特点入手,介绍嵌入式软件工程及管理方法,讨论嵌入式软件系统测试理论及测试环境构建等技术,并结合航电系统嵌入式软件测试实例,为最终实现自动化测试提供有效的解决方案.本书既...
殷永峰 姜博编著创作的计算机网络小说《嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》,已更新章,最新章节:undefined。本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形
本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术;第4章讨论实时嵌入式软件自动化测试描述方法,主要从实时嵌入式软件测试描述语言的设计及
图1-4 嵌入式软件分类 ·应用软件。应用软件是嵌入式系统中面向用户体验的应用程序,一般针对特定应用领域且基于某一固定的硬件平台,用来达到用户的预期目标。嵌入式应用软件不仅要求在准确性、安全性和稳定性等方面能够满足实际应用的需要,而且还要尽可能地进行优化,以减少对系统资源的消耗,降低硬件成本。目前我国市场上...