Patent
Method and system for integrating test coverage measurements with model based test generation
Reads0
Chats0
TLDR
In this article, a test coverage tool provides output that identifies differences between the actual coverage provided by a test suite run on a program under test and the coverage criteria required by the test/development team management.Abstract:
A test coverage tool provides output that identifies differences between the actual coverage provided by a test suite run on a program under test and the coverage criteria (e.g., the coverage criteria required by the test/development team management). The output from the test coverage tool is generated in the same language that was used to write the coverage criteria that are input to an automated test generator to create the test cases which form the test suite. As a result, the output from the coverage tool can be input back into the automated test generator to cause the generator to revise the test cases to correct the inadequacies. This allows iterative refinement of the test suite automatically, enabling automated test generation to be more effectively and efficiently used with more complex software and more complex test generation inputs. In preferred embodiments, test coverage analysis results of several different test suites, some manually generated and others automatically generated, are used to produce a streamlined automatically-generated test suite and/or to add missing elements to an automatically generated test-suite.read more
Citations
More filters
Patent
Automated test execution plan generation
TL;DR: In this article, a test execution plan can be automatically generated utilizing the user-configured testing parameters and a predefined test execution data model to satisfy at least one testing objective for the software application under test.
Patent
Reducing the complexity of finite state machine test generation using combinatorial designs
TL;DR: In this article, a finite state machine is reduced by creating efficient samples of the inputs to the application under test which are prepared by combinatorial input parameter selection, and test cases are generated by finite state machines traversal of the reduced state machine, and tests interacting combinations of input parameters.
Proceedings ArticleDOI
Probabilistic regression suites for functional verification
Shai Fine,Shmuel Ur,Avi Ziv +2 more
TL;DR: Experimental results show that this practical technique can be used to improve the quality, and reduce the cost, of regression suites and enables better informed decisions regarding the size and distribution of the regression suites, and the risk involved.
Patent
Recursive use of model based test generation for middleware validation
TL;DR: In this article, the authors use a two layered modeling strategy for the generation of test suites, where a high level model of the syntax of the programming language used to program the middleware generates a series of high level abstract programs.
Patent
Model based testing language and framework
TL;DR: In this paper, a model-based testing framework is provided that can be incorporated into and used to supplement existing testing approaches, via annotation of custom attributes and requirements, which provides the ability to author models in the same language as code (e.g., test code) that interacts with the model.
References
More filters
Patent
System and method for automatically testing software programs
TL;DR: A test automation system for performing functional tests of a software program is described in this paper, which includes a plurality of test functions each configured to test a discrete component of the software program.
Patent
Computer software testing method and apparatus
TL;DR: In this paper, an automatic testing technique generates an incremental coverage report indicating coverage only for portions of the program that are unreached by previous testing, allowing software testing processes to concentrate upon finding tests which increase the test coverage and reducing the sheer bulk of the coverage output.
Patent
Method and system for testing hardware and/or software applications
TL;DR: In this paper, a test case generator for generating a plurality of test cases, each test case corresponding to one of the plurality of applications, and a multi-layered interface for communicating between corresponding test cases and applications.
Patent
Multi-user application program testing tool
TL;DR: A test tool for testing application programs of the type that are deployed on a server computer for access by multiple users over a network is embodied in a computer program comprising a command module and a core module as mentioned in this paper.
Patent
Automatic software testing tool
TL;DR: In this article, a method of testing a software module using a genetic algorithm to generate a best test script is provided, where a set of state machines are created which represent a definition for either a user interface or an application program interface (API) of the software module in terms of the possible states.
Related Papers (5)
Development processes representation and management
Elke Kaelicke,Nelson Ambruoso,Michael Bannert,Gary Bellis,Chirantan Vinayak Bhatt,Glenn Crowe,Christopher Farrell,Harald Fisher,Gerhard Fried,Gertrud Giesche,Donna Gregory,Volkmar Jaeckle,Harald Kehr,Marc Liesner,Anette Lucks-Baus,Andrea MacDonald,Roman Mansmann,Phillip Mattox,Thomas Mueller,Nimish Patel,Michael Pezza,Dieter Pollinger,Theresa Rajczi,Richard Roberts,Andrea Roesinger,Michael Santilli,Andreas Schaefers,Harald Stuckert,Bernd Tesche,Dirk Wagener,Reinhard Wenig,Juergen Zahn,Kenneth Salwitz,Randolph Houck,Nadine Filbry,Fritz Leber +35 more