中图网

>

软件工程/开发项目管理

软件测试——原理、模型、验证与实践

作者：王蓁蓁

出版社：清华大学出版社出版时间：2021-11-01

开本：其他页数： 416

本类榜单：计算机/网络销量榜

中图价:¥54.5(5.5折) 定价 ~~¥99.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
决战行测5000题(言语理解与表达)

决战行测5000题(言语理解与表达)

¥38.8¥88
>
软件性能测试.分析与调优实践之路

软件性能测试.分析与调优实践之路

¥49.3¥69
>
第一行代码Android

第一行代码Android

¥58.4¥99
>
深度学习

深度学习

¥92.4¥168
>
Unreal Engine 4蓝图完全学习教程

Unreal Engine 4蓝图完全学习教程

¥72.2¥168
>
深入理解计算机系统-原书第3版

深入理解计算机系统-原书第3版

¥104.3¥139
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)

Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)

¥21¥49.9

商品详情
商品评论(0条)

中图价:¥54.5 加入购物车

版权信息
本书特色
内容简介
目录
作者简介

软件测试——原理、模型、验证与实践版权信息

ISBN：9787302583486
条形码：9787302583486 ; 978-7-302-58348-6
装帧：70g胶版纸
册数：暂无
重量：暂无
所属分类：
计算机/网络
>
软件工程/开发项目管理

软件测试——原理、模型、验证与实践本书特色

众所周知，当今的人类社会已经离不开计算机，因此也离不开计算机软件。人们的生活越来越多的被计算机软件主宰，于是人们对软件质量的要求也就越来越高。计算机软件的可靠性、安全性、可用性等问题与所有人的生活与工作息息相关。可以说，保证软件安全可靠的软件测试工作不仅成了计算机科学领域的重要研究课题，更是IT企业在研发软件时必不可少的工作环节。据统计，软件测试几乎占据了软件制作全部成本的半壁江山。学习计算机科学与技术类专业的学生，也几乎都要学习“软件测试”课程。如此一来，有关软件测试专著的出版无论是对学习软件测试的学生或是对从事软件测试工作的技术人员，参考价值毋容置疑。本书在“证明”和“证伪”两个重要科学与哲学理念下梳理了整个软件测试领域，尽力详尽地论述软件测试的各种方法。虽然本书并没有全力注重技术细节，但本书对各种技术在思想原理的阐述上却非常透彻，用思想原理综合了各种测试方法，不仅开阔了视野，而且还有助于我们“知其然又知其所以然”。此外，作者还提出了一些技术模型和理论模型，用实例表明重视思想原理对于软件测试具体实践的重要性。对于即将学习“软件测试”课程的本科生、研究生和广大教师，这本书是一本较好参考读物。对于研究软件测试的专家和从事软件测试工作的技术人员，这本书也值得阅读。系统论述软件测试的思想、原理、方法与实践！南京大学徐宝文|同济大学朱少民|南京大学陈振宇|东南大学邓建明联袂推荐徐宝文南京大学计算机科学与技术系教授近年来，国内外出版了大量的有关软件测试的高质量专著。这些专著大都偏重具体技术层面，而忽视了软件测试的思想原理——《软件测试——原理、模型、验证与实践》填补了这个空白。该书主要阐述软件测试的思想——基于“证明”和“证伪”两种原理，并把当前流行的软件测试方法进行了系统梳理。在综合各种理论基础上，作者也给出了一些有代表性的技术模型和理论模型，例如Walsh函数模型检验技术、随机模糊软件缺陷定位技术、软件拓扑空间和测试原理之间的关系模型等，借此来深入论述软件测试的思想原理对于软件测试实践的指导意义。朱少民同济大学软件学院特聘教授《软件测试——原理、模型、验证与实践》是一部深入论述软件测试原理、系统阐述软件测试模型的著作。该书叙述深入浅出，理论结合实践，符合读者认知规律，便于理解。例如，针对软件测试的正交实验设计方法，本书不仅从二水平正交表、正交拉丁方到*一般的正交表循序渐进地介绍了构造正交表的数学理论，而且给出了交互列的概念及其在正交试验中的作用，从而引出正交试验组合测试方法，使人耳目一新。本书会成为普通高校软件工程专业本科生、研究生和软件测试工程师的良师益友，也会进一步促进国内软件测试的学术研究。陈振宇南京大学软件学院教授《软件测试——原理、模型、验证与实践》从思想、原理方面对软件测试作了深入论述，能引起人们对软件测试思想的重视。这不仅对软件理论体系的发展，而且对软件制作技术的发展，都将产生积极作用。因此，这本书不仅可供计算机科学与技术类专业作为“软件测试”的参考教材，而且适合作为从事软件测试工作的技术人员的参考读物，可以起到帮助读者打开思路、开拓视野的良好效果。邓建明东南大学计算机科学与工程学院教授软件测试是软件开发过程中必不可少的环节，该领域的研究一直方兴未艾。学习软件测试理论、方法和工具，对于即将投身软件开发工作的学生们是非常必要的。但是目前市面上系统阐述软件测试思想和原理的优秀图书依然不多。《软件测试——原理、模型、验证与实践》的出版恰逢其时。该书立足理论基础，将软件测试实践和它所依据的原理统一在一个完整的框架下进行研究，对现存的软件测试方法进行比较全面的梳理，对读者真正理解并掌握软件测试的理论与实践很有帮助。系统论述软件测试的思想、原理、方法与实践！南京大学徐宝文|同济大学朱少民|南京大学陈振宇|东南大学邓建明联袂推荐

软件测试——原理、模型、验证与实践内容简介

按证明论和证伪论两种哲学思想原理，把现今存在的软件测试工作进行了梳理，阐述了各种思想原理对软件测试技术的发展的贡献。还提出了一些技术模型和理论模型，用实例表明重视思想原理对于软件测试具体实践的重要性。对于计算机科学《软件测试》课程的学生、研究生和教师，这本书是一本较好参考读物。对于研究软件测试的专家和从事软件测试工作的技术人员，这本书也值得阅读。

软件测试——原理、模型、验证与实践目录

第1章绪论
1.1软件产品工程：集成测试与开发
1.2软件测试遵循的思想原理
第1篇软件测试证明论思想原理
第2章软件开发过程中的验证活动
2.1需求分析概述
2.2需求验证概述
2.3系统设计概述
2.4设计验证概述
2.5模块编码概述
2.6单元测试概述
第3章原型和图形
3.1原型
3.1.1概述
3.1.2示例
3.2图形
3.2.1图形在需求分析中的作用
3.2.2图形在形式表示中的应用
3.2.3图形在形式证明中的应用
第4章模型检验简介
4.1标准方法
4.1.1基本概念
4.1.2标准模型检验步骤
4.1.3示例： LTL模型检验基于Büchi自动机的算法
4.1.4符号模型检验
4.1.5CTL符号模型检验
4.1.6其他降低问题复杂性的方法
4.1.7其他标准方法
4.2抽象解释
4.2.1根据存在（或经验）的抽象
4.2.2抽象解释理论框架
4.2.3基本抽象解释理论的模型检验
4.2.4运用抽象解释理论对（抽象模型）标准方法的改良
4.2.5抽象模型检验总结
4.3综合方法
4.3.1谓词抽象
4.3.2模型检验和定理证明
4.3.3其他方面的努力
4.4应用和其他重要方法概览
4.4.1模型检验理论在程序分析中的应用简介
4.4.2其他重要方法
4.5小结
第5章抽象解释的两个理论模型
5.1抽象解释全总域模型
5.1.1构造全总域模型
5.1.2理论性问题
5.2抽象解释部分等价逻辑关系模型
5.2.1具体语义域和语义函数
5.2.2抽象解释
5.2.3理论问题
第6章程序正确性形式演绎证明
6.1公理化
6.1.1霍尔逻辑及其证明规则
6.1.2霍尔逻辑系统的可靠性和完备性
6.2不变式
6.2.1程序流程图
6.2.2不变式概念
6.2.3不变式之间的一致性
6.2.4一个更强的属性
6.2.5流程图程序验证实例
6.2.6不变式方法评论
6.3*弱前置条件
6.3.1*弱前置条件的概念
6.3.2谓词转换函数WP性质
6.3.3程序设计语言控制成分的语义
6.3.4程序正确性证明方法
第7章程序正确性概率演绎证明
7.1概率论数学基础知识
7.1.1概率空间
7.1.2随机变量理论知识
7.1.3马尔可夫过程
7.2概率模型
7.2.1离散时间马尔可夫链
7.2.2连续时间马尔可夫链
7.3概率模型验证
7.3.1系统DTMC模型的检测
7.3.2系统CTML模型的检测
7.4操作概要
7.4.1操作的概念
7.4.2操作概要表示
7.4.3操作概要的用途
第8章集成测试中的验证活动
8.1组合测试引言
8.2关于正交表的基础知识
8.2.1正交表的一般定义
8.2.2二水平正交表
8.2.3正交拉丁方
8.2.4Ltu(tm)型正交表
8.2.5一般正交表Ln(t1×t2×…×tm)
8.3正交试验组合测试方法
8.4其他组合测试方法概览
8.4.1基于覆盖组合的“类型”设计测试用例集
8.4.2可变强度和具有约束的组合测试
8.5组合测试模式分析模型及其理论
8.5.1Walsh函数基础知识
8.5.2Walsh函数模式分析模型及其基础理论
8.5.3模型在组合测试中的应用
第2篇软件测试中的证伪论思想原理
第9章软件开发过程中的“证伪”活动
9.1软件开发过程中的“证伪”活动概述
9.2集成测试
9.2.1概述
9.2.2负面测试
9.2.3遗传算法
9.3系统测试
9.3.1概述
9.3.2系统测试对计算机科学发展的作用
9.3.3系统测试对度量科学的贡献
9.3.4系统测试提供的新测试方法和技术
9.4验收测试
第10章软件测试理论
10.1程序测试经典理论
10.1.1Goodenough和Gerhart理论
10.1.2Weyuker和Ostrand理论
10.1.3Gourlay理论
10.2软件测试理论分析
10.2.1软件存在缺陷的两个理论根源
10.2.2软件测试方法理论分类
10.3类随机测试方法示例
10.3.1随机TBFL算法模型
10.3.2实例分析
10.3.3算法功效进一步说明和小型实验
10.3.4类随机测试方法总结
第11章随机TBFL算法讨论
11.1软件缺陷存在原因再分析
11.2随机模糊综合TBFL
11.2.1算法概述
11.2.2算法框架及其原理分析
11.2.3实例分析
第12章众包软件测试技术
12.1众包技术
12.2众包软件测试技术
12.2.1概述
12.2.2利用历史资料调试程序的众包技术示例
12.2.3利用实时信息调试程序的众包技术示例
12.3软件拓扑空间与测试原理
12.3.1预备知识
12.3.2程序拓扑空间表示及其非标准分析
12.3.3在软件测试领域中的应用
12.3.4总结
参考文献
后记

展开全部

软件测试——原理、模型、验证与实践作者简介

王蓁蓁金陵科技学院软件工程学院副教授，江苏省软件测试工程实验室主任。于2009年毕业于东南大学计算机科学与工程学院，获工学博士学位，同年进入南京大学计算机科学与技术系博士后流动站。2012年起在金陵科技学院软件工程学院从事教学和科研工作。主要研究方向是软件测试、程序分析、人工智能、马尔可夫决策过程。已主持并参与多项校级、省级及国j级科研项目，参与完成国家自然科学基金重大研究计划1项。2014年9月至11月在澳大利亚昆士兰科技大学进行短期访问；2015年3月至2016年6月获得江苏省优秀中青年教师和校长境外研究资助，在美国科罗拉多大学波得尔分校计算机科学系进行访学研究。在国内外学术期刊和国际会议上发表论文40余篇。2017年出版专著《认知行为思维模型》。

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐