基于模型的测试用例优化生成与自动执行

项目名称： 基于模型的测试用例优化生成与自动执行

项目编号： No.61170044

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 计算机科学学科

项目作者： 缪淮扣

作者单位： 上海大学

项目金额： 57万元

中文摘要： 改进软件测试技术，提高软件测试效率和降低软件测试成本已成为关于测试方法研究和应用的重要目标。本课题采用形式方法研究基于模型的测试用例优化生成及测试自动执行，在确保测试用例集的错误探测能力的同时降低测试成本。主要包括：研究形式化可测试性模型的构建方法、基于模型分解与抽象的测试用例优化生成方法、基于场景规约和反例制导的测试用例集优化生成方法、优化的测试覆盖准则及测试优化生成方法、测试用例生成过程中的冗余约简方法；针对不同的测试意图，研究测试用例集的优化选择方法；研究测试用例的实例化与自动执行的方法；开发相应的支持工具。项目研究将丰富基于模型的测试理论，为软件测试优化方法提供理论基础和方法论的指导。该项研究对于提高软件的可信性和质量有重大意义。研究成果能够有效推动基于模型的测试方法在工业界中的应用。

中文关键词： 基于模型的测试；形式方法；测试用例优化生成；测试用例约简；测试执行

英文摘要：

英文关键词： Model based testing；Formal methods；Test cases optimizing generation；Test cases reduction；Test cases execution