Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Addition of 202 new faults (9 projects) to core D4J #112

Merged
merged 11 commits into from
Feb 9, 2018
Merged

Addition of 202 new faults (9 projects) to core D4J #112

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
b0b2c26
Merge pull request #4 from rjust/master
Greg4cr May 19, 2017
a406add
Merge pull request #12 from rjust/master
Greg4cr Aug 8, 2017
025b2d9
Merge pull request #13 from rjust/master
Greg4cr Aug 11, 2017
5c81144
Merge pull request #15 from rjust/master
Greg4cr Aug 24, 2017
c1aa5f1
Addition of Guava and JacksonCore to main D4J
Greg4cr Aug 28, 2017
d1cdf23
Adds seven new projects to master branch
Greg4cr Aug 30, 2017
3b43f18
Fixing jar filename for Databind
Greg4cr Aug 31, 2017
87552e2
Fixes to modified classes files
Greg4cr Oct 10, 2017
e61d9e4
Initial commit
Greg4cr Jan 16, 2018
a436a83
Fix to init
Greg4cr Jan 16, 2018
38ba23b
Fix to config script
Greg4cr Jan 16, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
34 changes: 24 additions & 10 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,16 +5,25 @@ advancing software testing research.

The projects
---------------
Defects4J contains 395 bugs from the following open-source projects:

| Identifier | Project name | Number of bugs |
|------------|----------------------|----------------|
| Chart | JFreechart | 26 |
| Closure | Closure compiler | 133 |
| Lang | Apache commons-lang | 65 |
| Math | Apache commons-math | 106 |
| Mockito | Mockito | 38 |
| Time | Joda-Time | 27 |
Defects4J contains 596 bugs from the following open-source projects:

| Identifier | Project name | Number of bugs |
|-----------------|--------------------------------------|----------------|
| Chart | JFreechart | 26 |
| Closure | Closure compiler | 133 |
| CommonsCodec | Apache commons-encoders and decoders | 22 |
| CommonsCLI | Apache commons-CLI library | 24 |
| CommonsCSV | Apache commons-csv | 12 |
| CommonsJXPath | Apache commons-JXPath | 14 |
| Guava | Guava library | 9 |
| JacksonCore | Jackson core module | 13 |
| JacksonDatabind | Jackson data binding utilities | 39 |
| JacksonXml | Jackson XML utilities | 5 |
| Jsoup | jsoup HTML parser | 64 |
| Lang | Apache commons-lang | 65 |
| Math | Apache commons-math | 106 |
| Mockito | Mockito | 38 |
| Time | Joda-Time | 27 |

The bugs
---------------
Expand All @@ -38,6 +47,7 @@ Requirements
- Perl >= 5.0.10
- Git >= 1.9
- SVN >= 1.8
- Apache Maven >= 3.0

All bugs have been reproduced and triggering tests verified, using the latest
version of Java 1.7.
Expand All @@ -49,6 +59,10 @@ Defects4J generates and executes tests in the timezone `America/Los_Angeles`.
If you are using the bugs outside of the Defects4J framework, export the `TZ`
environment variable accordingly.

Multiple Defects4J projects require the environment variable `M2_HOME` to be set
to the location of the Maven installation. On most Linux systems, the default
installation location is `/usr/share/maven`.

Getting started
----------------
#### Setting up Defects4J
Expand Down
58 changes: 55 additions & 3 deletions framework/bin/run_evosuite.pl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -107,9 +107,61 @@ =head2 Supported test criteria and default search budgets
=back

=cut
my %criteria = ( branch => 100,
weakmutation => 100,
strongmutation => 200
my %criteria = ( branch => 120,
weakmutation => 120,
strongmutation => 120,
onlymutation => 120,
defuse => 120,
cbranch => 120,
ibranch => 120,
statement => 120,
rho => 120,
ambiguitiy => 120,
alldefs => 120,
exception => 120,
regression => 120,
readability => 120,
onlybranch => 120,
methodtrace => 120,
method => 120,
methodnoexception => 120,
onlyline => 120,
line => 120,
output => 120,
input => 120,
trycatch => 120,
default => 120,
"branch:line" => 120,
"branch:line:cbranch" => 120,
"branch:line:cbranch:weakmutation" => 120,
"branch:line:cbranch:weakmutation:method" => 120,
"branch:cbranch" => 120,
"branch:weakmutation" => 120,
"branch:weakmutation:cbranch" => 120,
"branch:weakmutation:cbranch:exception" => 120,
"cbranch:branch:line:weakmutation:output" => 120,
"branch:exception" => 120,
"branch:exception:cbranch" => 120,
"branch:weakmutation" => 120,
"branch:weakmutation:method" => 120,
"branch:output" => 120,
"branch:output:line" => 120,
"branch:output:line:weakmutation" => 120,
"branch:weakmutation:line" => 120,
"cbranch:weakmutation" => 120,
"branch:line:weakmutation:exception" => 120,
"branch:cbranch:weakmutation:output" => 120,
"branch:exception:line" => 120,
"branch:exception:line:methodnoexception" => 120,
"cbranch:weakmutation:output" => 120,
"branch:line:output:exception" => 120,
"cbranch:branch:line:exception" => 120,
"cbranch:exception" => 120,
"branch:exception:method" => 120,
"branch:line:method" => 120,
"branch:exception:line:method" => 120,
"branch:line:output:exception:method" => 120,
"branch:line:weakmutation:exception:method" => 120
);

=pod
Expand Down
Loading