基于模型的软件验证与测试

暂缺《基于模型的软件验证与测试》作者简介

随着计算机应用的飞速发展，整个社会对计算机软件的需求在不断扩大；软件的规模不断地扩大，数量也飞速地增长。与此同时，软件质量却并没有得到显著提高，软件故障所带来的损失不容忽视，如何有效地提高和保证软件质量，成为计算机领域重要的研究课题。但是，当前的测试技术，存在很多缺点，直接影响着软件质量。基于模型的软件测试在近年来得到了较为广泛的关注，它以明确描述系统预期行为的抽象模型为依据，根据模型覆盖测试准则自动生成抽象的测试序列，自动产生测试脚本，执行测试并自动评价测试结果，实现测试过程的自动化。总体上说，这方面的研究还处于方法探索阶段，比较实用的工具非常少。但这种方法可以使得软件测试和软件设计以及实现同时进行，改变了软件工程中“现在编程，以后测试”的工作方式，使得在整个软件生命期中都可以并行地进行测试工作，从而极大地提高了软件开发的效率。《计算机系列教程：基于模型的软件验证与测试》试图在总结过去研究工作的基础上，提出了新的方法并进行了实验论证。全书分为六章。每章通过介绍具体测试的背景、研究现状，进一步提出了方法，并以实验进行了论证。