扫描版，增加了目录索引

labWindows测试技术及工程应用，深入浅出讲解了labWindows基本编程方法

白盒测试技术.pdf 白盒测试技术.pdf 白盒测试技术.pdf 白盒测试技术.pdf 白盒测试技术.pdf 白盒测试技术.pdf 白盒测试技术.pdf 白盒测试技术.pdf

1 引言 　　相位噪声是频率源和频率控制器件的一个重要指标。频率源相位噪声的测试是时间频率专业计量测试人员经常进行的工作，有大量文章介绍，但是频率控制器件的相位噪声即附加相位噪声的测试却很少有文章提及。本文简单介绍了相位噪声的定义，详细介绍了附加相位噪声的测试过程，给出了实际的测试结果，指出了附加相位噪声测试过程中的一些注意事项，希望对附加相位噪声测试人员有一定的借鉴意义。 　　2 频率源相位噪声的定义 　　频率源的输出信号，一般可表示为： 　　在相位噪声测量中，实际的测试结果量并非上述定义的谱密度，而是信号调制边带功率与总信号功率之比 　　按照国际上早年推荐的定义和近些年美

1.1黑盒测试问题描述 假设商店货品价格(R) 都不大于100元（且为整数），若顾客付款(P)在100元内，现有一个程序能在每位顾客付款后给出找零钱的最佳组合（找给顾客货币张数最少）。 假定此商店的货币面值只包括：50元(M50)、10元(M10)、 5元(M5)、1元(M1) 四种。 1.2白盒测试问题描述 10个铅球中有一个假球（比其他铅球的重量要轻），用天平三次称出假球。 第一次使用天平分别称5个球，判断轻的一边有假球；拿出轻的5个球，取出其中4个第二次称，两边分别放2个球：如果两边同重，则剩下的球为假球；若两边不同重，拿出轻的两个球称第三次，轻的为假球。

主要介绍了集成电路设计中有关的测试技术，例如：组合电路测试，时序电路测试等

目录: 第1章　软件危机与软件工程 1. 1　软件危机 1. 1. 1　什么是软件危机 1. 1. 2　软件危机内在的原因 1. 1. 3　软件工程与软件危机的解决 1. 2　软件质量与可靠性 1. 2. 1　软件质量因素和质量特性 1. 2. 2　软件可靠性 1. 3　软件工程方法论--CMM模型 1. 3. 1　SQA计划 1. 3. 2 ISO 9000质量保证体系 1. 3. 3 CMM模型 第2章　软件工具和面向对家软件工程 2. 1　传统软件工程的困境及解决 2. 1. 1　传统软件工程面临的困境浅析 2. 1. 2　软件工具和再工程环境 2. 1. 3　面向对象的软件工程 2. 2　经典的软件工程与建模工具 2. 2. 1　业务调查阶段 2. 2. 2　需求定义阶段 2. 2. 3　总体设计阶段 2. 2. 4　详细设计阶段 2. 2. 5　程序生成阶段 2. 3　Panorama自动化测试工具和支撑环境 2. 3. 1　系统特点 2. 3. 2　采用领先的技术 2. 3. 3　Panorama工具系列和功能 第3章　软件工程范畴中软件测试的一般性理论 3. 1　基本概念 3. 1. 1　软件测试基础 3. 1. 2　静态方法和动态方法 3. 1. 3　黑盒测试和白盒测试 3. 1. 4　软件测试的步骤 3. 1. 5　测试阶段的信息流 3. 2　单元测试 3. 2. 1　单元测试的考虑 3. 2. 2　单元测试的过程 3. 3　集成测试 3. 3. 1 非增式测试 3. 3. 2　增式测试 3. 3. 3　不同集成测试策略的比较 3. 4　确认测试 3. 4. 1　确认测试准则 3. 4. 2　配置审查 3. 5　系统测试 3. 5. 1　恢复测试 3. 5. 2　安全测试 3. 5. 3　强度测试 3. 5. 4　性能测试 3. 6　验收测试 3. 6. 1　验收测试的范围 3. 6. 2　软件配置及文档资料 3. 7　调试 3. 8　面向对象的软件测试 3. 8. 1　在OO语境中的单元测试 3. 8. 2　在OO语境中的集成测试 3. 8. 3　在OO语境中的确认测试 第4章　软件测试用例的设计 4. 1　黑盒测试法和测试用例的设计 4. 1. 1　等价类划分 4. 1. 2　边界值分析 4. 1. 3　因果图 4. 1. 4　比较测试 4. 2　白盒测试法和测试用例的设计 4. 2. 1　基本概念 4. 2. 2　逻辑覆盖 4. 2. 3　路径分析 4. 3　针对专门环境和应用的测试 4. 3. 1 GUI测试 4. 3. 2　客户服务器体系结构的测试 4. 3. 3　实时系统的测试 第5章　软件工程及测试的难点和ISA的相关解决 5. 1　新系统开发支持 5. 1. 1　支持新系统设计 5. 1. 2　减少故障和编码风险 5. 1. 3　帮助软件工程师解决调试问题 5. 1. 4　源代码级程序终止和实时运行错误定位 5. 2　为已有软件系统提供修改设计. 测试和质量保障支持 5. 2. 1　有效率的模块级源文件编辑和安全的代码修改 5. 2. 2　帮助代码理解. 检查和通过 5. 2. 3　为单元和系统集成测试增加有序性 5. 2. 4　基于多重度量的复杂性分析的测试计划 5. 2. 5　测试覆盖分析与工程文件（. mak）驱动代码插装 5. 2. 6　有效的未测试路径（或段）的测试和再测试 5. 2. 7　节省时间的模块级再测试 5. 2. 8　有效的花费和自动的系统级再测试 5. 2. 9　面向对象的软件质量度量的测量 5. 2. 10　在Windows上基于GUI的复原测试 5. 3　再工程支持 5. 3. 1　系统结构分析 5. 3. 2　系统的类／过程分析 5. 3. 3　系统过程的逻辑分析和流程图化 5. 3. 4 系统控制流和Cyclomatic度量复杂性分析 5. 3. 5　系统数据分析 5. 3. 6　系统性能分析 5. 3. 7　可联机访问的文档手册和报告自动生成 5. 4　其他 5. 4. 1　工程管理 5. 4. 2　训练新成员 5. 4. 3　定制系统说明和验收评估 第6章　软件自动化测试的质量规范和应量 6. 1　Panorama自动化测试软件质量保障体系特点 6. 1. 1 Panrama测试覆盖的特点 6. 1. 2　测试用例和代码的对应分析 6. 1. 3　测试用例的最小化 6. 1. 4　意外结束的定位 6. 1. 5　复杂性分析 6. 1. 6　测试

基于模型的测试是一个轻量级的，形式化的验证软件系统的方法。为什么这么说呢，因为首先，基于模型的测试对待测软件系统（通常被称为SystemUnderTest，简称SUT）进行形式化的建模， 很多朋友可能已经听说了SpecExplorer是一款强大的测试工具，但却不是很了解所谓的基于模型的测试到底是什么，这篇文章可以让你对模型测试有一个大致的认识。 如果你在互联网上搜索“Model-BasedTesting”（即基于模型的测试，简称MBT），你将发现大量的信息。基于模型的测试并不是一个新生事物，也不局限于SpecExplorer这一工具，而是一个在学术界和工业界都已存在多年的概念。只是诸如Spec

通用测试技术.docx

本人资源全部免费，更多资源请查看我的上传资源 ===================================================== 书 名：软件测试技术概论 作 者：古乐，史九林 编著 出 版 社：清华大学出版社 出版时间：2004-4-1 ＩＳＢＮ：9787302081777 纸书页数：450 定 价：38.00 内容简介：本书是一本比较全面地介绍软件测试方法的书籍，先介绍测试技术的发展历史和现状；然后，作为测试的一个基础，介绍了白盒测试、黑盒测试以及测试覆盖率等几个重要概念，并充分分析了业界在这几个概念方面的研究成果；之后从全流程测试的角度按动态测试和静态测试两个方面，分别介绍了单元测试、集成测试、系统测试、验证和确认过程、需求测试和设计测试等内容。作为静态测试的一个重要手段，本书还对同行评审的概念和方法进行了阐述。最后，作者总结了测试的基本原则和一些好的实践经验。 本书可以作为大学本科高年级学生或研究生教材，也可以作为本科低年级学生学习的参考书。对于软件工程师和测试工程师来说，本书是一本很好的指导书。