2005
DOI: 10.1007/11558569_18
|View full text |Cite
|
Sign up to set email alerts
|

Jartege: A Tool for Random Generation of Unit Tests for Java Classes

Abstract: Abstract. This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Java which allows one to write invariants for classes, and pre-and postconditions for operations. As in the JML-JUnit tool, we use JML specifications on the one hand to eliminate irrelevant test cases, and on the other hand as a test oracle. Jartege randomly generates test cases, which consist of a sequence of constructor and … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
53
0
1

Year Published

2006
2006
2014
2014

Publication Types

Select...
5
3
2

Relationship

0
10

Authors

Journals

citations
Cited by 76 publications
(55 citation statements)
references
References 30 publications
(34 reference statements)
0
53
0
1
Order By: Relevance
“…Instead of deriving test cases from the UML activity diagram directly, we present an indirect approach which selects the test cases from the set of the randomly generated test case according to a given activity diagram. By using the method similar to [6], we first randomly generate abundant random test cases. Then, by running the program with these test cases, we can get the corresponding program execution traces.…”
Section: Introductionmentioning
confidence: 99%
“…Instead of deriving test cases from the UML activity diagram directly, we present an indirect approach which selects the test cases from the set of the randomly generated test case according to a given activity diagram. By using the method similar to [6], we first randomly generate abundant random test cases. Then, by running the program with these test cases, we can get the corresponding program execution traces.…”
Section: Introductionmentioning
confidence: 99%
“…For evaluating the efficiency and effectiveness, we compared ADFD+ with Randoop, following the common practice of comparison of the new tool with a mature random testing tool [6]- [8]. Testing of several error-seeded one and two-dimensional numerical programs was carried out as per program code [4].…”
Section: Discussionmentioning
confidence: 99%
“…A test method contains one tested method call, a sequence of constructor calls or method calls that set up the states of the input objects, and several assertions about the result of the tested method call [23]. To generate such JUnit test cases, ARTGen involves several steps:…”
Section: Art Test Case Generation Techniquementioning
confidence: 99%