的主要工作是测试用例的选择.由于人为地选择测试用例带有很大的盲目性和倾向性,因此开发一个能够自动生成测试用例的工具是十分必要的.本文阐述了软件测试用例生成的一些概念和方法,重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用,并通过一个实例介绍了Ada软件测试用例生成工具TCGT(testcasegenerationtool...
A test case generation tool for conformance testing of SDL systems SDL'99[M].C. Bourhfir, R. Dssouli, E. Aboulhamid, and N. Rico. A test case generation tool for conformance testing of SDL systems. In SDL99 [50], pages 405-419....
For these “edge cases,” AutoTest, test case generation tool, can fill any gaps in code coverage if the code is not redundant. Automatic test case generation can be used on just selected functions to generate a focused set of test cases achieving 100% coverage. Cantata’s automatic code ...
You can generate test case programs that call the program under test, simulate sub programs called by the program under test as if they were stub programs, and simulate subsystems call. Use the Generate test case programs Generate toolbar button to gener
During the security evaluation of security products,one of the difficulties is the lack of proper test cases.Current automatic test case generation tools cannot completely solve the problem.The reason is that most specifications of information security products,such as the Secure Database Management Sys...
Cover - A Test-Case Generation Tool for Timed Systems 来自 Semantic Scholar 喜欢 0 阅读量: 8 作者:A Hessel,P Pettersson 摘要: COVER is a new test-case generation tool for timed systems. It generates test cases from a timed automata model of a system to be tested, and a coverage ...
BuxEx uses EvoSuite [41] as a test case generation tool, which implements an evolutionary search approach enhanced with dynamic symbolic execution; alternatively, other tools based on this or other approaches could also be integrated within. Regarding the evaluation of BugEx, the authors conducted ...
Our results demonstrate that the tool reduces the amount of manual effort from several minutes to just a few seconds, while preserving a high level of test coverage. 展开 关键词: coverage program testing symbolic execution test case generation test automation ...
In certain cases, we can use test case generation tools to assist us in testing parts of the compiler. One of our team members created a generator for exception handling tests. Because the matrix is so large for exception handling, and because the cases are easy to construct by modeling the...
This chapter is an introduction to the theory, techniques, and tool support for automatic test-case generation. We discuss how test models can be generated, for instance, from requirements specifications, and present different criteria and strategies for generating and selecting test cases from these...