软件测试概念与实践
￥ 22.04 4.4折 ￥ 49.8 九五品
仅1件
作者[美]Ali Mili,Fairouz Tchier著 颜炯
出版社清华大学出版社
ISBN9787302441496
出版时间2016-08
版次1
装帧平装
开本16开
纸张胶版纸
页数520页
字数99999千字
定价49.8元
上书时间2024-07-07
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:软件测试概念与实践
定价：49.80元
作者:[美]Ali Mili,Fairouz Tchier著 颜炯 译
出版社：清华大学出版社
出版日期：2016-08-01
ISBN：9787302441496
字数：397000
页码：520
版次：1
装帧：简装
开本：
商品重量：
编辑推荐
内容提要
本书探讨了软件测试面临的主要问题，软件测试概念、原则和演化过程，涵盖了软件质量工程和测试概念、测试数据生成、测试部署、测试输出分析，以及软件测试管理。
本书特色
本书没有将软件测试当作一项孤立的技术，而是将其视为完整的软件验证和确认原则的组成部分。
根据边际效用递减规律，建议在同一个数学模型基础上开展程序测试和程序正确性验证工作，从而能够协调应用两种技术。
定义了软件缺陷概念和相对正确性概念，指出相对正确性是如何描述单调缺陷去除的。
将软件测试活动描述为一种面向目标的活动，研究了如何根据选择的测试目标指导测试活动。
涵盖了软件测试生命周期全过程，包括测试数据生成、测试预言设计、测试驱动设计，以及测试输出分析。
对软件质量和软件工程专业学生而言，《软件测试概念与实践》一书是很好有用的，因为本书为学生提供了职业生涯的基础知识，而且这些基础知识在各种原则不断演化的条件下也不会过时。
目录
第Ⅰ部分软件测试介绍章软件工程：一种与众不同的原则1.1年轻而动荡的原则1.2压力下的行业1.3规模庞大的复杂产品1.4昂贵的产品1.5缺乏重用实践1.6容易出错的设计1.7矛盾的经济学1.7.1劳动力密集的产业1.7.2缺少自动化1.7.3质量控制手段有限1.7.4不平衡的生命周期成本1.7.5不平衡的维护成本1.8本章小结1.9参考书目注释第2章软件质量属性2.1功能属性2.1.1布尔属性2.1.2统计属性2.2操作属性2.3可用性属性2.4业务属性2.5结构属性2.6本章小结2.7练习2.8参考书目注释第3章软件测试生命周期3.1软件工程生命周期3.2软件测试生命周期3.3软件测试的V模型3.4本章小结3.5参考书目注释第Ⅱ部分软件测试基础第4章软件规约4.1坚实可靠规约的原则4.2关系数学4.2.1集合与关系4.2.2关系操作4.2.3关系的属性4.3简单的输入输出程序4.3.1表达规约4.3.2对规约排序4.3.3规约生成4.3.4规约确认4.4可靠性和安全性4.5基于状态的系统4.5.1关系模型4.5.2公理表达4.5.3规约确认4.6本章小结4.7练习4.8问题4.9参考书目注释第5章程序正确性和验证5.1正确性的定义5.2正确性：命题5.2.1正确性和精化5.2.2集合论的特征5.2.3解释5.3验证5.3.1公式样例5.3.2推理系统5.3.3用于解释的示例5.4本章小结5.5练习5.6问题5.7参考书目注释第6章失效、错误和缺陷6.1失效、错误和缺陷6.2缺陷和相对正确性6.2.1缺陷，一个含糊的概念6.2.2相对正确性6.3视情况而定的缺陷和确定性缺陷6.3.1视情况而定的缺陷6.3.2单调的缺陷去除6.3.3一个单调缺陷去除的框架6.3.4确定性缺陷6.4缺陷管理6.4.1多道防线6.4.2混合确认6.5本章小结6.6练习6.7问题6.8参考书目注释第7章软件测试分类7.1联合测试存在的问题7.2分类方案7.2.1主要属性7.2.2次要属性7.3测试分类7.3.1单元级测试7.3.2系统级测试7.4练习7.5参考书目注释第Ⅲ部分测试数据生成第8章测试生成概念8.1测试生成和目标属性8.2测试输出8.3测试生成需求8.4测试生成准则8.5基于经验的充分性评价8.6本章小结8.7练习8.8参考书目注释8.9附录：变异程序第9章功能准则9.1域划分9.2使用表格表达式生成测试数据9.3基于状态的系统的测试生成9.4随机测试数据生成9.5将测试数据选择比喻为一次旅行9.6本章小结9.7练习9.8参考书目注释0章结构化准则10.1路径和路径条件10.1.1执行路径10.1.2路径函数10.1.3路径条件10.2控制流覆盖10.2.1语句覆盖10.2.2分支覆盖10.2.3条件覆盖10.2.4路径覆盖10.3数据流覆盖10.3.1定义和使用10.3.2测试生成准则10.3.3测试准则的层次结构10.4基于缺陷的测试生成10.4.1感知缺陷10.4.2为感知缺陷选择输入数据10.4.3针对错误传播选择输入数据10.5本章小结10.6练习10.7参考书目注释第Ⅳ部分测试部署与分析1章测试预言设计11.1测试预言设计的困境11.2从规约到预言11.3基于状态的软件产品的测试预言11.3.1从公理到测试预言11.3.2从规则到预言11.4本章小结11.5练习2章测试驱动设计12.1选择一种规约12.2选择一种过程12.3选择一种规约模型12.3.1随机测试生成12.3.2预先生成的测试数据12.3.3缺陷和缺陷检测12.4使用符号执行进行测试12.5本章小结12.6练习12.7参考书目注释3章分析测试输出13.1逻辑解释13.1.1具体测试13.1.2符号测试13.1.3具体-符号测试13.2随机解释：缺陷密度13.3随机解释：失效概率13.3.1缺陷与缺陷并不相同13.3.2定义/量化可靠.3.3软件可靠性建模13.3.4认证测试13.3.5可靠性估计和可靠性增长13.3.6可靠性标准13.3.7作为经济函数的可靠.4本章小结13.5练习13.6问题13.7参考书目注释第Ⅴ部分软件测试管理4章软件测试的度量14.1缺陷倾向性14.1.1圈复杂度14.1.2规模14.2缺陷可检测性14.3错误可检测性14.4错误可掩盖性14.5避免失效14.6容错14.7解释示例14.7.1圈复杂度14.7.2规模14.7.3状态冗余14.7.4函数冗余14.7.5非性14.7.6不确定性14.7.7小结14.8本章小结14.9练习14.10参考书目注释5章软件测试工具15.1分类方案15.2脚本工具15.2.1CppTest15.2.2SilkTest15.3录制-回放工具15.3.1TestComplete15.3.2SeleniumIDE15.4性能测试工具15.4.1LoadRunner15.4.2Grinder15.4.3QF-Test15.4.4AppvancePerformanceCloud15.4.5JMeter15.5预言设计工具15.5.1JUnit15.5.2TestNG15.6异常检测15.6.1RationalPurify15.6.2Astree15.7协同工具15.8本章小结6章测试产品线16.1PLE：流水线重用模型16.2测试问题16.3测试方法16.4解释16.4.1领域分析16.4.2领域建模16.4.3参考架构16.4.4领域实现16.4.5在领域工程阶段进行测试16.4.6在应用程序工程阶段进行测试16.5本章小结16.6练习16.7问题16.8引用的参考书目参考文献
作者介绍
序言
-
【封面】
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价