Results 1 - 10 of 160,039

Generating Test Cases for Specification Mining

by Valentin Dallmeier, Christoph Mallon, Sebastian Hack, Andreas Zeller
"... Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO 1 typestate miner generates test cases that cover previously unobserved behavior, systematically extending the execut ..."
Abstract - Cited by 45 (1 self) - Add to MetaCart
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO 1 typestate miner generates test cases that cover previously unobserved behavior, systematically extending

A Tool for Generating Test Cases

by Andrew M. Beitz, Terence P. Rout
"... The development of functional test cases based on the system specification is a key part of software development. Test cases can also be generated from the actual code of the system. This type of testing is known as structural testing. Current software testing practices focus, almost exclusively, on ..."
Abstract - Add to MetaCart
The development of functional test cases based on the system specification is a key part of software development. Test cases can also be generated from the actual code of the system. This type of testing is known as structural testing. Current software testing practices focus, almost exclusively

Specifying and Generating Test Cases Using Observer Automata

by Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson - Proc. 4 th International Workshop on Formal Approaches to Testing of Software 2004 (FATES’04), volume 3395 of Lecture Notes in Computer Science , 2005
"... Abstract. We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EFSM). To specify coverage criteria we use observer automata with parameters, which monitor and accept traces tha ..."
Abstract - Cited by 19 (7 self) - Add to MetaCart
that cover a given test criterion of an EFSM. The flexibility of the technique is demonstrated by specifying a number of well-known coverage criteria based on control- and data-flow information using observer automata with parameters. We also develop a method for generating test cases from coverage criteria

Generating Test Cases from UML Specifications

by Aynur Abdurazik, Jeff Offutt , 1999
"... Unified Modeling Language (UML) is a third generation modeling language in objectoriented software engineering. It provides constructs to specify, construct, visualize, and document artifacts of software-intensive systems. This paper presents a technique that uses Offutt's state-based speci# ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
#cation test data generation model to generate test cases from UML statecharts. A tool TCGen has been developed to demonstrate this technique with specifications written in Software Cost Reduction (SCR) method and Unified Modeling Language (UML). Experimental results from using this tool are presented.

Using Semantics Specified in Maude to Generate Test Cases

by unknown authors
"... Abstract. Testing is one of the most important and most time-consuming tasks in the software developing process and thus techniques and systems to generate and check test cases have become crucial. For these reasons, when specifying a prototype of a programming language it may be very useful to have ..."
Abstract - Add to MetaCart
Abstract. Testing is one of the most important and most time-consuming tasks in the software developing process and thus techniques and systems to generate and check test cases have become crucial. For these reasons, when specifying a prototype of a programming language it may be very useful

Approaches for Generating Test Cases Automatically to Test the Software

by Paramjit Kaur, Rupinder Kaur
"... Abstract- Testing the software is very important phase in software development life cycle. So to test the software automatically is the best way to test the software because it consume less time where testing software manually is consuming process. To test the software automatically, test case gener ..."
Abstract - Add to MetaCart
generation is the best way. One way to generate the test cases is with the help of UML diagrams. In this paper we study the various techniques to generate the test cases from the UML diagrams to test the software automatically. Different tools are used to generate the UML diagrams. A new method is also

Execution generated test cases: How to make systems code crash itself

by Cristian Cadar, Dawson Engler , 2005
"... This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) execution. The input values to a program (or software component) provide the standard interface of any testing framework with the pr ..."
Abstract - Cited by 123 (8 self) - Add to MetaCart
This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) execution. The input values to a program (or software component) provide the standard interface of any testing framework

COMPUTATIONAL INVESTIGATIONS OF QUASIRANDOM SEQUENCES IN GENERATING TEST CASES FOR SPECIFICATION-BASED TESTS

by R. M. Fujimoto, Hongmei Chi, Edward L. Jones
"... This paper presents work on generation of specificationdriven test cases based on quasirandom (low-discrepancy) sequences instead of pseudorandom numbers. This approach is novel in software testing. This enhanced uniformity of quasirandom sequences leads to faster generation of test cases covering a ..."
Abstract - Add to MetaCart
This paper presents work on generation of specificationdriven test cases based on quasirandom (low-discrepancy) sequences instead of pseudorandom numbers. This approach is novel in software testing. This enhanced uniformity of quasirandom sequences leads to faster generation of test cases covering

9 Novel Approach to Generate Test Cases from UML Sequence Diagrams

by Jugnesh Kumar, B. U. Ajmer, Dr. A. K. Yadav, Professor R. T. U. Kota
"... This paper presents a novel approach of generating test cases from UML design diagrams. Our approach consists of transforming a UML sequence diagram into a graph called the sequence diagram graph (SDG) and augmenting the SDG nodes with different information necessary to compose test vectors. These i ..."
Abstract - Add to MetaCart
This paper presents a novel approach of generating test cases from UML design diagrams. Our approach consists of transforming a UML sequence diagram into a graph called the sequence diagram graph (SDG) and augmenting the SDG nodes with different information necessary to compose test vectors

Using a goal-driven approach to generate test cases for GUIs

by Atif M. Memon, Martha E. Pollack, Mary Lou Soffa - In ICSE ’99: Proceedings of the 21st international conference on Software engineering , 1999
"... The widespread use of GUIs for interacting with soft-ware is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the correctness of a GUI and the underlying software. We present a new technique to au-tomatically generate test cases for G ..."
Abstract - Cited by 36 (10 self) - Add to MetaCart
The widespread use of GUIs for interacting with soft-ware is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the correctness of a GUI and the underlying software. We present a new technique to au-tomatically generate test cases
Results 1 - 10 of 160,039