注册 | 登录
100 条"嵌入式软件系统测试：基于形式化方法的自动化测试解决方案"搜索结果
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
  • 殷永峰
  • 本书提供完整构建自动化测试解决方案，涵盖形式化测试理论、测试描述方法、测试环境构建技术，提供实用方法和工具。
Access数据库系统设计上机指导与测试（第2版） 电子书
Access数据库系统设计上机指导与测试（第2版）
  • 廖瑞华 李勇帆
  • 本书第一部分为上机实验，与课堂教学内容相对应。通过实际操作，帮助学生快速掌握各种软件的基本功能及操作方法，帮助学生加深对理论知识的理解，提高操作与应用能力。第二部分为基础知识测试题，帮助学生加强对课本知识的理解和掌握，并附有答案。
ARM嵌入式体系结构与接口技术（Cortex-A9版）（微课版） 电子书
ARM嵌入式体系结构与接口技术（Cortex-A9版）（微课版）
  • 华清远见嵌入式学院 刘洪涛 秦山虎
  • 作为一种32位高性能、低成本的嵌入式RISC微处理器，ARM已经成为应用**广泛的嵌入式处理器。目前Cortex-A系列处理器已经占据了大部分的中高端产品市场。本书在全面介绍Cortex-A9处理器的体系结构、编程模型、指令系统及EclipseForARM开发环境搭建的同时，以基于Cortex-A9为核心的应用处理器Exynos4412为核心，详细介绍了ARM系统设计及相关接口技术。接口技术涵盖了
嵌入式Linux C语言程序设计基础教程（微课版） 电子书
嵌入式Linux C语言程序设计基础教程（微课版）
  • 华清远见嵌入式学院 刘洪涛 苗德行
  • 本书较为全面地介绍了嵌入式开发中C语言编程的基础知识。全书共11章，内容包括嵌入式LinuxC语言开发工具、数据、数据的输入输出、运算符和表达式、程序结构和控制语句、数组、指针、函数、用户自定义数据类型、嵌入式C语言的用法、嵌入式Linux内核常见数据结构。每章都提供详细的练习题和视频讲解，通过练习、操作实践及相关视频，帮助读者巩固所学的内容。本书可以作为院校嵌入式相关专业和计算机相关专业的教材，
嵌入式操作系统.Linux篇：微课版 电子书
嵌入式操作系统.Linux篇：微课版
  • 刘洪涛
  • 本书较为全面地介绍了嵌入式操作系统，全书共10章，分别为嵌入式Linux操作系统简介、嵌入式Linux操作系统的使用、Linux软件管理、Linux用户管理、Linux文件系统、Linux网络配置管理、嵌入式Linux编程环境、Shell编程环境、中断与设备管理、正则表达式，书中还提供了练习题和配套视频。本书可以作为高等院校嵌入式相关专业和计算机相关专业的教材，也可以作为计算机软硬件培训班教材，还
Python实现Web UI自动化测试实战——Selenium 3/4+unittest/Pytest+GitLab+Jenkins 电子书
Python实现Web UI自动化测试实战——Selenium 3/4+unittest/Pytest+GitLab+Jenkins
  • Storm 李鲲程 边宇明 著
  • 《Python实现WebUI自动化测试实战：Selenium3/4+unittest/Pytest+GitLab+Jenkins》主要介绍如何基于Python使用Selenium、unittest、Pytest、GitLab、Jenkins等工具实现WebUI自动化测试，以帮助读者提升测试水平。《Python实现WebUI自动化测试实战：Selenium3/4+unittest/Pytest+Gi
运动表现测试与评估指南 电子书
运动表现测试与评估指南
  • [意]戴维·H.
  • 中国体育科学学会体能训练分会中国体能训练师认证参考教材-系统阐述运动表现评估的测试方法选择、器材使用等基础知识-详细解析针对身体形态、机能和运动素质等的推荐测试方法·人体测量和身体成分·柔韧性和平衡能力·敏捷性和冲刺能力·爆发力·肌肉力量和肌肉耐力·心肺适能·监测训练-针对每种测试方法，提供可快速查阅的测试者应知应会内容·测试目的·所需器材·操作步骤·数据采集·相关研究·便于对比分析的不同人群标准数据帮助测试者精准设计和实施测试方案，全面了解训练者的身体状态！5枚奥运金牌获得者陈若琳上海体育学院体育教育训练学院院长、教授高炳宏国家体育总局训练局国家队体能训练中心创建人、负责人王雄武汉体育学院体能中心主任，中国体育科学学会体能训练分会秘书长李丹阳专业推荐！
Kali Linux渗透测试全流程详解 电子书
Kali Linux渗透测试全流程详解
  • 王佳亮　著
  • 本书作为KaliLinux的实用指南，涵盖了在使用KaliLinux进行渗透测试时涉及的各个阶段和相应的技术。本书总计11章，主要内容包括渗透测试系统的搭建、信息收集、漏洞扫描、漏洞利用、提权、持久化、内网横向渗透、暴力破解、无线攻击、中间人攻击、社会工程学等内容。本书不仅介绍了KaliLinux的安装和配置方法，还详细讲解了KaliLinux中包含的众多安全工具的用法和原理，以及如何结合不同的工
普通话测试实用教程 电子书
普通话测试实用教程
  • 李雅翠
  • 本书分析了晋语区与官话区的方言特点，在此基础上总结出了方言与普通话的对应规律，并附有大量与之对应的单音节、多音节字词表及绕口令等训练材料。
群体智能协作测试实战案例集 电子书
群体智能协作测试实战案例集
  • 主编
  • 本书共有6章内容，开篇第1章对软件测试、众包测试、群体智能协作测试这三个围绕软件系统开展的测试活动进行了描述；第6章是对群体智能协作测试的总结与展望；中间4章内容汇集慕测平台过去几年的典型案例共20个，按照传统众包测试经典案例、企业众包测试案例、众包测试与产教学研的融合、群体智能协作测试实战案例进行分类介绍。
多邻国英语测试(DET)备考指南 电子书
多邻国英语测试(DET)备考指南
  • 刘文勇 编著
  • 多邻国英语测试（DuolingoEnglishTest）是一项面向当今国际学生和机构的现代英语水平评估测试。无须预约或前往考试中心,可随时随地通过电脑和网络摄像头在家进行测试。*近几年,多邻国英语测试得到越来越多知名大学的认可,成为除托福和雅思之外的语言考试的新选择。而目前尚未出现针对该考试的辅导书。本书针对该考试的特点,分别对13种考试题型做了细致的分析和解读,每一部分都设置了足量的练习供读者朋
智能网联汽车测试与评价技术 电子书
智能网联汽车测试与评价技术
  • 中国电子信息产业发展研究院
  • 本书共分7章，主要围绕智能网联汽车的内涵与外延，从其“端管云”、功能安全、信息安全以及综合试验验证等几个与传统汽车测评不同的方面详细介绍了如何开展测试与评价，进而保障智能网联汽车系统应用的稳定与安全、可靠。
幼小衔接学科能力储备与测试 电子书
幼小衔接学科能力储备与测试
  • 全脑开发教研中心
  • 本书分别从语言能力、数学思维能力、英语能力、注意力训练和生活常识这五大方面的考察给家长以指导，并对入学必备的知识点进行了归纳和总结。书中提供了丰富的试题供家长测试孩子使用，让家长和孩子零距离接触幼升小，及时查漏补缺，对幼升小到心中有数。
Python测试开发入门与实践 电子书
Python测试开发入门与实践
  • 陈晓伍 主编
  • 本书系统且深入阐释利用Python进行Web自动化测试涉及的方法和实践。
超级心理测试：1000种测试个性、创造力、智力及横向思维的新方法 电子书
超级心理测试：1000种测试个性、创造力、智力及横向思维的新方法
  • 柯江华
  • 该书共包括40套个性测试题，以衡量您的心智能力和性格特征。这些心理测试涵盖的主题包括：如何对待压力、创造力、判断力、成见等。书中共有1000道这类试题，还包括所有试题的答案以及得分分析。
嵌入式系统与Qt程序开发 电子书
嵌入式系统与Qt程序开发
  • 沙祥 主编
  • 《嵌入式系统与Qt程序开发》一书主要讲述了基于Qt的嵌入式图形化界面程序的开发，从准备工作开始讲述直到网络程序的开发。本书主要分为三大部分：第1部分包含了第1章，主要讲述了虚拟机和Qt的安装、配置和使用，为后续章节做好准备；第2部分包含了第2～4章，每章都用两种方法实现相同的功能，从而引导读者入门；第3部分包含了第5、6章，实现了串口通信和网络通信两个实例。本书可作为高职高专院校电子信息类相关专业
裂变与重构：人民共和国的创世纪（全2册） 电子书
裂变与重构：人民共和国的创世纪（全2册）
  • 于化民
  • 本书是一本探讨新中国成立的来龙去脉的著作。
基于数据挖掘的软件缺陷预测技术 电子书
基于数据挖掘的软件缺陷预测技术
  • 马樱
  • 本专著主要基于软件领域数据的特性和预测模型的不同应用场景，对软件缺陷预测前言的若干关键技术进行了研究和总结。主要内容包括迁移学习环境下的缺陷预测技术，半监督环境下的缺陷预测技术，主动学习环境下的缺陷预测技术，基于核理论的缺陷预测技术，所应用的理论、算法及应用成果的介绍和展示。
行走的科学：提升步行健身效果的系统解决方案 电子书
行走的科学：提升步行健身效果的系统解决方案
  • [英] 李·斯科特
  • 本书从人体构造、步态周期等方面介绍了步行健身的基本原则和注意事项，为步行健身提供了科学的方法指导。
新编普通话学习与水平测试 电子书
新编普通话学习与水平测试
  • 曲明鑫
  • 本书对普通话学习、普通话水平测试及计算机辅助普通话水平测试进行总体介绍，并针对普通话水平测试题型进行专题训练，包括单音节字词发声训练、多音节词语发声训练、朗读训练、命题说话训练。
工业机器人测试与评价技术 电子书
工业机器人测试与评价技术
  • 中国电子信息产业发展研究院
  • 本书系统地讲解了工业机器人的测评技术。全书共分12章，内容包括绪论、工业机器人的技术基础、标准概述、测试技术概述、整机性能及安全可靠性测试技术、标定技术、软件测试技术、关键零部件测试技术、专项检测技术、生产线系统集成应用测试技术、评价方法、典型测试案例分析等。
推荐书籍
相关词语
操作系统 指南 人体测量(运动医学) 新中国 中国共产党 社会主义建设 新民主主义革命 健身运动 步行
意见反馈
我的书架

公众号

关注微信公众号