
会员
嵌入式软件系统测试:基于形式化方法的自动化测试解决方案
更新时间:2021-02-22 15:46:48
最新章节:参考文献开会员,本书免费读 >
本书的主要内容包括:第1章介绍嵌入式系统及软件的基本概念;第2章介绍嵌入式软件工程及质量与可靠性的相关知识;第3章系统地介绍基于形式化方法的嵌入式软件系统测试理论框架及技术;第4章讨论实时嵌入式软件自动化测试描述方法,主要从实时嵌入式软件测试描述语言的设计及运行机制等方面进行阐述;第5章着重讨论智能终端应用(嵌入式)软件系统测试技术,从Android系统基础开始,对测试用例生成、回归测试及压力测试等方面做了重点讲解;第6章重点讨论嵌入式软件系统测试环境构建技术,提出实时嵌入式软件仿真测试虚拟机规范的设计思路,同时对实时嵌入式软件仿真测试环境的体系结构设计以及测试执行引擎的设计、实现及效率等进行了探讨;第7章给出典型航电系统嵌入式软件测试实例。本书既可为从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员提供参考,也可作为高等院校计算机、软件工程、嵌入式系统及相关专业本科生和研究生的参考读物。
品牌:机械工业出版社
上架时间:2021-01-01 00:00:00
出版社:机械工业出版社
本书数字版权由机械工业出版社提供,并由其授权上海阅文信息技术有限公司制作发行
最新章节
最新上架
- 会员
整理优先:小改进,大回报,整洁代码设计指南
本书分为三部分:第1部分介绍代码的整理(微型重构);第二部分讨论如何将整理工作整合到开发工作流程中;第三部分深入探讨什么是软件设计、软件设计如何驱动软件开发和运营成本以及软件开发和运营成本又如何驱动软件设计、投资软件结构与不投资软件结构之间的权衡是什么、我们可以利用哪些经济和人文原则来决定是否以及如何改变软件结构。计算机3.7万字 - 会员
代码整洁之道:程序员的职业素养
本书是编程大师“Bob大叔”40余年编程生涯的心得体会的总结,讲解要成为真正专业的程序员需要具备什么样的态度,需要遵循什么样的原则,需要采取什么样的行动。作者以自己以及身边的同事走过的弯路、犯过的错误为例,意在为后来者引路,助其职业生涯迈上更高台阶。计算机12.2万字 - 会员
Python科学与工程数据分析实战
本书以Python3.10.7为平台,以实际应用为背景,通过概述+算法+经典应用的形式,深入浅出地介绍Python数据分析的相关知识。全书共9章,主要内容包括Python概述、科学计算库、开源科学集、数据分析利器、数据分析的可视化、基于回归的数据分析、基于分类的数据分析、基于聚类的数据分析、数据特征分析等。通过学习本书,读者可领略到Python的简单、易学、易读、易维护等特点,同时也可感受到利用计算机10.1万字 - 会员
图解Java数据结构与算法(微课视频版)
《图解Java数据结构与算法:微课视频版》系统、全面地介绍数据结构的基础理论与算法设计,精选数据结构考研习题和各类典型例题进行讲解,案例和课后习题丰富,突出对数据结构算法实践能力的培养。本书算法均采用Java语言实现,示例代码可直接上机运行。《图解Java数据结构与算法:微课视频版》共分11章,内容包括数据结构与算法概述,线性表,栈和队列,串、数组和广义表,树,图,查找算法,排序算法,分治算法,贪计算机12.8万字 - 会员
数据库管理与开发项目教程:MySQL(微课版·第4版)
本书以MySQL为平台,从数据库管理和开发的角度出发,介绍开发数据库应用系统所需的基础知识和技术。本书将一个贯穿全书的数据库应用系统开发实例“学生信息管理系统”融入各项目,将每个项目分解成若干任务,使读者逐步学会创建、管理、开发数据库,并掌握使用SQL进行程序设计的编程思想和技术。本书内容由浅入深,由实践到理论,再从理论到实践,通过任务驱动的方式将理论与实践密切结合,体现了高职高专和应用型本科教育计算机12.6万字 - 会员
在最好的年纪学Python:小学生趣味编程
本书是一本难度适当、易学易懂的小学生Python启蒙教材,用贴近孩子的语言,通过多个简单、有趣的编程案例,激发孩子学习和探索科技的兴趣。本书以程序为中心,适当弱化语法。本书共11章,涵盖Python输入输出、数据类型、选择循环基本结构、函数、面向对象编程、海龟绘图、二进制和GUI编程等,内容丰富全面,每章末尾配有单词表和思考题,帮助读者巩固所学知识和技能。本书适合任何想要通过Python学习编程的计算机4.2万字 - 会员
Python GUI设计tkinter菜鸟编程(增强版)
本书是国内首先使用Pythontkinter设计GUI的中文书籍之一。本书主要讲解如何在窗口内使用Python的内部模块tkinter设计图形用户接口(GUI)程序,让用户可以利用图形接口与计算机沟通。tkinter模块是一个跨平台的窗口应用程序,使用它设计的程序可以在Windows、macOS、Linux系统上执行。2019年《PythonGUI设计tkinter菜鸟编程》一经出版便受到广大读者计算机6.4万字 - 会员
微服务中台架构开发
本书围绕真实业务场景,系统完整地介绍了微服务中台架构在企业成功落地的全过程。它从企业遇到的IT架构痛点出发,覆盖了IT架构模式选型、技术方案设计、团队管理和项目实施过程中的每一步,并且介绍了如何基于阿里云PaaS平台,构建低风险、高可用、易扩展、好维护的业务中台。本书可以帮助对企业IT架构感兴趣的中高级软件工程师、架构师、产品经理、项目经理,深刻认识和理解业务中台,从而结合企业实际,快速搭建适合自计算机11.9万字 - 会员
On Java:中文版·基础卷
本书是布鲁斯·埃克尔时隔15年,继ThinkinginJava之后又一力作,基于Java的3个长期支持版(Java8、11、17),讲解Java核心语法,并对Java的核心变化进行详述。全书内容通俗易懂,配合示例讲解逐步深入,并结合实际开发需要,从语言底层设计出发,有效帮读者规避一些常见的开发陷阱。主体部分共22章,内容包含对象、操作符、控制流、初始化和清理、复用、多态、接口、内部类、集合、函计算机29.4万字
同类书籍最近更新
- 会员
软件测试技术指南
本书介绍了国内外先进的软件测试技术和测试理念:包含软件测试理论、软件质量、软件测试过程、软件测试方法、软件测试管理、软件测试工具以及Web项目测试和APP项目测试等。全书覆盖了基础和高阶的软件测试知识,并结合目前市场需求的岗位技能,提供了极具参考价值的测试实例。本书是腾尚时代软件职业培训学校全体老师精心打造的一本软件测试领域专业书籍,力求使更多的求职者和读者更好地学习软件测试的相关知识,并找到更理程序设计13.5万字 - 会员
Pentaho Analytics for MongoDB Cookbook
ThisbookisintendedfordataarchitectsanddeveloperswithabasiclevelofknowledgeofMongoDB.FamiliaritywithPentahoisnotexpected.程序设计3.7万字 - 会员
JIRA 7 Administration Cookbook(Second Edition)
Developingamobileapplicationforjustoneplatformisbecomingathingofthepast.CompaniesexpecttheirappstobesupportedoniOS,AndroidandWindowsPhone,whileleveragingthebestnativef程序设计3.8万字 - 会员
计算机组装与维护实用教程
本书是面向高等院校学生学习计算机硬件知识及培养应用能力的教材。全书共分八个单元22个项目,分别介绍计算机硬件的基础知识、计算机的组装与设置、硬盘的日常管理、计算机软件的安装、计算机常见故障的诊断与处理、计算机网络设备的管理与维护、计算机病毒的防治方法及硬盘数据恢复技术、U盘使用与故障处理等。本书适合作为各类高等院校师生学习计算机系统组装与维修的教材,也可作为社会培训教材或计算机硬件爱好者的自学参考程序设计14.5万字 - 会员
Flutter之旅
本书从一个Android原生开发者的角度去认识和了解Flutter,本书作者以幽默生动的故事描写手法,记录在Flutter学习中所遇见的景色,并呈现给读者,主要内容包括:Flutter的安装与基本概念,Dart语法、组件与容器、布局基础、动画与手势、自定义组件、资源与路由、Flutter框架、Flutter与Redux、Flutter与iOS、插件开发、综合案例等。程序设计9.1万字 - 会员
Java面向对象程序设计(第3版)
本书作为Java语言程序设计课程的教材,系统全面地介绍了有关Java开发所涉及的各类知识。全书共分13章,内容包括初识Java、Eclipse开发工具、Java语言基础、流程控制、数组与字符串、java面向对象程序设计、异常处理、多线程、GUI、输入输出、常用工具类、数据库编程应用、网络编程、JSP与Serverlet。程序设计14.9万字