软件测试原因：
随着信息技术的飞速发展，计算机已广泛应用于国民经济和国防建设中的许多重要领域，如：航空、航天、工业控制、交通、银行和军事指挥自动化系统等。这类应用对软件提出很高的质量要求，因为即使很小的软件错误也可能导致整个系统的崩溃，造成极大的经济损失。软件质量已成为制约计算机应用的主要因素之一。
鉴于软件质量问题的重要性和迫切性，人们提出各种方法和技术来提高软件质量，如形式化方法、面向对象方法和软件测试技术等。软件测试作为保证软件质量的关键技术之一，能够有效地发现软件中的故障。
软件测试通过为特定测试目的而设计的测试用例的执行情况，与预期的软件行为进行一致性对比，从而判定软件错误所在，以此确保软件的可靠性和正确性。由于软件产品的固有的复杂性质，软件测试的难度也就不言而喻。传统的测试方法被认为是繁琐的、强工作量且容易出错。应运而生的基于模型的测试开始受到日渐广泛的关注。
基于模型的测试的介绍与发展现状：
软件模型，是指用抽象化的方式对软件行为和软件结构进行阐述，软件行为可以通过一系列的输入输出逻辑和数据流分析来表示，软件结构则是通过部署图、流程图等图形方式直观表述。
基于模型的测试（Model-Basedensp;Testing）是对被测系统的模型化，然后根据模型特性，完全或者部分地自动生成测试用例的一种软件测试技术。其特点是：在产生测试例和进行测试结果评价时，都是根据被测试应用程序的模型及其派生模型（一般称作测试模型）进行的。基于模型的测试对比其他方法有明显优点：一是基于模型的测试的使用有利于帮助找出不清晰的、易存在二义性的软件系统规格说明。二是基于模型的测试方法使得大量不重复的、有意义的测试用例产生变得可能。三是使用基于模型的测试一旦系统规格说明发生改变，只需要对测试模型进行修改就可以轻松地达到更新测试用例的目的。
目前基于模型的测试中常用的模型有基于转换的FSM、状态图，基于统计式的马尔科夫链，基于操作式的Petri网等。
基于图模型测试的求最短路径方法：
在上述的模型中，文献使用的模型是图，且只考虑抽象的图形，而不考虑使用什么软件工件来生成它们。为了得到图模型下的最小测试路径，文献中提到三种解决方案：蛮力，基于前缀图和基于集覆盖的解决方案。
以上是毕业论文文献综述，课题毕业论文、任务书、外文翻译、程序设计、图纸设计等资料可联系客服协助查找。
