基于SOFL的测试用例生成与测试结果分析方法研究-软件工程专业论文.docxVIP

摘 要 自动测试软件是一个有效并极具发展潜力的技术，在这项技术中，基于规格 说明书的自动测试技术在生成测试用例和测试结果分析上具有很大的优势，因为 测试用例的生成仅仅依赖于规格说明书本身，并不需要考虑使用程序的内部结 构，因此该方法是一个值得研究的方法。 本文研究的目的主要集中于测试用例生成方法和测试结果分析方法的研究。 本文中的方法所支持的语言是用结构化面向对象语言（SOFL）书写的规格说明 书。首先在生成测试用例方法研究中，通过使用基于功能表的分解测试用例技术 生成测试用例，其主要思想是将规格说明书转换成等价的或结构功能表。其次在 测试结果分析方法研究中，基于测试结果分析标准，通过将测试类型进行细化分 类，满足了所要求的覆盖标准。同时，本文提出了一个辅助工具，它使能够从不 同的谓词表达式中检测到错误。 自动测试工具填补了基于 SOFL 的软件形式化方法开发中软件测试工具的 空白，对于基于 SOFL 的软件形式化开发具有承上启下作用。 关键词：SOFL 规格说明书 测试用例 测试结果分析 Abstract Automatic software test is a technique with great potentialality and efficiency. Automatic Specification-based automatic test has great advantage to generate test cases and test results analysis, because the generation of test cases is only dependent on the specifications itself, which doesn‘t need to consider the use of the internal structure of the program. Therefore, it‘s worth of researching. The purpose of this study is mainly focused on test case generation methods and test results analysis methods. The supporting language is structured object-oriented language (SOFL) which is used to write specification. Firstly, in test case generation method, through the use of functional scenario-based decomposition test case generation technology to generate test case, The main idea is converting specification into an equivalent specifications or structure menu.Secondly, in test result analysis method, based on test result analysis standard,through the use of test type classification, required coverage criteria is met. Meanwhile, this article offers an auxiliary tool, which allows us to detected error from different predicate expression. Automatic test tools fill the lack of development based on SOFL software formal methods in software testing tool,which plays a nexus role for software formal development based on the SOFL . Keyword: SOFL Specification Test case Test result analysis 目录 HYPERLINK \l _bookmark0 第一章 绪论 1 HYPERLINK \l _bookmark1 1.1 背景 1 HYPERLINK \l _bookmark2 1.2 国内外研究现状 3 HYPERLINK \l _bookmark3 1.