嵌入式软件测试实用技术

出版时间：2010-9  出版社：清华大学  作者：蔡建平  页数：472  
Tag标签：无  

前言

嵌入式系统是先进的计算机技术、半导体技术和电子技术与应用领域业务相结合的产物。它把这些现代化技术带到了应用领域，在促进信息产业和传统产业的互动与融合，提高信息技术和信息服务对传统产业的改造，促进信息化带动工业化，使我国走上新型工业化道路的进程以及保障国家信息安全和经济安全、增强国防实力等方面都具有重要的战略意义。嵌入式系统具有知识密集与技术密集、应用广泛以及灵活方便等优点，但同时嵌入式处理器又在功耗、体积、成本、可靠性、速度、处理能力、电磁兼容性等方面受到应用对象要求的制约。因此，嵌入式系统的硬件与软件都必须瞄准服务对象的业务目标量体裁衣、去除冗余，力争在有限面积的芯片上可靠地实现高效率运行，才能最终满足客户的要求，在技术与市场的竞争面前立于不败之地。鉴于嵌入式系统的上述诸多特点，作为系统核心部分的软件，特别是在一些重要领域和关键领域中工作的软件必定在功能性、可靠性、效率、维护性等质量特性方面有着更为严格的要求。显然，为了达到这些质量要求，嵌入式软件的测试在其中承担了艰巨的任务。嵌入式软件测试工作涉及嵌入式系统本身以及软件测试两方面的知识，包含了大量的专业性很强的理论和实践技术，在一本书里进行全面、系统地阐述绝非易事。北京工业大学软件学院的蔡建平教授编著的软件测试丛书就此难题做了有益而成功的尝试。已出版的《软件测试大学教程》和《软件测试实验指导教程》两书中已对软件测试技术和常用的方法进行了充分的论述或讲解。在此基础上，本书针对嵌入式系统应用的技术特点，对嵌入式软件测试做了系统而全面的论述。蔡建平教授长期以来从事国防软件工程的实际工作，并且在软件测试及软件质量保证等方面开展了研究和教学工作。在这些工作中，他不仅积累了丰富的经验，也收集和整理了大量的有益资料，从而为本书的编写创造了良好的条件。本书在讲述嵌入式软件的交叉开发、质量度量及测试验证等基本概念、技术、方法和过程的基础上，特别针对嵌入式软件测试的一些特殊需求介绍了交叉调测、半实物及全数字仿真、虚拟仪器、虚拟样机、软硬件协同验证和FPGA测试等重要技术，同时对国内主流的嵌入式软件测试工具分门别类地进行介绍和应用举例，可以说这是一本集各种嵌入式软件测试技术和工具应用于一体的嵌入式软件测试专业书籍，有助于希望或已经从事嵌入式软件测试工作的读者学习和参考。

内容概要

本书是作者多年从事嵌入式软件测试研究、开发、咨询及培训经验的总结。全书共9章，分为3部分：第1部分(第1～4章)是对嵌入式软件开发技术的介绍，涉及嵌入式软件开发所用到技术的一些基本概念和基础知识，如嵌入式应用的基础知识、嵌入式软件设计的各种方法、嵌入式应用开发的相关技术以及嵌入式软件开发的集成环境等；第II部分(第5、6章)是本书的重点，讲述了嵌入式软件测试的一些基本概念、重要技术和经典方法，包括嵌入式软件的静态测试、动态测试、测试过程、自动化测试、可靠性测试等嵌入式软件测试的基础知识，以及嵌入式软件测试仿真、虚拟仪器与虚拟样机应用、软硬件协同验证、FPGA测试等技术和方法；第III部分(第7-9章)是对嵌入式软件测试工具的全面介绍，覆盖了嵌入式软件测试各个方面的实际应用需求，书中的工具选型主要以嵌入式软件测试技术支撑、方法应用和在国内应用有其代表性为出发点，重点介绍了包括IBM Rational、Parasoft、Vector Software、FreeScale、领测科技、北航l4系、Nl、荷兰宇航和国家实验室(NLR)以及北京奥吉通等多家著名公司在内的嵌入式软件测试产品或工具，形成了一整套的嵌入式软件测试解决方案。    本书取材先进、设计新颖、内容翔实、知识面广、技术性强，特别具有实用性和指导性。本书覆盖了嵌入式软件测试技术的方方面面，介绍了各种各样的嵌入式软件测试工具，给出了大大小小的嵌入式软件测试案例，对读者从事嵌入式软件测试工作具有相当大的帮助作用。本书可作为高等院校高年级本科生及研究生的“嵌入式软件测试”课程的教材，同时也可作为嵌入式软件测试培训机构的培训用书或嵌入式软件测试人员的自学书籍。

作者简介

蔡建平，教授，北京工业大学软件学院院长助理、软件与网络工程系主任。在原总装备部某研究所工作十余年，一直从事该所负责的全军军用共性软件系统项目的论证和研究，并在其中发挥重要作用，得到有关领导和专家的认可和好评。获军队科技进步一等奖、二等奖、三等奖多项；发表各类学术论文30多篇，与他人合作著书一部。
    在某公司任技术总监期间，除负责国防有关单位的软件工程、软件质量保证、软件测试以及嵌入式开发的技术咨询、提供解决方案和技术支撑外，还主持开发了一系列软件测试工具，并成功用于国防软件的测试。
    2005年9月在北京工业大学软件学院任职教授以来，除了多年讲授软件测试课程和多次对外开展嵌入式软件测试技术培训外，在学院的学科建设、专业建设，如实验室建设、实践教学改革与创新、数字艺术方向和数字媒体技术专业建设、“211工程”建设、教育部和北京市特色专业建设，以及科研基地——科技创新平台建设等方面做了大量的工作，取得了突破性成果，获国家教学优秀成果二等奖一项(排名第三)。

书籍目录

第I部分　嵌入式软件开发技术　第1章　嵌入式应用基础　第2章　嵌入式软件设计方法　第3章　嵌入式应用开发支持　第4章　嵌入式软件开发环境第II部分　嵌入式软件测试技术　第5章　嵌入式软件测试基础　第6章　嵌入式软件测试技术与方法第III部分　嵌入式软件测试常用工具　第7章　嵌入式软件静态分析工具　第8章　嵌入式软件动态测试工具　第9章　嵌入式软件综合测试工具——RTRT参考文献

章节摘录

插图：从以上工作过程和测试效果可以看出，一个好的覆盖测试工具，从功能和性能上应满足一定的要求。在功能上，覆盖测试工具应尽可能进行多种目标的覆盖测试，如能进行语句、分支、甚至路径（或基本路径）的覆盖，最好能提供图形化的界面，便于测试人员直观地进行覆盖分析，确定新的待测路径，补充新的测试用例。另外，一个应用系统的组成（包括文件组成、子过程组成）往往很复杂，调用关系也很复杂。因此好的覆盖测试工具往往能用直观的图形界面（如树形结构图、调用关系图等），将应用系统的组成和调用关系表现出来，以便于测试人员能正确理解和把握应用系统的全貌。在性能上，覆盖测试工具应尽量减少插桩开销。一方面，为达到不同的逻辑覆盖目标（如语句覆盖、分支覆盖、路径覆盖、子过程调用覆盖等），尽量减少插桩操作次数。若能仅仅插桩一次，就完成多种目标的覆盖测试，则可以大大减轻测试人员的工作量。另一方面，应优化插桩代码，减少插桩代码的数量、减少插桩代码的运行次数，从而达到减少插桩代码运行开销的目的。特别是对于一些嵌入式实时系统的覆盖测试，在这方面的要求尤其苛刻。这些从功能上和性能上对覆盖测试工具的要求，基本上构成了一个覆盖测试工具的基本需求。

媒体关注与评论

这是一本集各种嵌入式软件测试技术和工具应用于一体的嵌入式软件测试专业书籍，有助于愿意或已经从事嵌入式软件测试工作的读者学习和参考。　　——清华大学救生艇郑人杰

编辑推荐

《嵌入式软件测试实用技术》以当前嵌入式软件测试需求为背景，针对嵌入式应用的复杂性、硬件的多样性、资源的有限性、响应及处理的实时性及技术应用的不确定性等所带来的嵌入式软件测试一系列问题，进行基础准备、知识讲解、技术分析、工具举例等内容的科学组织，使读者深入浅出，既能学习到一些基本的嵌入式软件测试技术，又能够拓宽眼界，了解嵌入式软件测试的一些边缘的或前沿的知识，而且对如何运用工具开展嵌入式软件测试能够有一定的认识和想法。第一本真正以嵌入式软件测试技术为核心内容的嵌入式软件测试书籍作者多年学术研究、项目研发及专业咨询的成果和经验的提炼与总结交叉开发、质量度量、测试验证、交叉调测、半实物及全数字仿真、虚拟仪器、虚拟样机、软硬件协同验证和FPGA测试集各种嵌入式软件测试技术和工具应用于一体，理论与实践并重

用户评论 (总计2条)

•   开始对此书寄予很大希望。前面的序言写得还凑合，看了两分钟，发现此书太坑。理由如下：1.共三部分。除了第三部分抄网上的软件产品介绍有点用外，前两部分全是废话。2.第一部分想介绍下软件开发。结果把VxWorks说了半天，还没说清楚。攒出来的书就这个特点：用很大的篇幅用于跑题。3.第二部分：继续跑题，介绍了MISRA C，黑盒，白盒。写得巨详细。。。无语。总结1.本书没有一点自己的东西，除了序言。没有思想。不知道本书作者是否看过《软件测试的艺术》，79年的书，到现在依然风光无限。2.抄的书，就不要搞这么厚，这么贵，太坑了。3.书写出来是要流传后世的，不要找学生上网百度这么多内容，也当成书卖，害了学生，对自己也不好。北工大这样一个教授，如何向自己的学生交待。一本烂书，太贵，对于没有好评的国产书，还是买国外的书吧。像林锐那样认真写书的人真是不多，希望本书作者能扪心自问，有点良心，在这个浮躁的社会！
•   内容广泛及实用 这本书不错