技术,从Android系统基础开始,对测试用例生成、回归测试及压力测试等方面做了重点讲解;第6章重点讨论嵌入式软件系统测试环境构建技术,提出实时嵌入式软件仿真测试虚拟机规范的设计思路,同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨;第7章给出典型航电系统嵌入式软件测试...
·系统软件。系统软件是指嵌入式系统中用于控制、管理计算机系统资源的软件,主要指嵌入式操作系统,主流的嵌入式操作系统有Windows CE、Palm OS、Linux、VxWorks、pSOS、QNX、OS-9、LynxOS等。我国嵌入式操作系统的起步较晚,国内此类产品主要是基于自主版权的Linux操作系统,其中以中软Linux、红旗Linux、东方Linux等为代表...
掌阅小说网为您提供嵌入式软件系统测试:基于形式化方法的自动化测试解决方案著的殷永峰小说,最新章节:2.1.2 系统分析与软件定义阶段
本书总结了作者多年的嵌入式软件系统测试的工程实践经验,基于形式化方法,提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手,介绍嵌入式软件工程及管理方法,讨论嵌入式软件系统测试理论及测试环境构建等技术,并结合航电系统嵌入式软件测试实例,为实现自动化测试提供有效的解决方案。本书既适合从事军...
本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术;第4章讨论实时嵌入式软件自动化测试描述方法,主要从实时嵌入式软件测试描述语言的设计及
5.1.8 Android GUI测试框架书名: 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案作者名: 殷永峰 姜博编著本章字数: 661字更新时间: 2021-02-22 15:46:30首页 书籍详情 目录 听书 自动阅读00:04:58 摸鱼模式 加入书架 字号 背景 手机阅读 ...
解决方案软硬件技术形式化本书总结了作者多年的嵌入式软件系统测试的工程实践经验,基于形式化方法,提出了完整的自动化测试解决方案.全书从嵌入式系统的构成,分类和特点入手,介绍嵌入式软件工程及管理方法,讨论嵌入式软件系统测试理论及测试环境构建等技术,并结合航电系统嵌入式软件测试实例,为最终实现自动化测试提供有效的...
【全新正版京仓直发】嵌入式软件系统测试:基于形式化方法的自动化测试解决方案 9787111672425 机械工业出版社 不详 著 京东价 ￥ 降价通知 累计评价 0 促销 展开促销 配送至 --请选择-- 支持 - + 加入购物车 更多商品信息 书香满满图书专营店 店铺星级 商品评价 4.5 中 物流履约 5.0 高 售后服务 ...
殷永峰 姜博编著创作的计算机网络小说《嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》,已更新章,最新章节:undefined。本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形
本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术;第4章讨论实时嵌入式软件自动化测试描述方法,主要从实时嵌入式软件测试描述语言的设计及