《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论，介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况，并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述；重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰：描述了软件工程基础知识，包括软件工程基本概念、基本原则和研究内容。第2部分为通用的软件工程的阐述，分别对软件全生命周期模型、开发计划与策划、需求开发及管理、软件架构设计技术、机载软件的设计、软件验证技术、软件质量保证、软件可信性评估、软件可靠性评估和软件安全性评估等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法，重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》，以及机载软件知识库。第4部分为天脉操作系统的开发实践，对自行研制的天脉操作系统的开发实践进行了详细的描述，其中包括天脉操作系统的研制策划、项目立项论证和研制总要求论证、软件计划过程和软件开发过程实践等。软件研制有很多工程化规定和指南，但是缺乏工程化的方法学指导，以及对软件工程全面的融会贯通的理解，《可信嵌入式软件开发方法与实践/中航工业首席专家技术丛书》能够为航空工业和其他领域从事高安全性系统设计的软件工作人员提供有用的参考资料。

本书的主要内容为：数据的存储及表示形式、汇编语言入门、熟悉调试工具OllyDbg、PE工具详解、PE文件格式实例（包括加壳与脱壳工具的使用）、十六进制编辑器与反编译工具、IDA与逆向、逆向工具原理实现等。本书可以作为程序员、安全技术的研究人员、安全技术爱好者阅读。

本书面向软件测试的实际应用，系统阐述了软件测试所涉及的基础理论、常用技术、过程管理和质量控制； 重点讲解软件测试中的白盒测试技术、黑盒测试技术以及自动化测试技术； 全面剖析了软件测试从单元测试阶段、集成测试阶段、系统测试阶段以及验收测试阶段等各个不同阶段比较成熟的技术及方法。 本书内容丰富，深入浅出，实用性强，可作为大中专院校计算机、软件工程、测试等相关专业师生自学的教材，也可作为有关软件测试的培训教材，对于从事软件测试工作的相关技术人员也有一定的参考价值。

本书分两部分，第一部分详细介绍动态工具ＧｅｏＧｅｂｒａ的基本操作方法；第二部分是基于ＧｅｏＧｅｂｒａ平台的数学实验，即运用该平台将数学的内容及相关问题从几何、代数两个方面呈现出来，运用技术手段描述数学问题，理解数学问题，解决数学问题，探究数学问题，揭示数学本质，展示数学智慧，体会数学价值，享受数学之美，了解数学艺术。ＧｅｏＧｅｂｒａ平台能直观呈现小学、初中、高中乃至大学的所有数学基本内容，是发 展学生数学素养的智慧平台。 本书详细介绍了该软件平台在数学教学、数学学习和数学研究上的使用方法，同时也介绍了数学教学中课件的制作方法，实验案例主要涵盖了初中、高中的大部分内容。本书通过大量动态案例的呈现，展现了ＧｅｏＧｅｂｒａ的强大功能，努力使其成为数学学习的助手、教学的平台和模型的工具，是小学、初中和高中学生及教师学习和教学的必备工具书之一，同时也是一本实用性很强的专业教材。

现在，国内许多高校的计算机科学与技术、软件工程及其相关专业纷纷开设软件质量保证和软件测试相关课程，以培养更多的软件人才。为了适应当前教学的需要，编者查阅了大量国内外有关软件质量和测试方面的著作和文献，并结合自己多年的从业和教学经验编写了本书。本书的特点是技术介绍全面，实践和理论并重，实例多。本书着重介绍软件质量和测试及管理技术理论中*重要、*精华的部分，注重知识点的融会贯通；而不是面面俱到，没有重点和特色。本书中既有整体框架，又有重点理论和技术。全书分两篇，共12章。第一篇软件质量包括第1～5章：第1章软件质量概述，第2章软件质量度量和配置管理，第3章软件质量标准，第4章软件全面质量管理，第5章软件评审；第二篇软件测试包括第6～12章：第6章软件测试基础，第7章白盒测试，第8章黑盒测试，第9章集成测试，第10章系统测试，第11章软件测试自动化，第12章软件测试管理。本书可以作为高校计算机科学与技术专业、软件工程专业及其相关专业本科生或研究生的教材，也可以作为软件开发人员、软件质量保证人员和软件测试人员的参考书，还适合广大计算机用户阅读。本书封面贴有清华大学出版社防伪标签，无标签者不得销售。

本书详尽地阐述了软件测试的基础知识及其相关的测试技术，内容包括软件测试基础、软件测试模型与过程、软件测试管理、黑盒测试、白盒测试、单元测试、集成测试、系统测试、面向对象软件的测试、自动化测试，Web系统测试案例和软件测试实验。书中通过一个Web系统测试案例实践本书所论述的测试理论和技术。 本书内容全面、重点突出、理论简明、难易适中，注重基本概念和基础理论，强调测试技术的实用性。书中结合大量的测试案例，将理论与实践紧密结合，使读者可以更好地理解和掌握软件测试技术，并运用到实际测试工作中去。 本书可作为高等院校、示范性软件学院的计算机相关专业和软件技术专业的教材，也可作为软件测试技术初、中级培训教程，同时可供从事软件开发和软件测试的专业技术人员和管理人员参阅。

本书是根据职业技术教育特点编写的一本以应用为主的软件教程。全书共分10章，分别介绍了软件的安装与卸载、浏览器的使用、网络下载工具及播放工具软件、电子书的阅读与制作、音频编辑工具、图形图像工具软件、网上办公和网上购物的相关操作、网络安全工具软件、系统的维护与优化工具的使用。本书采用项目实例点面结合教学方式，各章以项目为中心，围绕项目实现展开学习，通过一个个鲜活的实例、详尽的操作讲解和完整的演示图片，让从未接触过计算机的读者能够跟随一个个项目的展开快速学会使用计算机，轻轻松松地完成各种日常工作任务，学习目标非常明确，实训效果快速显著。本书在每章的后还设有实战演练，便于读者练习提高。本书内容新颖丰富、实用性强，既可作为各职业学校教材，还可以作为培训、自学等广大计算机爱好者的工具用书。本书还配有电子课件和部分课后练习答案。

本书介绍了架构的设计过程及设计方法：属性驱动设计（ADD）。书中通过介绍ADD的概念和应用实例，展示了如何执行架构设计，如何重新设计概念，可帮助读者从“入门到精通”掌握软件架构设计。第1章介绍了软件架构设计和ADD方法的发展史，第2章讨论软件架构设计的细节，第3章详细介绍ADD方法，第4~6章是几个案例研究，第7章展示了其他一些设计方法，第8章深入讨论了设计过程中的分析，第9章讲解了实时过程如何适应组织级别的应用，第10章总结了全书的内容。

本书根据技工院校一体化课程教学改革计算机网络应用专业国家技能人才培养标准及一体化课程规范（试行）编写，主要内容包括：某单位业务部门新购电脑常见工具软件安装与维护、某企业人事部门MS OFFICE 2010套件安装、某单位新购外设驱动程序安装、某企业财务部门软件防火墙和杀毒软件升级与设置、某客户计算机重要文件数据恢复、某企业云终端与智能终端维护等学习任务。

本书采用“教学做”一体化模式编写，合理地组织学习单元，并将每个单元分解为核心知识、能力目标、任务驱动、实践环节4个模块。全书共10章，第1章是软件工程基本概念，第2~7章顺序介绍了软件生命周期各阶段任务、过程、结构化方法和工具，第8章讲述了面向对象方法学，第9章介绍了软件项目管理，第10章给出了经典的软件工程实验以及一个综合实例。书中实例侧重实用性和启发性，通俗易懂，使读者能够快速掌握软件工程的基础知识与项目管理技能，为适应实战应用打下坚实的基础。　本书适合作为高等院校“软件工程”课程的教材或教学参考书，也适合作为有一定经验的软件工作人员的参考用书。