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

作者简介

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

内容简介

众所周知，当今的人类社会已经离不开计算机，因此也离不开计算机软件。人们的生活越来越多的被计算机软件主宰，于是人们对软件质量的要求也就越来越高。计算机软件的可靠性、安全性、可用性等问题与所有人的生活与工作息息相关。可以说，保证软件安全可靠的软件测试工作不仅成了计算机科学领域的重要研究课题，更是IT企业在研发软件时必不可少的工作环节。据统计，软件测试几乎占据了软件制作全部成本的半壁江山。学习计算机科学与技术类专业的学生，也几乎都要学习“软件测试”课程。如此一来，有关软件测试专著的出版无论是对学习软件测试的学生或是对从事软件测试工作的技术人员，参考价值毋容置疑。本书在“证明”和“证伪”两个重要科学与哲学理念下梳理了整个软件测试领域，尽力详尽地论述软件测试的各种方法。虽然本书并没有全力注重技术细节，但本书对各种技术在思想原理的阐述上却非常透彻，用思想原理综合了各种测试方法，不仅开阔了视野，而且还有助于我们“知其然又知其所以然”。此外，作者还提出了一些技术模型和理论模型，用实例表明重视思想原理对于软件测试具体实践的重要性。对于即将学习“软件测试”课程的本科生、研究生和广大教师，这本书是一本较好参考读物。对于研究软件测试的专家和从事软件测试工作的技术人员，这本书也值得阅读。