Aditya P.Mathur的《软件测试基础教程》全面介绍了软件测试的相关理论、测试方法、测试生成技术等内容。全书分为三个部分:**部分足预备知识,介绍软件测试技术的相关术语等基础知识;第二部分介绍软件测试的生成技术,不仅包括基本的等价类划分、边界值分析、因果图、谓词测试等技术,还涵盖了从有穷状态模型自动生成测试的技术、基于组合设计的测试生成技术,以及用于回归测试中测试选择、优先级排序、*小化的一些基本技术;第三部分介绍软件测试中既重要又广泛适用的理论,即通过测试充分性的度量来加强测试,包括基于控制流、数据流的代码覆盖标准,以及*有效的基于程序变异的测试充分性度量标准。每章的结尾都有参考文献注释和练习题,帮助读者深入体会软件测试的过程,并熟练掌握测试生成的方法。
《软件测试基础教程》适合作为计算机、软件工程及相关专业软件测试课程的教材,也可作为软件测试技术人员的参考书。

出版者的话 译者序 前言 **部分 预备知识 第1章 软件测试的基本知识 1.1 人、错误和测试 1.1.1 错误、故障和失效 1.1.2 测试自动化 1.1.3 开发人员与测试人员是两种角色 1.2 软件质量 1.2.1 软件质量特性 1.2.2 软件可靠性 1.3 需求、运行结果和正确性 1.3.1 输入域与软件正确性 1.3.2 有效输入与无效输入 1.4 正确性与可靠性 1.4.1 正确性 1.4.2 可靠性 1.4.3 软件使用与操作剖面 1.5 测试与调试 1.5.1 制订测试计划 1.5.2 构造测试数据 1.5.3 运行被测软件 1.5.4 指定被测软件的行为 1.5.5 评价被测软件运行结果的正确性 1.5.6 测试预言的构造 1.6 测试度量 1.6.1 组织级度量 1.6.2 项目级度量 1.6.3 过程级度量 1.6.4 产品级度量:通用度量 1.6.5 产品级度量:面向对象软件 1.6.6 进度跟踪与趋势 1.6.7 静态度量与动态度
显示全部信息

Aditya P.Mathur的《软件测试基础教程》基于实例讲述不同规模软件项目中的测试生成、选择、*小化和增强方面的*佳工程实践。全书还覆盖了基于数据流的测试充分性和基于变异的测试充分性,这些是可用的*有效的测试充分性准则。本书精选了由全世界数百位测试研究人员和实践人员发明和总结的测试知识及技术,采用通俗易懂的表述方式,使读者更容易理解和掌握。 测试生成、选择、优先排序和评估是测试过程中所有技术活动的基础。在此基础上合理部署各项组件,才能有效地测试不同类型的软件应用,包括面向对象系统、Web服务、图形用户接口、嵌入式系统以及与**、性能和可靠性有关的各种属性。本书采用大量的实例和习题,循序渐进地介绍各种测试技术(包括有限状态模型、组合设计和回归测试的*小化等)。

Aditya R Mathur普度大学计算机系主任、教授,印度BITS Pilafli大学计算机系创始人之一。他是一位成果颇丰的学者,在**期刊和会议上发表了100多篇论文。他的重要学术成果包括多语言计算机、软件测试的饱和效应、软件控制论、软件可靠性估算的新技术等。