integrated jtestaccessor developed by Manfred Stock (semester thesis)
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6238 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
c73db5ffa6
commit
116ba4d901
|
|
@ -0,0 +1,22 @@
|
|||
<?xml version='1.0' ?>
|
||||
<settings>
|
||||
<resource name='**ANTLR-ECLIPSE-PLUGIN**'>
|
||||
<property name='pluginVersion' value='2.7.6' />
|
||||
</resource>
|
||||
<resource name='src/main/antlr/lp.g'>
|
||||
<property name='traceTreeParser' value='false' />
|
||||
<property name='noTrace' value='true' />
|
||||
<property name='output' value='/jtestdataaccessor/target/generated-sources/antlr/ch/ethz/infsec/jtestdataaccessor/parser' />
|
||||
<property name='diagnosticOutput' value='false' />
|
||||
<property name='superGrammars' value='' />
|
||||
<property name='docbookOutput' value='false' />
|
||||
<property name='installSmap' value='true' />
|
||||
<property name='traceLexer' value='false' />
|
||||
<property name='debug' value='false' />
|
||||
<property name='traceParser' value='false' />
|
||||
<property name='normalOuput' value='true' />
|
||||
<property name='trace' value='false' />
|
||||
<property name='htmlOutput' value='false' />
|
||||
<property name='cleanWarnings' value='false' />
|
||||
</resource>
|
||||
</settings>
|
||||
|
|
@ -0,0 +1,11 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<classpath>
|
||||
<classpathentry kind="src" path="src/main/java"/>
|
||||
<classpathentry kind="src" output="target/test-classes" path="src/test/java"/>
|
||||
<classpathentry kind="src" path="src/main/antlr"/>
|
||||
<classpathentry kind="src" path="target/generated-sources/antlr"/>
|
||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
|
||||
<classpathentry kind="con" path="org.maven.ide.eclipse.MAVEN2_CLASSPATH_CONTAINER"/>
|
||||
<classpathentry kind="var" path="ANTLR_HOME/antlr.jar" sourcepath="ANTLR_HOME/antlrsrc.zip"/>
|
||||
<classpathentry kind="output" path="target/classes"/>
|
||||
</classpath>
|
||||
|
|
@ -0,0 +1,39 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<projectDescription>
|
||||
<name>jtestdataaccessor</name>
|
||||
<comment></comment>
|
||||
<projects>
|
||||
</projects>
|
||||
<buildSpec>
|
||||
<buildCommand>
|
||||
<name>org.antlr.eclipse.core.antlrbuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
<buildCommand>
|
||||
<name>org.eclipse.jdt.core.javabuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
<buildCommand>
|
||||
<name>org.maven.ide.eclipse.maven2Builder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
<buildCommand>
|
||||
<name>org.antlr.eclipse.core.warningcleanerbuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
<buildCommand>
|
||||
<name>org.antlr.eclipse.core.smapbuilder</name>
|
||||
<arguments>
|
||||
</arguments>
|
||||
</buildCommand>
|
||||
</buildSpec>
|
||||
<natures>
|
||||
<nature>org.antlr.eclipse.core.antlrnature</nature>
|
||||
<nature>org.eclipse.jdt.core.javanature</nature>
|
||||
<nature>org.maven.ide.eclipse.maven2Nature</nature>
|
||||
</natures>
|
||||
</projectDescription>
|
||||
|
|
@ -0,0 +1,339 @@
|
|||
GNU GENERAL PUBLIC LICENSE
|
||||
Version 2, June 1991
|
||||
|
||||
Copyright (C) 1989, 1991 Free Software Foundation, Inc.,
|
||||
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
||||
Everyone is permitted to copy and distribute verbatim copies
|
||||
of this license document, but changing it is not allowed.
|
||||
|
||||
Preamble
|
||||
|
||||
The licenses for most software are designed to take away your
|
||||
freedom to share and change it. By contrast, the GNU General Public
|
||||
License is intended to guarantee your freedom to share and change free
|
||||
software--to make sure the software is free for all its users. This
|
||||
General Public License applies to most of the Free Software
|
||||
Foundation's software and to any other program whose authors commit to
|
||||
using it. (Some other Free Software Foundation software is covered by
|
||||
the GNU Lesser General Public License instead.) You can apply it to
|
||||
your programs, too.
|
||||
|
||||
When we speak of free software, we are referring to freedom, not
|
||||
price. Our General Public Licenses are designed to make sure that you
|
||||
have the freedom to distribute copies of free software (and charge for
|
||||
this service if you wish), that you receive source code or can get it
|
||||
if you want it, that you can change the software or use pieces of it
|
||||
in new free programs; and that you know you can do these things.
|
||||
|
||||
To protect your rights, we need to make restrictions that forbid
|
||||
anyone to deny you these rights or to ask you to surrender the rights.
|
||||
These restrictions translate to certain responsibilities for you if you
|
||||
distribute copies of the software, or if you modify it.
|
||||
|
||||
For example, if you distribute copies of such a program, whether
|
||||
gratis or for a fee, you must give the recipients all the rights that
|
||||
you have. You must make sure that they, too, receive or can get the
|
||||
source code. And you must show them these terms so they know their
|
||||
rights.
|
||||
|
||||
We protect your rights with two steps: (1) copyright the software, and
|
||||
(2) offer you this license which gives you legal permission to copy,
|
||||
distribute and/or modify the software.
|
||||
|
||||
Also, for each author's protection and ours, we want to make certain
|
||||
that everyone understands that there is no warranty for this free
|
||||
software. If the software is modified by someone else and passed on, we
|
||||
want its recipients to know that what they have is not the original, so
|
||||
that any problems introduced by others will not reflect on the original
|
||||
authors' reputations.
|
||||
|
||||
Finally, any free program is threatened constantly by software
|
||||
patents. We wish to avoid the danger that redistributors of a free
|
||||
program will individually obtain patent licenses, in effect making the
|
||||
program proprietary. To prevent this, we have made it clear that any
|
||||
patent must be licensed for everyone's free use or not licensed at all.
|
||||
|
||||
The precise terms and conditions for copying, distribution and
|
||||
modification follow.
|
||||
|
||||
GNU GENERAL PUBLIC LICENSE
|
||||
TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
|
||||
|
||||
0. This License applies to any program or other work which contains
|
||||
a notice placed by the copyright holder saying it may be distributed
|
||||
under the terms of this General Public License. The "Program", below,
|
||||
refers to any such program or work, and a "work based on the Program"
|
||||
means either the Program or any derivative work under copyright law:
|
||||
that is to say, a work containing the Program or a portion of it,
|
||||
either verbatim or with modifications and/or translated into another
|
||||
language. (Hereinafter, translation is included without limitation in
|
||||
the term "modification".) Each licensee is addressed as "you".
|
||||
|
||||
Activities other than copying, distribution and modification are not
|
||||
covered by this License; they are outside its scope. The act of
|
||||
running the Program is not restricted, and the output from the Program
|
||||
is covered only if its contents constitute a work based on the
|
||||
Program (independent of having been made by running the Program).
|
||||
Whether that is true depends on what the Program does.
|
||||
|
||||
1. You may copy and distribute verbatim copies of the Program's
|
||||
source code as you receive it, in any medium, provided that you
|
||||
conspicuously and appropriately publish on each copy an appropriate
|
||||
copyright notice and disclaimer of warranty; keep intact all the
|
||||
notices that refer to this License and to the absence of any warranty;
|
||||
and give any other recipients of the Program a copy of this License
|
||||
along with the Program.
|
||||
|
||||
You may charge a fee for the physical act of transferring a copy, and
|
||||
you may at your option offer warranty protection in exchange for a fee.
|
||||
|
||||
2. You may modify your copy or copies of the Program or any portion
|
||||
of it, thus forming a work based on the Program, and copy and
|
||||
distribute such modifications or work under the terms of Section 1
|
||||
above, provided that you also meet all of these conditions:
|
||||
|
||||
a) You must cause the modified files to carry prominent notices
|
||||
stating that you changed the files and the date of any change.
|
||||
|
||||
b) You must cause any work that you distribute or publish, that in
|
||||
whole or in part contains or is derived from the Program or any
|
||||
part thereof, to be licensed as a whole at no charge to all third
|
||||
parties under the terms of this License.
|
||||
|
||||
c) If the modified program normally reads commands interactively
|
||||
when run, you must cause it, when started running for such
|
||||
interactive use in the most ordinary way, to print or display an
|
||||
announcement including an appropriate copyright notice and a
|
||||
notice that there is no warranty (or else, saying that you provide
|
||||
a warranty) and that users may redistribute the program under
|
||||
these conditions, and telling the user how to view a copy of this
|
||||
License. (Exception: if the Program itself is interactive but
|
||||
does not normally print such an announcement, your work based on
|
||||
the Program is not required to print an announcement.)
|
||||
|
||||
These requirements apply to the modified work as a whole. If
|
||||
identifiable sections of that work are not derived from the Program,
|
||||
and can be reasonably considered independent and separate works in
|
||||
themselves, then this License, and its terms, do not apply to those
|
||||
sections when you distribute them as separate works. But when you
|
||||
distribute the same sections as part of a whole which is a work based
|
||||
on the Program, the distribution of the whole must be on the terms of
|
||||
this License, whose permissions for other licensees extend to the
|
||||
entire whole, and thus to each and every part regardless of who wrote it.
|
||||
|
||||
Thus, it is not the intent of this section to claim rights or contest
|
||||
your rights to work written entirely by you; rather, the intent is to
|
||||
exercise the right to control the distribution of derivative or
|
||||
collective works based on the Program.
|
||||
|
||||
In addition, mere aggregation of another work not based on the Program
|
||||
with the Program (or with a work based on the Program) on a volume of
|
||||
a storage or distribution medium does not bring the other work under
|
||||
the scope of this License.
|
||||
|
||||
3. You may copy and distribute the Program (or a work based on it,
|
||||
under Section 2) in object code or executable form under the terms of
|
||||
Sections 1 and 2 above provided that you also do one of the following:
|
||||
|
||||
a) Accompany it with the complete corresponding machine-readable
|
||||
source code, which must be distributed under the terms of Sections
|
||||
1 and 2 above on a medium customarily used for software interchange; or,
|
||||
|
||||
b) Accompany it with a written offer, valid for at least three
|
||||
years, to give any third party, for a charge no more than your
|
||||
cost of physically performing source distribution, a complete
|
||||
machine-readable copy of the corresponding source code, to be
|
||||
distributed under the terms of Sections 1 and 2 above on a medium
|
||||
customarily used for software interchange; or,
|
||||
|
||||
c) Accompany it with the information you received as to the offer
|
||||
to distribute corresponding source code. (This alternative is
|
||||
allowed only for noncommercial distribution and only if you
|
||||
received the program in object code or executable form with such
|
||||
an offer, in accord with Subsection b above.)
|
||||
|
||||
The source code for a work means the preferred form of the work for
|
||||
making modifications to it. For an executable work, complete source
|
||||
code means all the source code for all modules it contains, plus any
|
||||
associated interface definition files, plus the scripts used to
|
||||
control compilation and installation of the executable. However, as a
|
||||
special exception, the source code distributed need not include
|
||||
anything that is normally distributed (in either source or binary
|
||||
form) with the major components (compiler, kernel, and so on) of the
|
||||
operating system on which the executable runs, unless that component
|
||||
itself accompanies the executable.
|
||||
|
||||
If distribution of executable or object code is made by offering
|
||||
access to copy from a designated place, then offering equivalent
|
||||
access to copy the source code from the same place counts as
|
||||
distribution of the source code, even though third parties are not
|
||||
compelled to copy the source along with the object code.
|
||||
|
||||
4. You may not copy, modify, sublicense, or distribute the Program
|
||||
except as expressly provided under this License. Any attempt
|
||||
otherwise to copy, modify, sublicense or distribute the Program is
|
||||
void, and will automatically terminate your rights under this License.
|
||||
However, parties who have received copies, or rights, from you under
|
||||
this License will not have their licenses terminated so long as such
|
||||
parties remain in full compliance.
|
||||
|
||||
5. You are not required to accept this License, since you have not
|
||||
signed it. However, nothing else grants you permission to modify or
|
||||
distribute the Program or its derivative works. These actions are
|
||||
prohibited by law if you do not accept this License. Therefore, by
|
||||
modifying or distributing the Program (or any work based on the
|
||||
Program), you indicate your acceptance of this License to do so, and
|
||||
all its terms and conditions for copying, distributing or modifying
|
||||
the Program or works based on it.
|
||||
|
||||
6. Each time you redistribute the Program (or any work based on the
|
||||
Program), the recipient automatically receives a license from the
|
||||
original licensor to copy, distribute or modify the Program subject to
|
||||
these terms and conditions. You may not impose any further
|
||||
restrictions on the recipients' exercise of the rights granted herein.
|
||||
You are not responsible for enforcing compliance by third parties to
|
||||
this License.
|
||||
|
||||
7. If, as a consequence of a court judgment or allegation of patent
|
||||
infringement or for any other reason (not limited to patent issues),
|
||||
conditions are imposed on you (whether by court order, agreement or
|
||||
otherwise) that contradict the conditions of this License, they do not
|
||||
excuse you from the conditions of this License. If you cannot
|
||||
distribute so as to satisfy simultaneously your obligations under this
|
||||
License and any other pertinent obligations, then as a consequence you
|
||||
may not distribute the Program at all. For example, if a patent
|
||||
license would not permit royalty-free redistribution of the Program by
|
||||
all those who receive copies directly or indirectly through you, then
|
||||
the only way you could satisfy both it and this License would be to
|
||||
refrain entirely from distribution of the Program.
|
||||
|
||||
If any portion of this section is held invalid or unenforceable under
|
||||
any particular circumstance, the balance of the section is intended to
|
||||
apply and the section as a whole is intended to apply in other
|
||||
circumstances.
|
||||
|
||||
It is not the purpose of this section to induce you to infringe any
|
||||
patents or other property right claims or to contest validity of any
|
||||
such claims; this section has the sole purpose of protecting the
|
||||
integrity of the free software distribution system, which is
|
||||
implemented by public license practices. Many people have made
|
||||
generous contributions to the wide range of software distributed
|
||||
through that system in reliance on consistent application of that
|
||||
system; it is up to the author/donor to decide if he or she is willing
|
||||
to distribute software through any other system and a licensee cannot
|
||||
impose that choice.
|
||||
|
||||
This section is intended to make thoroughly clear what is believed to
|
||||
be a consequence of the rest of this License.
|
||||
|
||||
8. If the distribution and/or use of the Program is restricted in
|
||||
certain countries either by patents or by copyrighted interfaces, the
|
||||
original copyright holder who places the Program under this License
|
||||
may add an explicit geographical distribution limitation excluding
|
||||
those countries, so that distribution is permitted only in or among
|
||||
countries not thus excluded. In such case, this License incorporates
|
||||
the limitation as if written in the body of this License.
|
||||
|
||||
9. The Free Software Foundation may publish revised and/or new versions
|
||||
of the General Public License from time to time. Such new versions will
|
||||
be similar in spirit to the present version, but may differ in detail to
|
||||
address new problems or concerns.
|
||||
|
||||
Each version is given a distinguishing version number. If the Program
|
||||
specifies a version number of this License which applies to it and "any
|
||||
later version", you have the option of following the terms and conditions
|
||||
either of that version or of any later version published by the Free
|
||||
Software Foundation. If the Program does not specify a version number of
|
||||
this License, you may choose any version ever published by the Free Software
|
||||
Foundation.
|
||||
|
||||
10. If you wish to incorporate parts of the Program into other free
|
||||
programs whose distribution conditions are different, write to the author
|
||||
to ask for permission. For software which is copyrighted by the Free
|
||||
Software Foundation, write to the Free Software Foundation; we sometimes
|
||||
make exceptions for this. Our decision will be guided by the two goals
|
||||
of preserving the free status of all derivatives of our free software and
|
||||
of promoting the sharing and reuse of software generally.
|
||||
|
||||
NO WARRANTY
|
||||
|
||||
11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
|
||||
FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN
|
||||
OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES
|
||||
PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
|
||||
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
|
||||
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS
|
||||
TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE
|
||||
PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
|
||||
REPAIR OR CORRECTION.
|
||||
|
||||
12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
|
||||
WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR
|
||||
REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,
|
||||
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING
|
||||
OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED
|
||||
TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY
|
||||
YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER
|
||||
PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE
|
||||
POSSIBILITY OF SUCH DAMAGES.
|
||||
|
||||
END OF TERMS AND CONDITIONS
|
||||
|
||||
How to Apply These Terms to Your New Programs
|
||||
|
||||
If you develop a new program, and you want it to be of the greatest
|
||||
possible use to the public, the best way to achieve this is to make it
|
||||
free software which everyone can redistribute and change under these terms.
|
||||
|
||||
To do so, attach the following notices to the program. It is safest
|
||||
to attach them to the start of each source file to most effectively
|
||||
convey the exclusion of warranty; and each file should have at least
|
||||
the "copyright" line and a pointer to where the full notice is found.
|
||||
|
||||
<one line to give the program's name and a brief idea of what it does.>
|
||||
Copyright (C) <year> <name of author>
|
||||
|
||||
This program is free software; you can redistribute it and/or modify
|
||||
it under the terms of the GNU General Public License as published by
|
||||
the Free Software Foundation; either version 2 of the License, or
|
||||
(at your option) any later version.
|
||||
|
||||
This program is distributed in the hope that it will be useful,
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
GNU General Public License for more details.
|
||||
|
||||
You should have received a copy of the GNU General Public License along
|
||||
with this program; if not, write to the Free Software Foundation, Inc.,
|
||||
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
|
||||
|
||||
Also add information on how to contact you by electronic and paper mail.
|
||||
|
||||
If the program is interactive, make it output a short notice like this
|
||||
when it starts in an interactive mode:
|
||||
|
||||
Gnomovision version 69, Copyright (C) year name of author
|
||||
Gnomovision comes with ABSOLUTELY NO WARRANTY; for details type `show w'.
|
||||
This is free software, and you are welcome to redistribute it
|
||||
under certain conditions; type `show c' for details.
|
||||
|
||||
The hypothetical commands `show w' and `show c' should show the appropriate
|
||||
parts of the General Public License. Of course, the commands you use may
|
||||
be called something other than `show w' and `show c'; they could even be
|
||||
mouse-clicks or menu items--whatever suits your program.
|
||||
|
||||
You should also get your employer (if you work as a programmer) or your
|
||||
school, if any, to sign a "copyright disclaimer" for the program, if
|
||||
necessary. Here is a sample; alter the names:
|
||||
|
||||
Yoyodyne, Inc., hereby disclaims all copyright interest in the program
|
||||
`Gnomovision' (which makes passes at compilers) written by James Hacker.
|
||||
|
||||
<signature of Ty Coon>, 1 April 1989
|
||||
Ty Coon, President of Vice
|
||||
|
||||
This General Public License does not permit incorporating your program into
|
||||
proprietary programs. If your program is a subroutine library, you may
|
||||
consider it more useful to permit linking proprietary applications with the
|
||||
library. If this is what you want to do, use the GNU Lesser General
|
||||
Public License instead of this License.
|
||||
|
|
@ -0,0 +1,96 @@
|
|||
jtestdataaccessor
|
||||
=================
|
||||
|
||||
jtestdataaccessor - provide access to test data in unit tests.
|
||||
|
||||
Copyright (C) 2006-2007 Manfred Stock <mstock@student.ethz.ch>
|
||||
|
||||
This program is free software; you can redistribute it and/or modify
|
||||
it under the terms of the GNU General Public License as published by
|
||||
the Free Software Foundation; either version 2 of the License, or
|
||||
(at your option) any later version.
|
||||
|
||||
This program is distributed in the hope that it will be useful,
|
||||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||
GNU General Public License for more details.
|
||||
|
||||
You should have received a copy of the GNU General Public License along
|
||||
with this program; if not, write to the Free Software Foundation, Inc.,
|
||||
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
|
||||
|
||||
|
||||
Installation
|
||||
************
|
||||
Prerequisites:
|
||||
o Java 1.5
|
||||
o Apache Maven 2 [1] or AntLR >= 2.7.6 and JUnit >= 4.0
|
||||
|
||||
After installing the prerequisites, a simple call to
|
||||
$ mvn install
|
||||
in the jtestdataaccessor directory should compile, unit test and install the
|
||||
jtestdataaccessor library into the local Maven repository under ~/.m2.
|
||||
|
||||
To create a .jar from the project,
|
||||
$ mvn package
|
||||
can be used. The generated .jar file will be stored in the target/ directory.
|
||||
Since the .jar does not include AntLR and JUnit, they need to be on the
|
||||
classpath when using the library. This can be avoided by using
|
||||
$ mvn assembly:assembly
|
||||
which will create target/jtestdataaccessor-bin.jar which includes those two
|
||||
libraries as well.
|
||||
|
||||
Javadoc documentation (and more) can be created by
|
||||
$ mvn site
|
||||
which creates the target/site/ directory containing an overview of the project
|
||||
as well as the Javadoc documentation and the cross-referenced source code.
|
||||
|
||||
|
||||
Unfortunately, there might be a problem with the AntLR version used by the
|
||||
Maven AntLR plugin [2] - if the unit tests fail (see below if Maven does not
|
||||
even execute them because of missing dependencies), this is most likely the
|
||||
case. A workaround until the real problem is fixed is to modify the file
|
||||
~/.m2/repository/org/apache/maven/plugins/maven-antlr-plugin/2.0-beta-1/maven-antlr-plugin-2.0-beta-1.pom
|
||||
(or similar, if the problem persists in future releases after adapting the
|
||||
pom.xml file to use such a release) by changing the AntLR dependency of groupId
|
||||
= antlr, artifactId = antlrall to groupId = antlr, artifactId = antlr and
|
||||
version = 2.7.7 - after calling
|
||||
$ mvn clean
|
||||
to cleanup the generated and compiled sources,
|
||||
$ mvn install
|
||||
should succeed.
|
||||
|
||||
The other problem is the missing support for Junit 4 in the current surefire
|
||||
plugin, so the unit tests might not be executable at all. This can be solved by
|
||||
adding the settings from [3] in ~/.m2/settings.xml - when doing so, the '...'
|
||||
need to be replaced by <profiles> and </profiles>, respectively. Now
|
||||
$ mvn -Papache install
|
||||
should finally succeed (-Papache should be required only once, and the snapshot
|
||||
will be updated periodically afterwards).
|
||||
|
||||
|
||||
Usage
|
||||
*****
|
||||
To use the library, a depedency in the pom.xml of the project which looks like
|
||||
<dependency>
|
||||
<groupId>ch.ethz.infsec.jtestdataaccessor</groupId>
|
||||
<artifactId>jtestdataaccessor</artifactId>
|
||||
<version>1.0-SNAPSHOT</version>
|
||||
<scope>test</scope>
|
||||
</dependency>
|
||||
can be used. The library is then added to the classpath during unit testing and
|
||||
may therefore be used in those tests. Some examples of the usage may be found
|
||||
in the src/test/ subtree.
|
||||
|
||||
|
||||
References
|
||||
**********
|
||||
[1] Apache Maven.
|
||||
http://maven.apache.org/
|
||||
[2] Maven AntLR Plugin
|
||||
http://maven.apache.org/plugins/maven-antlr-plugin/
|
||||
[3] Maven Snapshot Guide.
|
||||
http://maven.apache.org/guides/development/guide-plugin-snapshot-repositories.html
|
||||
|
||||
|
||||
$Id$
|
||||
|
|
@ -0,0 +1,103 @@
|
|||
<?xml version="1.0"?>
|
||||
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
|
||||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>ch.ethz.infsec.jtestdataaccessor</groupId>
|
||||
<artifactId>jtestdataaccessor</artifactId>
|
||||
<name>JTestdataAccessor</name>
|
||||
<version>1.0-SNAPSHOT</version>
|
||||
<inceptionYear>2006</inceptionYear>
|
||||
<description>Library to provide access to testdata.</description>
|
||||
<organization>
|
||||
<name>Information Security Group, ETH Zurich</name>
|
||||
<url>http://www.infsec.ethz.ch/</url>
|
||||
</organization>
|
||||
<developers>
|
||||
<developer>
|
||||
<name>Manfred Stock</name>
|
||||
<id>mstock</id>
|
||||
<email>mstock@ethz.ch</email>
|
||||
<timezone>+1</timezone>
|
||||
</developer>
|
||||
</developers>
|
||||
<build>
|
||||
<plugins>
|
||||
<plugin>
|
||||
<artifactId>maven-compiler-plugin</artifactId>
|
||||
<configuration>
|
||||
<source>1.5</source>
|
||||
<target>1.5</target>
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<artifactId>maven-antlr-plugin</artifactId>
|
||||
<executions>
|
||||
<execution>
|
||||
<goals>
|
||||
<goal>generate</goal>
|
||||
</goals>
|
||||
</execution>
|
||||
</executions>
|
||||
<configuration>
|
||||
<grammars>lp.g</grammars>
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<artifactId>maven-assembly-plugin</artifactId>
|
||||
<configuration>
|
||||
<finalName>jtestdataaccessor</finalName>
|
||||
<descriptors>
|
||||
<descriptor>src/assemble/bin.xml</descriptor>
|
||||
<descriptor>src/assemble/src.xml</descriptor>
|
||||
</descriptors>
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<artifactId>maven-surefire-plugin</artifactId>
|
||||
<version>2.3-SNAPSHOT</version>
|
||||
</plugin>
|
||||
</plugins>
|
||||
</build>
|
||||
<dependencies>
|
||||
<dependency>
|
||||
<groupId>junit</groupId>
|
||||
<artifactId>junit</artifactId>
|
||||
<version>4.1</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>antlr</groupId>
|
||||
<artifactId>antlr</artifactId>
|
||||
<version>2.7.7</version>
|
||||
</dependency>
|
||||
</dependencies>
|
||||
<reporting>
|
||||
<plugins>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-antlr-plugin</artifactId>
|
||||
<configuration>
|
||||
<grammars>lp.g</grammars>
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-surefire-report-plugin</artifactId>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-javadoc-plugin</artifactId>
|
||||
<configuration>
|
||||
<source>1.5</source>
|
||||
</configuration>
|
||||
</plugin>
|
||||
<plugin>
|
||||
<groupId>org.apache.maven.plugins</groupId>
|
||||
<artifactId>maven-jxr-plugin</artifactId>
|
||||
</plugin>
|
||||
</plugins>
|
||||
</reporting>
|
||||
<scm>
|
||||
<connection>scm:svn:https://svn.infsec.ethz.ch/infsec/trunk/teaching/theses/semesterarbeiten/2006_mstock_junit/jtestdataaccessor</connection>
|
||||
<url>https://svn.infsec.ethz.ch/viewsvn/infsec/trunk/teaching/theses/semesterarbeiten/2006_mstock_junit</url>
|
||||
</scm>
|
||||
</project>
|
||||
|
|
@ -0,0 +1,20 @@
|
|||
<assembly>
|
||||
<id>bin</id>
|
||||
<formats>
|
||||
<format>jar</format>
|
||||
</formats>
|
||||
<includeBaseDirectory>false</includeBaseDirectory>
|
||||
<fileSets>
|
||||
<fileSet>
|
||||
<directory>target/classes</directory>
|
||||
<outputDirectory>/</outputDirectory>
|
||||
</fileSet>
|
||||
</fileSets>
|
||||
<dependencySets>
|
||||
<dependencySet>
|
||||
<outputDirectory>/</outputDirectory>
|
||||
<unpack>true</unpack>
|
||||
<scope>runtime</scope>
|
||||
</dependencySet>
|
||||
</dependencySets>
|
||||
</assembly>
|
||||
|
|
@ -0,0 +1,34 @@
|
|||
<assembly>
|
||||
<id>src</id>
|
||||
<formats>
|
||||
<format>tar.gz</format>
|
||||
<format>tar.bz2</format>
|
||||
<format>zip</format>
|
||||
</formats>
|
||||
<fileSets>
|
||||
<fileSet>
|
||||
<includes>
|
||||
<include>README*</include>
|
||||
<include>LICENSE*</include>
|
||||
<include>NOTICE*</include>
|
||||
<include>pom.xml</include>
|
||||
<include>build.xml</include>
|
||||
<include>.project</include>
|
||||
<include>.classpath</include>
|
||||
</includes>
|
||||
</fileSet>
|
||||
<fileSet>
|
||||
<includes>
|
||||
<include>BigBattleship</include>
|
||||
</includes>
|
||||
<fileMode>755</fileMode>
|
||||
</fileSet>
|
||||
<fileSet>
|
||||
<directory>src</directory>
|
||||
</fileSet>
|
||||
<fileSet>
|
||||
<directory>target/site</directory>
|
||||
<outputDirectory>/doc</outputDirectory>
|
||||
</fileSet>
|
||||
</fileSets>
|
||||
</assembly>
|
||||
|
|
@ -0,0 +1,358 @@
|
|||
header {
|
||||
package ch.ethz.infsec.jtestdataaccessor.parser;
|
||||
import ch.ethz.infsec.jtestdataaccessor.*;
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.*;
|
||||
import java.util.*;
|
||||
}
|
||||
|
||||
/**
|
||||
* Parser for test data.
|
||||
*/
|
||||
class TestdataParser extends Parser;
|
||||
|
||||
{
|
||||
/* Root of tree with tests */
|
||||
private TestData testdata;
|
||||
|
||||
/* Name of the function whose entry is currently parsed */
|
||||
private String currentFunctionName;
|
||||
|
||||
/* Function which is currently parsed */
|
||||
private FunctionUnderTest cfut;
|
||||
|
||||
/* Current testcase */
|
||||
private TestCase ctest;
|
||||
|
||||
/* Parser currently in the scope of a function? */
|
||||
boolean fscope = true;
|
||||
|
||||
/**
|
||||
* Set the root of the tree where the testdata shall be written to
|
||||
*/
|
||||
public void setTestdata(TestData td){
|
||||
testdata = td;
|
||||
}
|
||||
|
||||
/**
|
||||
* Identifiers which are used in the file with testdata.
|
||||
*/
|
||||
private enum ident {
|
||||
RESULTTYPE, INPUTTYPES, SETUP, TEARDOWN, INPUT, RESULT, CHECKER, COMMENT
|
||||
};
|
||||
}
|
||||
|
||||
/* Root of the parser */
|
||||
startRule throws TestDataParseException:
|
||||
( sectionlist )
|
||||
;
|
||||
|
||||
/* Section head with a name (which is a function) */
|
||||
section returns [String value=""]:
|
||||
(LBRAK id:IDENTIFIER RBRAK)
|
||||
{
|
||||
value = id.getText();
|
||||
}
|
||||
;
|
||||
|
||||
/* A list of sections which contain definitions or testcase specifications */
|
||||
sectionlist throws TestDataParseException
|
||||
{
|
||||
String fname = null;
|
||||
}
|
||||
:
|
||||
( fname=section
|
||||
{
|
||||
/* Setup target of parsed data */
|
||||
currentFunctionName = fname;
|
||||
cfut = new FunctionUnderTest(currentFunctionName);
|
||||
testdata.addTest(cfut);
|
||||
}
|
||||
( definition | test )* ( sectionlist )?)
|
||||
;
|
||||
|
||||
/* A definition, such as setup = ...; */
|
||||
definition throws TestDataParseException
|
||||
{
|
||||
List<Argument> vl = null;
|
||||
ident cident = null;
|
||||
}
|
||||
:
|
||||
( (cident=ident EQUALS vl=valuelist) )
|
||||
{
|
||||
if(cident != null && vl != null && vl.size() > 0){
|
||||
if(fscope){
|
||||
/* Current scope is a function */
|
||||
switch(cident){
|
||||
case RESULTTYPE:
|
||||
if(vl.size() == 1 && vl.get(0) instanceof Type){
|
||||
cfut.setResultType((Type)vl.get(0));
|
||||
}else{
|
||||
throw new TestDataParseException("resulttype only takes one type argument.", LT(0));
|
||||
}
|
||||
break;
|
||||
case INPUTTYPES:
|
||||
for(Argument arg: vl){
|
||||
if(arg instanceof Type){
|
||||
Type type = (Type) arg;
|
||||
cfut.addInputType(type);
|
||||
}else{
|
||||
throw new TestDataParseException("inputtypes only takes type arguments.",LT(0));
|
||||
}
|
||||
}
|
||||
break;
|
||||
case SETUP:
|
||||
if(vl.size() == 1 && vl.get(0) instanceof Function){
|
||||
cfut.setSetup((Function) vl.get(0));
|
||||
}else{
|
||||
throw new TestDataParseException("setup requires a function argument.",LT(0));
|
||||
}
|
||||
break;
|
||||
case TEARDOWN:
|
||||
if(vl.size() == 1 && vl.get(0) instanceof Function){
|
||||
cfut.setTeardown((Function) vl.get(0));
|
||||
}else{
|
||||
throw new TestDataParseException("teardown requires a function argument.",LT(0));
|
||||
}
|
||||
break;
|
||||
default:
|
||||
throw new TestDataParseException("Identifier "+cident+" not allowed in function scope.", LT(0));
|
||||
}
|
||||
}else{
|
||||
/* Current scope is a testcase */
|
||||
switch(cident){
|
||||
case INPUT:
|
||||
for(Argument arg: vl){
|
||||
if(arg instanceof Value){
|
||||
ctest.addInput((Value)arg);
|
||||
}else{
|
||||
throw new TestDataParseException("Inputs must be Values!", LT(0));
|
||||
}
|
||||
}
|
||||
break;
|
||||
case RESULT:
|
||||
if(vl.size() == 1 && vl.get(0) instanceof Value){
|
||||
ctest.setResult((Value)vl.get(0));
|
||||
}else if(vl.size() == 1 && vl.get(0) instanceof Type){
|
||||
ctest.setResult((Type)vl.get(0));
|
||||
}else{
|
||||
throw new TestDataParseException("Result must be a Value!",LT(0));
|
||||
}
|
||||
break;
|
||||
case CHECKER:
|
||||
if(vl.size() == 1){
|
||||
if(vl.get(0) instanceof Function){
|
||||
ctest.setChecker(new ResultChecker((Function)vl.get(0),testdata));
|
||||
}else if(vl.get(0) instanceof ResultChecker){
|
||||
ctest.setChecker((ResultChecker)vl.get(0));
|
||||
}
|
||||
}
|
||||
break;
|
||||
case COMMENT:
|
||||
if(vl.size() == 1 && vl.get(0) instanceof SimpleValue){
|
||||
ctest.setComment(((SimpleValue)vl.get(0)).toString());
|
||||
}else{
|
||||
throw new TestDataParseException("comment requires a string argument.",LT(0));
|
||||
}
|
||||
break;
|
||||
default:
|
||||
throw new TestDataParseException("Identifier "+cident+" not allowed in test scope.", LT(0));
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
;
|
||||
|
||||
/* An identifier/keyword such as setup */
|
||||
ident returns [ident value=null]
|
||||
:
|
||||
(
|
||||
RESULTTYPE { value=ident.RESULTTYPE; }
|
||||
| INPUTTYPE { value = ident.INPUTTYPES; }
|
||||
| SETUP { value = ident.SETUP; }
|
||||
| TEARDOWN { value = ident.TEARDOWN; }
|
||||
| INPUT { value = ident.INPUT; }
|
||||
| RESULT { value = ident.RESULT; }
|
||||
| CHECKER { value = ident.CHECKER; }
|
||||
| COMMENT { value = ident.COMMENT; }
|
||||
)
|
||||
;
|
||||
|
||||
/* A testcase which is enclosed in {...} */
|
||||
test throws TestDataParseException
|
||||
:
|
||||
( STEST {
|
||||
ctest = new TestCase();
|
||||
cfut.addTest(ctest);
|
||||
/* Current scope is test */
|
||||
fscope = false;
|
||||
} (definition)+ { fscope = true; } ETEST )
|
||||
;
|
||||
|
||||
/* A list of values, eg. "foo",10,true,"bar" */
|
||||
valuelist returns [Vector<Argument> value=null]
|
||||
{
|
||||
ResultChecker.DefaultChecker c = null;
|
||||
}
|
||||
:
|
||||
( (id:IDENTIFIER ((l:LPAREN r:RPAREN) | (lb:LBRAK rb:RBRAK))? | s:STRING | (neg:DASH)? (i:INT | f:FLOAT) | tr:TRUE | fa:FALSE | ch:CHAR | c=checker) ( ( COMMA value=valuelist ) | SEMICOLON ) )
|
||||
{
|
||||
if(value == null){
|
||||
value = new Vector<Argument>();
|
||||
}
|
||||
|
||||
/* Numbers should be negated */
|
||||
String negate = "";
|
||||
if(neg != null){
|
||||
negate = "-";
|
||||
}
|
||||
|
||||
Argument a = null;
|
||||
/* Create an object which represents the value */
|
||||
if(id != null){
|
||||
if(l != null && r != null){
|
||||
a = new Function(id.getText());
|
||||
}else if(lb != null && rb != null){
|
||||
a = new Type(id.getText());
|
||||
((Type) a).setArray(true);
|
||||
}else{
|
||||
a = new Type(id.getText());
|
||||
}
|
||||
}else if(s != null){
|
||||
a = new SimpleValue(s.getText().replaceAll("\"",""));
|
||||
}else if(i != null){
|
||||
a = new SimpleValue(new Integer(negate+i.getText()));
|
||||
}else if(f != null){
|
||||
a = new SimpleValue(new Double(negate+f.getText()));
|
||||
}else if(tr != null){
|
||||
a = new SimpleValue(new Boolean(tr.getText()));
|
||||
}else if(fa != null){
|
||||
a = new SimpleValue(new Boolean(fa.getText()));
|
||||
}else if(ch != null){
|
||||
a = new SimpleValue(new Character(ch.getText().charAt(1)));
|
||||
}else if(c != null){
|
||||
a = new ResultChecker(c);
|
||||
}
|
||||
if(a != null){
|
||||
value.insertElementAt(a,0);
|
||||
}
|
||||
}
|
||||
;
|
||||
|
||||
/* Checker which is used to check the result */
|
||||
checker returns [ResultChecker.DefaultChecker value = null]
|
||||
: (e:EQUALS | nt:FALSEC | t:TRUEC | nn:NOTNULL | n:NULL | ns:NOTSAME | s:SAME | f:FAIL | ne:NOTEQUAL)
|
||||
{
|
||||
if(e != null){
|
||||
value = ResultChecker.DefaultChecker.EQUALS;
|
||||
}else if(nt != null){
|
||||
value = ResultChecker.DefaultChecker.FALSE;
|
||||
}else if(t != null){
|
||||
value = ResultChecker.DefaultChecker.TRUE;
|
||||
}else if(nn != null){
|
||||
value = ResultChecker.DefaultChecker.NOTNULL;
|
||||
}else if(n != null){
|
||||
value = ResultChecker.DefaultChecker.NULL;
|
||||
}else if(ns != null){
|
||||
value = ResultChecker.DefaultChecker.NOTSAME;
|
||||
}else if(s != null){
|
||||
value = ResultChecker.DefaultChecker.SAME;
|
||||
}else if(f != null){
|
||||
value = ResultChecker.DefaultChecker.FAIL;
|
||||
}else if(ne != null){
|
||||
value = ResultChecker.DefaultChecker.NOTEQUAL;
|
||||
}
|
||||
}
|
||||
;
|
||||
|
||||
|
||||
/**
|
||||
* The Lexer for testdata
|
||||
*/
|
||||
class TestdataLexer extends Lexer;
|
||||
|
||||
/* Tokens which are keywords. The must not be used elsewhere in the file with testdata! */
|
||||
tokens {
|
||||
RESULTTYPE = "resulttype";
|
||||
INPUTTYPE = "inputtypes";
|
||||
SETUP = "setup";
|
||||
TEARDOWN = "teardown";
|
||||
INPUT = "input";
|
||||
RESULT = "result";
|
||||
CHECKER = "checker";
|
||||
COMMENT = "comment";
|
||||
TRUE = "true";
|
||||
FALSE = "false";
|
||||
EQUALS = "EQUALS";
|
||||
FALSEC = "FALSE";
|
||||
TRUEC = "TRUE";
|
||||
NOTNULL = "NOTNULL";
|
||||
NULL = "NULL";
|
||||
NOTSAME = "NOTSAME";
|
||||
NOTEQUAL = "NOTEQUAL";
|
||||
SAME = "SAME";
|
||||
FAIL = "FAIL";
|
||||
}
|
||||
|
||||
/* Alphanumeric identifiers */
|
||||
IDENTIFIER: ( ( 'a'..'z'|'A'..'Z' ) ('a'..'z'|'A'..'Z'|'0'..'9'|'-'|'_'|'.')* );
|
||||
|
||||
/* Strings */
|
||||
STRING: ('"' (~('"'))* '"' );
|
||||
|
||||
/* Single characters */
|
||||
CHAR: ('\''.'\'');
|
||||
|
||||
/* Left ( */
|
||||
LPAREN: ( '(' );
|
||||
|
||||
/* Right ) */
|
||||
RPAREN: ( ')' );
|
||||
|
||||
/* Left [ */
|
||||
LBRAK: ( '[' );
|
||||
|
||||
/* Right ] */
|
||||
RBRAK: ( ']' );
|
||||
|
||||
/* Integers */
|
||||
protected
|
||||
INT : ('0'..'9')+;
|
||||
|
||||
/* Floats */
|
||||
protected
|
||||
FLOAT: INT '.' INT;
|
||||
|
||||
/* FLOAT or INT? */
|
||||
RANGE_OR_INT
|
||||
: ( INT '.' ) => FLOAT { $setType(FLOAT); }
|
||||
| INT { $setType(INT); }
|
||||
;
|
||||
|
||||
/* Start of a test */
|
||||
STEST: ( '{' );
|
||||
|
||||
/* End of a test */
|
||||
ETEST: ( '}' );
|
||||
|
||||
/* The equals sign */
|
||||
EQUALS: '=';
|
||||
|
||||
/* A dash */
|
||||
DASH: '-';
|
||||
|
||||
/* A comma */
|
||||
COMMA: ',';
|
||||
|
||||
/* A semicolon */
|
||||
SEMICOLON: ';';
|
||||
|
||||
/* Ignore newlines, whitespace and comments */
|
||||
NEWLINE
|
||||
: ('\r' '\n' { newline(); } // DOS
|
||||
| '\n' { newline(); } // UNIX
|
||||
| ' '
|
||||
| '\t'
|
||||
| '#' (~('\n' | '\r'))*
|
||||
)
|
||||
{ $setType(Token.SKIP); } //ignore these tokens
|
||||
;
|
||||
|
|
@ -0,0 +1,217 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
import java.util.Iterator;
|
||||
import java.util.List;
|
||||
import java.util.Vector;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.Function;
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.Type;
|
||||
|
||||
/**
|
||||
* Contains the testcases, setup/teardown methods and types for a method which
|
||||
* is to be tested. There will be several instances of this class if there is
|
||||
* more than one section for the function in the file containing the testdata
|
||||
* configuration.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class FunctionUnderTest {
|
||||
|
||||
private Type resultType;
|
||||
|
||||
private List<Type> inputTypes;
|
||||
|
||||
private final String name;
|
||||
|
||||
private List<TestCase> testCases;
|
||||
|
||||
private Function teardown;
|
||||
|
||||
private Function setup;
|
||||
|
||||
private TestData testdata;
|
||||
|
||||
/**
|
||||
* Initialize the class.
|
||||
*
|
||||
* @param name
|
||||
* of the function under test.
|
||||
*/
|
||||
public FunctionUnderTest(String name) {
|
||||
this.name = name;
|
||||
inputTypes = new Vector<Type>();
|
||||
testCases = new Vector<TestCase>();
|
||||
resultType = new Type("void");
|
||||
}
|
||||
|
||||
/**
|
||||
* Get a list with the input types. This will be used to select the correct
|
||||
* method, especially in case of overloaded methods.
|
||||
*
|
||||
* @return the list of input types.
|
||||
*/
|
||||
public List<Type> getInputTypes() {
|
||||
return inputTypes;
|
||||
}
|
||||
|
||||
/**
|
||||
* Add another input type.
|
||||
*
|
||||
* @param inputType
|
||||
* the additional type.
|
||||
*/
|
||||
public void addInputType(Type inputType) {
|
||||
inputType.setTestData(testdata);
|
||||
this.inputTypes.add(inputType);
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the name of the function.
|
||||
*
|
||||
* @return the name of the function.
|
||||
*/
|
||||
public String getName() {
|
||||
return name;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the type of the result.
|
||||
*
|
||||
* @return the type of the result.
|
||||
*/
|
||||
public Type getResultType() {
|
||||
return resultType;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the type of the result.
|
||||
*
|
||||
* @param resultType
|
||||
* type of the result.
|
||||
*/
|
||||
public void setResultType(Type resultType) {
|
||||
resultType.setTestData(testdata);
|
||||
this.resultType = resultType;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the method which will be called before executing the test.
|
||||
*
|
||||
* @param setup
|
||||
* setup method.
|
||||
*/
|
||||
public void setSetup(Function setup) {
|
||||
setup.setTestData(testdata);
|
||||
this.setup = setup;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the method which will be called after executing the test to do some
|
||||
* cleanup.
|
||||
*
|
||||
* @param teardown
|
||||
* teardown method.
|
||||
*/
|
||||
public void setTeardown(Function teardown) {
|
||||
teardown.setTestData(testdata);
|
||||
this.teardown = teardown;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the setup method.
|
||||
*
|
||||
* @return the setup method.
|
||||
*/
|
||||
public Function getSetup() {
|
||||
return setup;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the teardown method.
|
||||
*
|
||||
* @return the teardown method.
|
||||
*/
|
||||
public Function getTeardown() {
|
||||
return teardown;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get a list containing the testcases for this instance of the function.
|
||||
*
|
||||
* @return the testcases.
|
||||
*/
|
||||
public List<TestCase> getTests() {
|
||||
return testCases;
|
||||
}
|
||||
|
||||
/**
|
||||
* Add another test to the testcases.
|
||||
*
|
||||
* @param testCase
|
||||
* another testcase.
|
||||
*/
|
||||
public void addTest(TestCase testCase) {
|
||||
testCase.setTestData(testdata);
|
||||
testCase.setFunctionUnderTest(this);
|
||||
this.testCases.add(testCase);
|
||||
}
|
||||
|
||||
/**
|
||||
* Get an array of classes containg the types of the parameters.
|
||||
*
|
||||
* @return an array with the parameter types.
|
||||
* @throws ClassNotFoundException
|
||||
*/
|
||||
public Class[] getParams() throws ClassNotFoundException {
|
||||
Class[] params = new Class[getInputTypes().size()];
|
||||
int i = 0;
|
||||
for (Type arg : getInputTypes()) {
|
||||
params[i] = arg.getTypeClass();
|
||||
i++;
|
||||
}
|
||||
return params;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the object with testdata this instance belongs to.
|
||||
*
|
||||
* @param td
|
||||
* the object this instance belongs to.
|
||||
*/
|
||||
public void setTestData(TestData td) {
|
||||
this.testdata = td;
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return toString("");
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print some information on the function under test and the
|
||||
* testcases.
|
||||
*
|
||||
* @param indent
|
||||
* the indentation to use.
|
||||
* @return the pretty string.
|
||||
*/
|
||||
public String toString(String indent) {
|
||||
StringBuffer sb = new StringBuffer();
|
||||
sb.append(indent + name + "(");
|
||||
for (Iterator inpt = inputTypes.iterator(); inpt.hasNext();) {
|
||||
Type element = (Type) inpt.next();
|
||||
sb.append(element);
|
||||
if (inpt.hasNext()) {
|
||||
sb.append(", ");
|
||||
}
|
||||
}
|
||||
sb.append(") :: " + resultType + "\n");
|
||||
sb.append(indent + " Setup: " + setup + "\n");
|
||||
sb.append(indent + " Teardown: " + teardown + "\n");
|
||||
for (TestCase testCase : testCases) {
|
||||
sb.append(testCase.toString(indent + " "));
|
||||
}
|
||||
return sb.toString();
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,19 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
/**
|
||||
* Exception to be thrown when the provided testdata is not valid or does not
|
||||
* contain enough information.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class InvalidTestDataException extends Exception {
|
||||
/**
|
||||
* A default serial version UID.
|
||||
*/
|
||||
private static final long serialVersionUID = 1L;
|
||||
|
||||
public InvalidTestDataException(String msg) {
|
||||
super(msg);
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,222 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
import java.util.List;
|
||||
import java.util.Vector;
|
||||
|
||||
import org.junit.Assert;
|
||||
import static org.junit.Assert.fail;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.Argument;
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.ResultChecker;
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.Type;
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.Value;
|
||||
|
||||
/**
|
||||
* A testcase of a function. Contains inputvalues, the expected result, a
|
||||
* comment and a checker for the result.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class TestCase {
|
||||
|
||||
private String comment;
|
||||
|
||||
private List<Value> inputs;
|
||||
|
||||
private Value result;
|
||||
|
||||
private ResultChecker checker;
|
||||
|
||||
private TestData testdata;
|
||||
|
||||
private FunctionUnderTest functionUnderTest;
|
||||
|
||||
public TestCase() {
|
||||
inputs = new Vector<Value>();
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the checker of the result.
|
||||
*
|
||||
* @return the checker.
|
||||
*/
|
||||
public Argument getChecker() {
|
||||
return checker;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the checker for the result.
|
||||
*
|
||||
* @param checker
|
||||
* the new checker.
|
||||
*/
|
||||
public void setChecker(ResultChecker checker) {
|
||||
checker.setTestData(testdata);
|
||||
checker.setTestCase(this);
|
||||
this.checker = checker;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the provided comment.
|
||||
*
|
||||
* @return the comment.
|
||||
*/
|
||||
public String getComment() {
|
||||
return comment;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set a new comment.
|
||||
*
|
||||
* @param comment
|
||||
* the new comment.
|
||||
*/
|
||||
public void setComment(String comment) {
|
||||
this.comment = comment;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the provided input values.
|
||||
*
|
||||
* @return the input values.
|
||||
*/
|
||||
public List<Value> getInputs() {
|
||||
return inputs;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the arguments which will be used to call the function under test.
|
||||
* They may either be basic values or be returned by a user defined
|
||||
* function.
|
||||
*
|
||||
* @return the arguments.
|
||||
* @throws Throwable
|
||||
*/
|
||||
public Object[] getArguments() throws Throwable {
|
||||
Object[] args = new Object[getInputs().size()];
|
||||
int i = 0;
|
||||
for (Value input : getInputs()) {
|
||||
args[i] = input.getValue();
|
||||
i++;
|
||||
}
|
||||
return args;
|
||||
}
|
||||
|
||||
/**
|
||||
* Add another input value.
|
||||
*
|
||||
* @param input
|
||||
* a new input value.
|
||||
*/
|
||||
public void addInput(Value input) {
|
||||
input.setTestData(testdata);
|
||||
this.inputs.add(input);
|
||||
}
|
||||
|
||||
/**
|
||||
* Return the result value.
|
||||
*
|
||||
* @return the result value.
|
||||
*/
|
||||
public Value getResult() {
|
||||
return result;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set a new result value.
|
||||
*
|
||||
* @param result
|
||||
* a new result value.
|
||||
*/
|
||||
public void setResult(Value result) {
|
||||
result.setTestData(testdata);
|
||||
this.result = result;
|
||||
}
|
||||
|
||||
/**
|
||||
* Check the result of a test run.
|
||||
*
|
||||
* @param actual
|
||||
* the actual result.
|
||||
* @param resulttype
|
||||
* the type of the actual result.
|
||||
* @throws Throwable
|
||||
*/
|
||||
public void checkResult(Object actual) throws Throwable {
|
||||
if (checker != null) {
|
||||
checker.check(actual);
|
||||
} else {
|
||||
if (getResult() instanceof Type) {
|
||||
fail("A " + getResult().getValue()
|
||||
+ " exception was expected, but the result " + actual
|
||||
+ " is currently being checked. "
|
||||
+ (comment != null ? "Comment: "+comment : ""));
|
||||
} else {
|
||||
fail("No checker for this function provided. Please set a checker for this testcase.");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return toString("");
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print a testcase.
|
||||
*
|
||||
* @param indent
|
||||
* indentation to use.
|
||||
* @return the pretty string.
|
||||
*/
|
||||
public String toString(String indent) {
|
||||
StringBuffer sb = new StringBuffer();
|
||||
sb.append(indent + "Test:\n");
|
||||
sb.append(indent + " Comment: " + comment + "\n");
|
||||
sb.append(indent + " Arguments:\n");
|
||||
for (Argument arg : inputs) {
|
||||
sb.append(indent + arg.toString(" ") + "\n");
|
||||
}
|
||||
if (result != null) {
|
||||
sb.append(indent + " Result:\n");
|
||||
sb.append(indent + result.toString(" "));
|
||||
sb.append("\n");
|
||||
}
|
||||
if (checker != null) {
|
||||
sb.append(indent + " Checker:\n");
|
||||
sb.append(indent + checker.toString(" "));
|
||||
sb.append("\n");
|
||||
}
|
||||
return sb.toString();
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the {@link TestData} this object belongs to.
|
||||
*
|
||||
* @param testdata
|
||||
*/
|
||||
public void setTestData(TestData testdata) {
|
||||
this.testdata = testdata;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the {@link FunctionUnderTest} this object belongs to.
|
||||
*
|
||||
* @param functionUnderTest
|
||||
* this object belongs to.
|
||||
*/
|
||||
public void setFunctionUnderTest(FunctionUnderTest functionUnderTest) {
|
||||
this.functionUnderTest = functionUnderTest;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the {@link FunctionUnderTest} this object belongs to.
|
||||
*
|
||||
* @return the {@link FunctionUnderTest} this object belongs to.
|
||||
*/
|
||||
public FunctionUnderTest getFunctionUnderTest() {
|
||||
return this.functionUnderTest;
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,87 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
import java.util.HashMap;
|
||||
import java.util.List;
|
||||
import java.util.Map;
|
||||
import java.util.Vector;
|
||||
|
||||
/**
|
||||
* Root of the "tree" which contains the tests.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class TestData {
|
||||
|
||||
private Map<String, List<FunctionUnderTest>> functions;
|
||||
|
||||
private TestDataAccessor testdataaccessor;
|
||||
|
||||
public TestData() {
|
||||
functions = new HashMap<String, List<FunctionUnderTest>>();
|
||||
}
|
||||
|
||||
/**
|
||||
* Add testdata for another function to the testsuite.
|
||||
*
|
||||
* @param test
|
||||
* testdata for the function.
|
||||
*/
|
||||
public void addTest(FunctionUnderTest test) {
|
||||
List<FunctionUnderTest> testlist = functions.get(test.getName());
|
||||
test.setTestData(this);
|
||||
if (testlist != null) {
|
||||
testlist.add(test);
|
||||
} else {
|
||||
testlist = new Vector<FunctionUnderTest>();
|
||||
testlist.add(test);
|
||||
functions.put(test.getName(), testlist);
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the tests of a given function.
|
||||
*
|
||||
* @param function
|
||||
* the function.
|
||||
* @return the tests.
|
||||
*/
|
||||
protected List<FunctionUnderTest> getTests(String function) {
|
||||
return functions.get(function);
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print the testdata.
|
||||
*/
|
||||
@Override
|
||||
public String toString() {
|
||||
StringBuffer sb = new StringBuffer();
|
||||
for (String fname : functions.keySet()) {
|
||||
sb.append("Function under test: " + fname + "\n");
|
||||
for (FunctionUnderTest function : functions.get(fname)) {
|
||||
sb.append(function.toString(" "));
|
||||
}
|
||||
}
|
||||
return sb.toString();
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the {@link TestDataAccessor} these testdata belong to.
|
||||
*
|
||||
* @param testdataaccessor
|
||||
* the testdataaccessor.
|
||||
*/
|
||||
public void setTestDataAccessor(TestDataAccessor testdataaccessor) {
|
||||
this.testdataaccessor = testdataaccessor;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the {@link TestDataAccessor} these testdata belong to.
|
||||
*
|
||||
* @return the testdataaccessor.
|
||||
*/
|
||||
public TestDataAccessor getTestDataAccessor() {
|
||||
return testdataaccessor;
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,118 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
import java.io.File;
|
||||
import java.io.FileInputStream;
|
||||
import java.io.FileNotFoundException;
|
||||
import java.util.List;
|
||||
import antlr.RecognitionException;
|
||||
import antlr.TokenStreamException;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.parser.TestdataLexer;
|
||||
import ch.ethz.infsec.jtestdataaccessor.parser.TestdataParser;
|
||||
|
||||
/**
|
||||
* Provide fairly simple access to testdata.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class TestDataAccessor {
|
||||
private File testdatafile;
|
||||
|
||||
private TestData testdata;
|
||||
|
||||
private TestDataUser testdatauser;
|
||||
|
||||
/**
|
||||
* Parse a given testdatafile.
|
||||
*
|
||||
* @param testdatafile
|
||||
* the file containing testdata.
|
||||
* @throws FileNotFoundException
|
||||
* @throws RecognitionException
|
||||
* @throws TokenStreamException
|
||||
* @throws TestDataParseException
|
||||
*/
|
||||
public TestDataAccessor(String testdatafile) throws FileNotFoundException,
|
||||
RecognitionException, TokenStreamException, TestDataParseException {
|
||||
setTestdatafile(testdatafile);
|
||||
}
|
||||
|
||||
/**
|
||||
* Return the absolute path to the file containing testdata.
|
||||
*
|
||||
* @return the path to the file with the testdata.
|
||||
*/
|
||||
public String getTestdatafile() {
|
||||
return testdatafile.getAbsolutePath();
|
||||
}
|
||||
|
||||
/**
|
||||
* Set a new testdatafile. This results in parsing the file and creating a
|
||||
* new internal tree with testdata.
|
||||
*
|
||||
* @param testdatafile
|
||||
* the path to the file with testdata.
|
||||
* @throws FileNotFoundException
|
||||
* @throws RecognitionException
|
||||
* @throws TokenStreamException
|
||||
* @throws TestDataParseException
|
||||
*/
|
||||
public void setTestdatafile(String testdatafile)
|
||||
throws FileNotFoundException, RecognitionException,
|
||||
TokenStreamException, TestDataParseException {
|
||||
this.testdatafile = new File(testdatafile);
|
||||
TestdataLexer lexer = new TestdataLexer(new FileInputStream(
|
||||
this.testdatafile));
|
||||
TestdataParser parser = new TestdataParser(lexer);
|
||||
testdata = new TestData();
|
||||
testdata.setTestDataAccessor(this);
|
||||
parser.setTestdata(testdata);
|
||||
|
||||
parser.startRule();
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the current user of this {@link TestDataAccessor}.
|
||||
*
|
||||
* @return the current user.
|
||||
*/
|
||||
public TestDataUser getTestDataUser() {
|
||||
return testdatauser;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set a new user of this {@link TestDataAccessor}.
|
||||
*
|
||||
* @param testdatauser
|
||||
* the new user.
|
||||
*/
|
||||
public void setTestDataUser(TestDataUser testdatauser) {
|
||||
this.testdatauser = testdatauser;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the tests of a certain function.
|
||||
*
|
||||
* @param function
|
||||
* the name of the function.
|
||||
* @return the tests.
|
||||
*/
|
||||
public List<FunctionUnderTest> getTests(String function) {
|
||||
return testdata.getTests(function);
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print the testdata.
|
||||
*
|
||||
* @return the pretty string.
|
||||
*/
|
||||
@Override
|
||||
public String toString() {
|
||||
StringBuffer sb = new StringBuffer();
|
||||
sb.append("Testdata of file " + testdatafile.getAbsolutePath() + ":\n");
|
||||
sb.append(testdata.toString());
|
||||
return sb.toString();
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,31 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
import antlr.Token;
|
||||
|
||||
/**
|
||||
* Thrown when an error occured during parsing of the testdatafile.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class TestDataParseException extends Exception {
|
||||
|
||||
/**
|
||||
* A default serial version uid.
|
||||
*/
|
||||
private static final long serialVersionUID = 1L;
|
||||
|
||||
/**
|
||||
* Create a new {@link TestDataParseException}; the message contains the
|
||||
* current line where the error occurred.
|
||||
*
|
||||
* @param msg
|
||||
* the user defined message.
|
||||
* @param t
|
||||
* the {@link Token} containing the line number.
|
||||
*/
|
||||
public TestDataParseException(String msg, Token t) {
|
||||
super("line: " + t.getLine() + ": " + msg);
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,12 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
/**
|
||||
* Marker interface to mark a class which uses {@link TestData}.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public interface TestDataUser {
|
||||
public String getClassUnderTest();
|
||||
public Object getTestObject();
|
||||
}
|
||||
|
|
@ -0,0 +1,128 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
import static org.junit.Assert.fail;
|
||||
|
||||
import java.lang.reflect.InvocationTargetException;
|
||||
import java.lang.reflect.Method;
|
||||
import java.util.List;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.Type;
|
||||
import ch.ethz.infsec.jtestdataaccessor.oclexceptions.OclException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.oclexceptions.PreconditionFailedException;
|
||||
|
||||
/**
|
||||
* Provide some static helper functions which may be used in all tests.
|
||||
*/
|
||||
public class TestHelper {
|
||||
|
||||
private String classUnderTest;
|
||||
|
||||
private TestDataAccessor tda;
|
||||
|
||||
private TestDataUser tduser;
|
||||
|
||||
/**
|
||||
* Create new {@link TestHelper} object.
|
||||
*
|
||||
* @param classUnderTest
|
||||
* name of the class which is tested - must include the package
|
||||
* the class is in.
|
||||
* @param tda
|
||||
* the {@link TestDataAccessor} which is used to access the
|
||||
* testdata.
|
||||
*/
|
||||
public TestHelper(String classUnderTest, TestDataAccessor tda) {
|
||||
this.classUnderTest = classUnderTest;
|
||||
this.tda = tda;
|
||||
}
|
||||
|
||||
/**
|
||||
* Invoke a method with the given parameters and arguments on the given
|
||||
* object.
|
||||
*
|
||||
* @param aMethod
|
||||
* name of the method to call.
|
||||
* @param params
|
||||
* parameter types of the method to call.
|
||||
* @param args
|
||||
* actual arguments for the call.
|
||||
* @return the result of the call.
|
||||
* @throws Throwable
|
||||
* is thrown if something went wrong.
|
||||
*/
|
||||
private Object invoke(String aMethod, Class[] params, Object[] args)
|
||||
throws Throwable {
|
||||
try {
|
||||
Class c = tduser.getClass();
|
||||
Method m = c.getDeclaredMethod("wrapped_" + aMethod, params);
|
||||
return m.invoke(tduser, args);
|
||||
} catch (InvocationTargetException e) {
|
||||
throw e.getCause();
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Execute tests of a given method.
|
||||
*
|
||||
* @param methodname
|
||||
* of the method which is currently tested.
|
||||
* @param tdu
|
||||
* the user of the testdata, ie. the JUnit test calling this
|
||||
* method.
|
||||
* @throws Throwable
|
||||
* if something went wrong.
|
||||
*/
|
||||
public void doTest(String methodname, TestDataUser tdu) throws Throwable {
|
||||
tduser = tdu;
|
||||
tda.setTestDataUser(tduser);
|
||||
List<FunctionUnderTest> tests = tda.getTests(methodname);
|
||||
if (tests != null) {
|
||||
// Execute tests for each section of the given function from the
|
||||
// testdata file
|
||||
for (FunctionUnderTest test : tests) {
|
||||
Class[] params = test.getParams();
|
||||
try {
|
||||
for (TestCase ctest : test.getTests()) {
|
||||
Object[] args = ctest.getArguments();
|
||||
if (test.getSetup() != null) {
|
||||
test.getSetup().call();
|
||||
}
|
||||
Object result = null;
|
||||
try {
|
||||
result = invoke(methodname, params, args);
|
||||
ctest.checkResult(result);
|
||||
} catch (PreconditionFailedException pfe) {
|
||||
System.err.println(pfe.getMessage()
|
||||
+ " <<< Precondition FAILURE!");
|
||||
} catch (OclException oe) {
|
||||
String comment = ctest.getComment();
|
||||
fail((comment == null ? "" : comment + ": ")
|
||||
+ oe.getMessage());
|
||||
} catch (Exception e) {
|
||||
// If there was an exception, this might have been
|
||||
// intentionally - so check if the result was a type
|
||||
// and the exception an instance of this type.
|
||||
if (ctest.getResult() instanceof Type) {
|
||||
Type exceptionType = (Type) ctest.getResult();
|
||||
if (!exceptionType.getTypeClass().isInstance(e)) {
|
||||
throw e;
|
||||
}
|
||||
} else {
|
||||
throw e;
|
||||
}
|
||||
}
|
||||
if (test.getTeardown() != null) {
|
||||
test.getTeardown().call();
|
||||
}
|
||||
}
|
||||
} catch (Exception e) {
|
||||
e.printStackTrace();
|
||||
fail("Unexpected exception thrown: " + e.getMessage());
|
||||
}
|
||||
}
|
||||
} else {
|
||||
System.err.println("No tests for method " + methodname
|
||||
+ " provided.");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,68 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.examples;
|
||||
|
||||
public class IntArrayStore {
|
||||
|
||||
private int[] array;
|
||||
|
||||
public IntArrayStore(int[] array) {
|
||||
this.array = array;
|
||||
}
|
||||
|
||||
/**
|
||||
* Use bubblesort to sort an int[]. Taken from
|
||||
* http://de.wikipedia.org/wiki/Bubblesort.
|
||||
*
|
||||
* @param array
|
||||
* to sort
|
||||
* @return the sorted array.
|
||||
*/
|
||||
public int[] getSorted() {
|
||||
boolean sorted = true;
|
||||
do {
|
||||
sorted = true;
|
||||
for (int i = 1; i < array.length; i++) {
|
||||
if (array[i - 1] > array[i]) {
|
||||
swap(i - 1, i);
|
||||
sorted = false;
|
||||
}
|
||||
}
|
||||
} while (!sorted);
|
||||
return array;
|
||||
}
|
||||
|
||||
/**
|
||||
* Use bubblesort to "wrongly" sort an int[].
|
||||
*
|
||||
* @param array
|
||||
* to sort
|
||||
* @return the sorted array.
|
||||
* @throws Exception
|
||||
*/
|
||||
public int[] getInvalidSorted() throws Exception {
|
||||
boolean sorted = true;
|
||||
do {
|
||||
sorted = true;
|
||||
for (int i = 1; i < array.length; i++) {
|
||||
if (array[i - 1] < array[i]) {
|
||||
swap(i - 1, i);
|
||||
sorted = false;
|
||||
}
|
||||
}
|
||||
} while (!sorted);
|
||||
return array;
|
||||
}
|
||||
|
||||
/**
|
||||
* Swap two elements of the array.
|
||||
*
|
||||
* @param i
|
||||
* the first element.
|
||||
* @param j
|
||||
* the second element.
|
||||
*/
|
||||
private void swap(int i, int j) {
|
||||
final int tmp = array[i];
|
||||
array[i] = array[j];
|
||||
array[j] = tmp;
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,16 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.examples;
|
||||
|
||||
public class IntMax {
|
||||
public static int max(int[] array) throws Exception {
|
||||
int max = 0;
|
||||
for(int i : array){
|
||||
if(i < 0){
|
||||
throw new Exception("Negative element detected.");
|
||||
}
|
||||
if(i > max){
|
||||
max = i;
|
||||
}
|
||||
}
|
||||
return max;
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,32 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestData;
|
||||
|
||||
/**
|
||||
* Represent a value which is found on the right hand side of the file with
|
||||
* testdata.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public abstract class Argument {
|
||||
|
||||
protected TestData testdata;
|
||||
|
||||
/**
|
||||
* Convert to String, prepending some indentation.
|
||||
*
|
||||
* @param indent
|
||||
* the required indentation.
|
||||
* @return a pretty {@link String}.
|
||||
*/
|
||||
abstract public String toString(String indent);
|
||||
|
||||
/**
|
||||
* Set the {@link TestData} object this {@link Argument} belongs to.
|
||||
*/
|
||||
public void setTestData(TestData testdata) {
|
||||
this.testdata = testdata;
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,124 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
import java.lang.reflect.InvocationTargetException;
|
||||
import java.lang.reflect.Method;
|
||||
|
||||
import static org.junit.Assert.fail;
|
||||
|
||||
/**
|
||||
* A function node for a function which is used to set up the environment or to
|
||||
* create some value.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class Function extends Value {
|
||||
|
||||
private String name;
|
||||
|
||||
/**
|
||||
* Initialize a new function.
|
||||
*
|
||||
* @param name
|
||||
* of the new function.
|
||||
*/
|
||||
public Function(String name) {
|
||||
this.name = name;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the name of the function.
|
||||
*
|
||||
* @return the name.
|
||||
*/
|
||||
public String getName() {
|
||||
return name;
|
||||
}
|
||||
|
||||
/**
|
||||
* Call the function on the object with the junit tests, discarding the
|
||||
* result.
|
||||
*
|
||||
* @throws Throwable
|
||||
*
|
||||
*/
|
||||
public void call() throws Throwable {
|
||||
getValue();
|
||||
}
|
||||
|
||||
/**
|
||||
* Call the function using the given parameter types and arguments on the
|
||||
* object with the junit tests, discarding the result.
|
||||
*
|
||||
* @throws Throwable
|
||||
*
|
||||
*/
|
||||
public void call(Class[] classes, Object[] objects) throws Throwable {
|
||||
getValue(classes, objects);
|
||||
}
|
||||
|
||||
/**
|
||||
* Call the function on the object with the junit tests, but do not discard
|
||||
* the result.
|
||||
*
|
||||
* @throws Throwable
|
||||
*/
|
||||
@Override
|
||||
public Object getValue() throws Throwable {
|
||||
return getValue((Class[]) null, (Object[]) null);
|
||||
}
|
||||
|
||||
/**
|
||||
* Call the function using the given parameter types and arguments on the
|
||||
* object with the junit tests and return the result.
|
||||
*
|
||||
* @param params
|
||||
* types of the parameters.
|
||||
* @param args
|
||||
* arguments to call the function with.
|
||||
* @return the value produced by the called function.
|
||||
* @throws Throwable
|
||||
*/
|
||||
public Object getValue(Class[] params, Object[] args) throws Throwable {
|
||||
try {
|
||||
if (testdata != null && testdata.getTestDataAccessor() != null
|
||||
&& testdata.getTestDataAccessor().getTestDataUser() != null) {
|
||||
Class c = testdata.getTestDataAccessor().getTestDataUser()
|
||||
.getClass();
|
||||
Method m = c.getMethod(name, params);
|
||||
return m.invoke(testdata.getTestDataAccessor()
|
||||
.getTestDataUser(), args);
|
||||
} else {
|
||||
System.err
|
||||
.println("No TestDataUser found to execute method on!");
|
||||
}
|
||||
} catch (InvocationTargetException e) {
|
||||
// The called function has thrown an exception, so return that
|
||||
// exception instead of a InvocationTargetException which is not
|
||||
// really useful outside.
|
||||
throw e.getCause();
|
||||
} catch (Exception e) {
|
||||
// There seems to be an exception in our code, which should not
|
||||
// happen...
|
||||
e.printStackTrace();
|
||||
fail("Failed to execute the specified function " + getName() + ".");
|
||||
}
|
||||
return null;
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return toString("");
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print the function name.
|
||||
*
|
||||
* @return the pretty name.
|
||||
*/
|
||||
@Override
|
||||
public String toString(String indent) {
|
||||
return indent + name + "()";
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,191 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
import static org.junit.Assert.assertEquals;
|
||||
import static org.junit.Assert.assertFalse;
|
||||
import static org.junit.Assert.assertNotNull;
|
||||
import static org.junit.Assert.assertNotSame;
|
||||
import static org.junit.Assert.assertNull;
|
||||
import static org.junit.Assert.assertSame;
|
||||
import static org.junit.Assert.assertTrue;
|
||||
import static org.junit.Assert.fail;
|
||||
|
||||
import org.junit.ComparisonFailure;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestCase;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestData;
|
||||
|
||||
/**
|
||||
* Class used for checking the result.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class ResultChecker extends Argument {
|
||||
|
||||
/**
|
||||
* An enum of some default checkers which are mostly taken from
|
||||
* org.junit.Assert.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public static enum DefaultChecker {
|
||||
EQUALS, FALSE, TRUE, NOTNULL, NULL, NOTSAME, SAME, FAIL, NOTEQUAL
|
||||
};
|
||||
|
||||
private DefaultChecker defaultchecker;
|
||||
|
||||
private Function functionchecker;
|
||||
|
||||
private TestCase testcase;
|
||||
|
||||
/**
|
||||
* Create new {@link ResultChecker} using a {@link DefaultChecker}.
|
||||
*
|
||||
* @param defaultchecker
|
||||
* a {@link DefaultChecker}
|
||||
*/
|
||||
public ResultChecker(DefaultChecker defaultchecker) {
|
||||
this.defaultchecker = defaultchecker;
|
||||
}
|
||||
|
||||
/**
|
||||
* Create a new {@link ResultChecker} using a {@link Function}.
|
||||
*
|
||||
* @param functionchecker
|
||||
* a {@link Function}
|
||||
*/
|
||||
public ResultChecker(Function functionchecker, TestData td) {
|
||||
functionchecker.setTestData(td);
|
||||
this.setTestData(td);
|
||||
this.functionchecker = functionchecker;
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return toString("");
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print the {@link ResultChecker}.
|
||||
*
|
||||
* @return the pretty printed {@link ResultChecker}
|
||||
*/
|
||||
@Override
|
||||
public String toString(String indent) {
|
||||
StringBuffer sb = new StringBuffer();
|
||||
if (defaultchecker != null) {
|
||||
sb.append(defaultchecker.toString());
|
||||
} else if (functionchecker != null) {
|
||||
sb.append(functionchecker.toString());
|
||||
}
|
||||
return indent + sb.toString();
|
||||
}
|
||||
|
||||
/**
|
||||
* Execute a check on a given object.
|
||||
*
|
||||
* @param result
|
||||
* the actual result.
|
||||
* @param reference
|
||||
* the reference value.
|
||||
* @throws Throwable
|
||||
*/
|
||||
public void check(Object result) throws Throwable {
|
||||
Object expected = null;
|
||||
if (testcase.getResult() != null) {
|
||||
expected = testcase.getResult().getValue();
|
||||
}
|
||||
String comment = null;
|
||||
if (testcase != null) {
|
||||
comment = testcase.getComment();
|
||||
}
|
||||
if (defaultchecker != null) {
|
||||
switch (defaultchecker) {
|
||||
case EQUALS:
|
||||
assertEquals(comment, expected, result);
|
||||
break;
|
||||
case FAIL:
|
||||
fail(comment);
|
||||
break;
|
||||
case FALSE:
|
||||
assertFalse(comment, (Boolean) result);
|
||||
break;
|
||||
case NOTNULL:
|
||||
assertNotNull(comment, result);
|
||||
break;
|
||||
case NOTSAME:
|
||||
assertNotSame(comment, expected, result);
|
||||
break;
|
||||
case NULL:
|
||||
assertNull(comment, result);
|
||||
break;
|
||||
case SAME:
|
||||
assertSame(comment, expected, result);
|
||||
break;
|
||||
case TRUE:
|
||||
assertTrue(comment, (Boolean) result);
|
||||
break;
|
||||
case NOTEQUAL:
|
||||
assertNotEqual(comment, expected, result);
|
||||
break;
|
||||
}
|
||||
} else if (functionchecker != null) {
|
||||
Class argType = Object.class;
|
||||
if (testcase != null && testcase.getFunctionUnderTest() != null
|
||||
&& testcase.getFunctionUnderTest().getResultType() != null) {
|
||||
argType = testcase.getFunctionUnderTest().getResultType()
|
||||
.getTypeClass();
|
||||
}
|
||||
functionchecker.call(new Class[] { argType },
|
||||
new Object[] { result });
|
||||
} else {
|
||||
fail("No checker provided.");
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Asserts that two objects are not equal. If they are not, an
|
||||
* {@link AssertionError} is thrown with the given message. Adapted from
|
||||
* org.junit.Assert.
|
||||
*
|
||||
* @param message
|
||||
* the identifying message or <code>null</code> for the
|
||||
* {@link AssertionError}
|
||||
* @param expected
|
||||
* expected value
|
||||
* @param actual
|
||||
* actual value
|
||||
*/
|
||||
static public void assertNotEqual(String message, Object unexpected,
|
||||
Object actual) {
|
||||
if (unexpected == null && actual == null) {
|
||||
return;
|
||||
}
|
||||
if (unexpected != null && !unexpected.equals(actual)) {
|
||||
return;
|
||||
}
|
||||
if (unexpected instanceof String && actual instanceof String) {
|
||||
throw new ComparisonFailure(message, (String) unexpected,
|
||||
(String) actual);
|
||||
} else {
|
||||
String formatted = "";
|
||||
if (message != null) {
|
||||
formatted = message + " ";
|
||||
}
|
||||
fail(formatted + "unexpected:<" + unexpected
|
||||
+ "> but nevertheless got:<" + actual + ">");
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Set the {@link TestCase} this {@link ResultChecker} belongs to.
|
||||
*
|
||||
* @param testcase
|
||||
* the {@link TestCase} this object belongs to.
|
||||
*/
|
||||
public void setTestCase(TestCase testcase) {
|
||||
this.testcase = testcase;
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,46 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
/**
|
||||
* Represent a simple value such as int, boolean, String etc.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class SimpleValue extends Value {
|
||||
|
||||
private Object value;
|
||||
|
||||
/**
|
||||
* Create new {@link SimpleValue} object containing the given value.
|
||||
*
|
||||
* @param value
|
||||
* the value of this node.
|
||||
*/
|
||||
public SimpleValue(Object value) {
|
||||
this.value = value;
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the value.
|
||||
*
|
||||
* @return gets the specified value.
|
||||
*/
|
||||
@Override
|
||||
public Object getValue() {
|
||||
return value;
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return toString("");
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print the {@link SimpleValue} node.
|
||||
*/
|
||||
@Override
|
||||
public String toString(String indent) {
|
||||
return indent + value.toString();
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,134 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
import static org.junit.Assert.fail;
|
||||
|
||||
import java.util.HashMap;
|
||||
|
||||
/**
|
||||
* Representation of a type given in the testdatafile.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public class Type extends Value {
|
||||
|
||||
private String name;
|
||||
|
||||
private boolean isArray;
|
||||
|
||||
private static final HashMap<String, Class> basicTypeMap = new HashMap<String, Class>();
|
||||
|
||||
private static final HashMap<String, Class> basicTypeArrayMap = new HashMap<String, Class>();
|
||||
|
||||
/**
|
||||
* Create a new {@link Type} object.
|
||||
*
|
||||
* @param name
|
||||
*/
|
||||
public Type(String name) {
|
||||
this.name = name;
|
||||
if (basicTypeMap.size() == 0) {
|
||||
basicTypeMap.put(Boolean.TYPE.getName(), Boolean.TYPE);
|
||||
basicTypeMap.put(Byte.TYPE.getName(), Byte.TYPE);
|
||||
basicTypeMap.put(Character.TYPE.getName(), Character.TYPE);
|
||||
basicTypeMap.put(Short.TYPE.getName(), Short.TYPE);
|
||||
basicTypeMap.put(Integer.TYPE.getName(), Integer.TYPE);
|
||||
basicTypeMap.put(Long.TYPE.getName(), Long.TYPE);
|
||||
basicTypeMap.put(Float.TYPE.getName(), Float.TYPE);
|
||||
basicTypeMap.put(Double.TYPE.getName(), Double.TYPE);
|
||||
}
|
||||
if (basicTypeArrayMap.size() == 0) {
|
||||
basicTypeArrayMap.put(Boolean.TYPE.getName(), boolean[].class);
|
||||
basicTypeArrayMap.put(Byte.TYPE.getName(), byte[].class);
|
||||
basicTypeArrayMap.put(Character.TYPE.getName(), char[].class);
|
||||
basicTypeArrayMap.put(Short.TYPE.getName(), short[].class);
|
||||
basicTypeArrayMap.put(Integer.TYPE.getName(), int[].class);
|
||||
basicTypeArrayMap.put(Long.TYPE.getName(), long[].class);
|
||||
basicTypeArrayMap.put(Float.TYPE.getName(), float[].class);
|
||||
basicTypeArrayMap.put(Double.TYPE.getName(), double[].class);
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Get the {@link Class} object of this type. Distinguish between array and
|
||||
* normal types and try to prepend java.lang if the class is not found at
|
||||
* first.
|
||||
*
|
||||
* @return the {@link Class} object.
|
||||
* @throws ClassNotFoundException
|
||||
*/
|
||||
public Class getTypeClass() throws ClassNotFoundException {
|
||||
Class typeClass = null;
|
||||
if (basicTypeMap.get(name) != null) {
|
||||
if (isArray) {
|
||||
typeClass = basicTypeArrayMap.get(name);
|
||||
} else {
|
||||
typeClass = basicTypeMap.get(name);
|
||||
}
|
||||
} else {
|
||||
try {
|
||||
typeClass = Class.forName((isArray ? "[L" : "") + name);
|
||||
} catch (ClassNotFoundException e0) {
|
||||
try {
|
||||
typeClass = Class.forName((isArray ? "[L" : "")
|
||||
+ "java.lang." + name);
|
||||
} catch (ClassNotFoundException e1) {
|
||||
throw new ClassNotFoundException("Class " + name
|
||||
+ " not found!", new ClassNotFoundException(e1
|
||||
.getMessage(), new ClassNotFoundException(e0
|
||||
.getMessage())));
|
||||
}
|
||||
}
|
||||
}
|
||||
return typeClass;
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return toString("");
|
||||
}
|
||||
|
||||
/**
|
||||
* Pretty print this type.
|
||||
*
|
||||
* @return the given type name.
|
||||
*/
|
||||
@Override
|
||||
public String toString(String indent) {
|
||||
return indent + name;
|
||||
}
|
||||
|
||||
/**
|
||||
* Return the class object, catching exceptions and failing if one occurs.
|
||||
*
|
||||
* @return the class object representing the type.
|
||||
*/
|
||||
@Override
|
||||
public Class getValue() {
|
||||
try {
|
||||
return getTypeClass();
|
||||
} catch (ClassNotFoundException e) {
|
||||
fail(e.getMessage());
|
||||
}
|
||||
return null;
|
||||
}
|
||||
|
||||
/**
|
||||
* Is this type an array?
|
||||
*
|
||||
* @return
|
||||
*/
|
||||
public boolean isArray() {
|
||||
return isArray;
|
||||
}
|
||||
|
||||
/**
|
||||
* Set this type to be an array.
|
||||
*
|
||||
* @param isArray
|
||||
*/
|
||||
public void setArray(boolean isArray) {
|
||||
this.isArray = isArray;
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,23 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
/**
|
||||
* Abstract {@link Value} class - {@link Function} and {@link SimpleValue} are
|
||||
* examples of classes implementing this class, they may be used where a value
|
||||
* is needed.
|
||||
*
|
||||
* @author ms
|
||||
*
|
||||
*/
|
||||
public abstract class Value extends Argument {
|
||||
|
||||
/**
|
||||
* Get the value of the object.
|
||||
*
|
||||
* @return the value.
|
||||
* @throws Throwable
|
||||
* might be thrown if the result is generated by a function
|
||||
* which itself has thrown an exception.
|
||||
*/
|
||||
abstract public Object getValue() throws Throwable;
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,20 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.oclexceptions;
|
||||
|
||||
public class InvariantFailedException extends OclException {
|
||||
|
||||
/**
|
||||
* Thrown when the check of the invariant failed.
|
||||
*
|
||||
* @param string
|
||||
* contains a message.
|
||||
*/
|
||||
public InvariantFailedException(String string) {
|
||||
super(string);
|
||||
}
|
||||
|
||||
/**
|
||||
* A default serial version uid.
|
||||
*/
|
||||
private static final long serialVersionUID = 1L;
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,20 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.oclexceptions;
|
||||
|
||||
public class OclException extends Exception {
|
||||
|
||||
/**
|
||||
* Thrown if the check of an OCL contract failed.
|
||||
*
|
||||
* @param string
|
||||
* contains a message.
|
||||
*/
|
||||
public OclException(String string) {
|
||||
super(string);
|
||||
}
|
||||
|
||||
/**
|
||||
* A default serial version uid.
|
||||
*/
|
||||
private static final long serialVersionUID = 1L;
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,20 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.oclexceptions;
|
||||
|
||||
public class PostconditionFailedException extends OclException {
|
||||
|
||||
/**
|
||||
* Thrown when a postcondition check failed.
|
||||
*
|
||||
* @param string
|
||||
* contains a message.
|
||||
*/
|
||||
public PostconditionFailedException(String string) {
|
||||
super(string);
|
||||
}
|
||||
|
||||
/**
|
||||
* A default serial version uid.
|
||||
*/
|
||||
private static final long serialVersionUID = 1L;
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,20 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.oclexceptions;
|
||||
|
||||
public class PreconditionFailedException extends OclException {
|
||||
|
||||
/**
|
||||
* Thrown whenever a precondition check failed.
|
||||
*
|
||||
* @param string
|
||||
* contains a message.
|
||||
*/
|
||||
public PreconditionFailedException(String string) {
|
||||
super(string);
|
||||
}
|
||||
|
||||
/**
|
||||
* A default serial version uid.
|
||||
*/
|
||||
private static final long serialVersionUID = 1L;
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,72 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor;
|
||||
|
||||
import java.io.File;
|
||||
import java.io.FileNotFoundException;
|
||||
import java.io.FilenameFilter;
|
||||
|
||||
import org.junit.Test;
|
||||
|
||||
import antlr.RecognitionException;
|
||||
import antlr.TokenStreamException;
|
||||
|
||||
public class BasicTest {
|
||||
|
||||
private void testConfigs(String path, boolean valid)
|
||||
throws FileNotFoundException, RecognitionException,
|
||||
TokenStreamException, TestDataParseException {
|
||||
File dir = new File(path);
|
||||
File[] files = dir.listFiles(new FilenameFilter() {
|
||||
public boolean accept(File dirname, String name) {
|
||||
if (name.endsWith(".conf")) {
|
||||
return true;
|
||||
} else {
|
||||
return false;
|
||||
}
|
||||
}
|
||||
});
|
||||
for (File file : files) {
|
||||
System.out.println("Trying to parse " + file.getAbsolutePath());
|
||||
try {
|
||||
TestDataAccessor tda = new TestDataAccessor(file
|
||||
.getAbsolutePath());
|
||||
//System.out.println(tda.toString());
|
||||
} catch (TestDataParseException e) {
|
||||
System.err.println(e.getClass().getName()+": "+e.getMessage());
|
||||
if (valid) {
|
||||
throw e;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void validConfigs() throws FileNotFoundException,
|
||||
RecognitionException, TokenStreamException, TestDataParseException {
|
||||
System.out
|
||||
.println("Running tests on presumably correct testdata-files:");
|
||||
testConfigs("src/test/resources/valid", true);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void invalidConfigs() throws FileNotFoundException,
|
||||
RecognitionException, TokenStreamException {
|
||||
System.out
|
||||
.println("Running tests on presumably incorrect testdata-files, so expect exceptions:");
|
||||
try {
|
||||
testConfigs("src/test/resources/invalid", false);
|
||||
} catch (TestDataParseException e) {
|
||||
e.printStackTrace();
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
public static void main(String[] args) {
|
||||
BasicTest b = new BasicTest();
|
||||
try {
|
||||
b.validConfigs();
|
||||
b.invalidConfigs();
|
||||
} catch (Exception e) {
|
||||
e.printStackTrace();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,38 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.examples;
|
||||
|
||||
import static org.junit.Assert.fail;
|
||||
|
||||
public abstract class AbstractIntArrayStoreTest {
|
||||
|
||||
static IntArrayStore testObject;
|
||||
|
||||
/**
|
||||
* Setup the {@link IntArrayStore} with some test array.
|
||||
*
|
||||
*/
|
||||
public void setup1() {
|
||||
testObject = new IntArrayStore(new int[] { 9, 2, 4, 4, 2, 5, 76, 8, 6,
|
||||
4, 3, 2 });
|
||||
}
|
||||
|
||||
/**
|
||||
* Check if the given result is sorted in ascending order.
|
||||
*
|
||||
* @param result
|
||||
* to check.
|
||||
*/
|
||||
public void resultCheck1(int[] result) {
|
||||
for (int i : result) {
|
||||
System.out.print(i + " ");
|
||||
}
|
||||
System.out.println();
|
||||
if (result.length > 1) {
|
||||
for (int i = 1; i < result.length; i++) {
|
||||
if (result[i - 1] > result[i]) {
|
||||
fail("Incorrectly sorted array.");
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,24 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.examples;
|
||||
|
||||
|
||||
public abstract class AbstractIntMaxTest {
|
||||
|
||||
static IntMax testObject;
|
||||
|
||||
/**
|
||||
* Return an array as input for the test
|
||||
*
|
||||
*/
|
||||
public int[] getInput1() {
|
||||
return new int[] {2,5,4,3,5,6,7,5,3,2,4,6,8,9,0};
|
||||
}
|
||||
|
||||
/**
|
||||
* Return an array as input for the test, including negative values
|
||||
*
|
||||
*/
|
||||
public int[] getInput2() {
|
||||
return new int[] {1,0,-1};
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,57 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.examples;
|
||||
|
||||
import java.io.FileNotFoundException;
|
||||
|
||||
import org.junit.BeforeClass;
|
||||
import org.junit.Test;
|
||||
import org.junit.Ignore;
|
||||
|
||||
import antlr.RecognitionException;
|
||||
import antlr.TokenStreamException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataAccessor;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataParseException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataUser;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestHelper;
|
||||
|
||||
public class IntArrayStoreTest extends AbstractIntArrayStoreTest implements
|
||||
TestDataUser {
|
||||
|
||||
public static String classUnderTest = "ch.ethz.infsec.jtestdataaccessor.examples.IntArrayStore";
|
||||
|
||||
private static TestDataAccessor tda;
|
||||
|
||||
private static TestHelper th;
|
||||
|
||||
public String getClassUnderTest() {
|
||||
return classUnderTest;
|
||||
}
|
||||
|
||||
public Object getTestObject() {
|
||||
return testObject;
|
||||
}
|
||||
|
||||
@BeforeClass
|
||||
public static void basicEnvSetup() throws FileNotFoundException,
|
||||
RecognitionException, TokenStreamException, TestDataParseException {
|
||||
tda = new TestDataAccessor(
|
||||
"src/test/resources/ch/ethz/infsec/jtestdataaccessor/examples/TestdataIntArrayStore");
|
||||
th = new TestHelper(classUnderTest, tda);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void getSortedTest() throws Throwable {
|
||||
String methodname = "getSorted";
|
||||
th.doTest(methodname, this);
|
||||
}
|
||||
|
||||
public int[] wrapped_getSorted(){
|
||||
return testObject.getSorted();
|
||||
}
|
||||
|
||||
@Ignore
|
||||
@Test
|
||||
public void getInvalidSortedTest() throws Throwable {
|
||||
String methodname = "getInvalidSorted";
|
||||
th.doTest(methodname, this);
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,68 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.examples;
|
||||
|
||||
import java.io.FileNotFoundException;
|
||||
|
||||
import org.junit.BeforeClass;
|
||||
import org.junit.Test;
|
||||
|
||||
import antlr.RecognitionException;
|
||||
import antlr.TokenStreamException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataAccessor;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataParseException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataUser;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestHelper;
|
||||
import ch.ethz.infsec.jtestdataaccessor.oclexceptions.InvariantFailedException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.oclexceptions.PostconditionFailedException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.oclexceptions.PreconditionFailedException;
|
||||
|
||||
public class IntMaxTest extends AbstractIntMaxTest implements TestDataUser {
|
||||
|
||||
public static final String classUnderTest = "ch.ethz.infsec.jtestdataaccessor.examples.IntMax";
|
||||
|
||||
public String getClassUnderTest() {
|
||||
return classUnderTest;
|
||||
}
|
||||
|
||||
private static TestDataAccessor tda;
|
||||
|
||||
private static TestHelper th;
|
||||
|
||||
@BeforeClass
|
||||
public static void basicEnvSetup() throws FileNotFoundException,
|
||||
RecognitionException, TokenStreamException, TestDataParseException {
|
||||
tda = new TestDataAccessor(
|
||||
"src/test/resources/ch/ethz/infsec/jtestdataaccessor/examples/TestdataIntMax");
|
||||
th = new TestHelper(classUnderTest, tda);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void maxTest() throws Throwable {
|
||||
String methodname = "max";
|
||||
th.doTest(methodname, this);
|
||||
}
|
||||
|
||||
public int wrapped_max(int[] array) throws Throwable {
|
||||
int result;
|
||||
// Precondition check
|
||||
if(array.length == 0){
|
||||
throw new PreconditionFailedException("Array was empty.");
|
||||
}
|
||||
// invoke method
|
||||
result = testObject.max(array);
|
||||
// Postcondition check
|
||||
if(array.length == 0){
|
||||
throw new PostconditionFailedException("Array got emptied!");
|
||||
}
|
||||
// Invariant check
|
||||
checkInvariant();
|
||||
return result;
|
||||
}
|
||||
|
||||
public Object getTestObject() {
|
||||
return testObject;
|
||||
}
|
||||
|
||||
public void checkInvariant() throws InvariantFailedException {
|
||||
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,24 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.SimpleValue;
|
||||
import ch.ethz.infsec.jtestdataaccessor.nodes.Value;
|
||||
|
||||
public abstract class AbstractValueTest {
|
||||
|
||||
static Value testObject;
|
||||
|
||||
/*
|
||||
public static void defaultSetup(){
|
||||
testObject = new Value();
|
||||
}
|
||||
*/
|
||||
|
||||
public void setup1(){
|
||||
testObject = new SimpleValue("Hallo, Welt!");
|
||||
}
|
||||
|
||||
public void setup2(){
|
||||
testObject = new SimpleValue("Hello, World!");
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,49 @@
|
|||
package ch.ethz.infsec.jtestdataaccessor.nodes;
|
||||
|
||||
import java.io.FileNotFoundException;
|
||||
|
||||
import org.junit.BeforeClass;
|
||||
import org.junit.Test;
|
||||
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataAccessor;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataParseException;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestDataUser;
|
||||
import ch.ethz.infsec.jtestdataaccessor.TestHelper;
|
||||
|
||||
import antlr.RecognitionException;
|
||||
import antlr.TokenStreamException;
|
||||
|
||||
public class ValueTest extends AbstractValueTest implements TestDataUser {
|
||||
|
||||
public static String classUnderTest = "ch.ethz.infsec.jtestdataaccessor.nodes.Value";
|
||||
|
||||
private static TestDataAccessor tda;
|
||||
|
||||
private static TestHelper th;
|
||||
|
||||
public String getClassUnderTest() {
|
||||
return classUnderTest;
|
||||
}
|
||||
|
||||
public Object getTestObject() {
|
||||
return testObject;
|
||||
}
|
||||
|
||||
@BeforeClass
|
||||
public static void basicEnvSetup() throws FileNotFoundException,
|
||||
RecognitionException, TokenStreamException, TestDataParseException {
|
||||
tda = new TestDataAccessor(
|
||||
"src/test/resources/ch/ethz/infsec/jtestdataaccessor/nodes/TestdataValue");
|
||||
th = new TestHelper(classUnderTest,tda);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void getValueTest() throws Throwable {
|
||||
String methodname = "getValue";
|
||||
th.doTest(methodname, this);
|
||||
}
|
||||
|
||||
public Object wrapped_getValue() throws Throwable{
|
||||
return testObject.getValue();
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,13 @@
|
|||
[getSorted]
|
||||
resulttype = int[];
|
||||
setup = setup1();
|
||||
{
|
||||
checker = resultCheck1();
|
||||
}
|
||||
|
||||
[getInvalidSorted]
|
||||
resulttype = int[];
|
||||
setup = setup1();
|
||||
{
|
||||
checker = resultCheck1();
|
||||
}
|
||||
|
|
@ -0,0 +1,17 @@
|
|||
[max]
|
||||
resulttype = int;
|
||||
inputtypes = int[];
|
||||
{
|
||||
input = getInput1();
|
||||
result = 9;
|
||||
checker = EQUALS;
|
||||
}
|
||||
{
|
||||
input = getInput1();
|
||||
result = 0;
|
||||
checker = NOTEQUAL;
|
||||
}
|
||||
{
|
||||
input = getInput2();
|
||||
result = java.lang.Exception;
|
||||
}
|
||||
|
|
@ -0,0 +1,15 @@
|
|||
[getValue]
|
||||
resulttype = String;
|
||||
setup = setup1();
|
||||
{
|
||||
result = "Hallo, Welt!";
|
||||
checker = EQUALS;
|
||||
}
|
||||
|
||||
[getValue]
|
||||
resulttype = String;
|
||||
setup = setup2();
|
||||
{
|
||||
result = "Hello, World!";
|
||||
checker = EQUALS;
|
||||
}
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
[foo]
|
||||
{
|
||||
inputtypes = int, Boolean, String;
|
||||
}
|
||||
|
|
@ -0,0 +1,2 @@
|
|||
[foo]
|
||||
input = 1, true, "Hi";
|
||||
|
|
@ -0,0 +1 @@
|
|||
[foo]
|
||||
|
|
@ -0,0 +1,2 @@
|
|||
[foo]
|
||||
inputtypes = int
|
||||
|
|
@ -0,0 +1,2 @@
|
|||
[foo]
|
||||
inputtype = int, Boolean, String;
|
||||
|
|
@ -0,0 +1,32 @@
|
|||
[function-under-test]
|
||||
resulttype = boolean; # Type of result if non-void
|
||||
inputtypes = int, boolean, String; # Types of arguments - at least used for
|
||||
# overloading
|
||||
setup = function1(); # A function from AbstractTestX which sets
|
||||
# up the environment - optional
|
||||
teardown = function2(); # A function from AbstractTestX which tears
|
||||
# down the environment - optional
|
||||
{
|
||||
input = 1, true, "Hi";
|
||||
result = false;
|
||||
checker = EQUALS; # A function which checks the result, eg.
|
||||
# using a function provided by junit
|
||||
}
|
||||
{
|
||||
input = 100, true, "Foo";
|
||||
result = resultgen();
|
||||
checker = resultcheck(); # A function which checks the result, eg.
|
||||
# a user defined function
|
||||
}
|
||||
[function-under-test] # Different testdata for the same function,
|
||||
# eg. used for overloading or when testing
|
||||
# another environment
|
||||
resulttype = boolean;
|
||||
inputtypes = int, int, boolean, String;
|
||||
setup = function3();
|
||||
teardown = function2();
|
||||
{
|
||||
input = 1, 1, inputgen(), "Bar";
|
||||
result = java.lang.Exception;
|
||||
comment = "Test if an exception is thrown"; # Comment to describe the test
|
||||
}
|
||||
|
|
@ -0,0 +1,30 @@
|
|||
[foo]
|
||||
resulttype = boolean;
|
||||
inputtypes = int, Boolean, String;
|
||||
setup = function1();
|
||||
teardown = function2();
|
||||
{
|
||||
input = 1, true, "Hi";
|
||||
result = false;
|
||||
checker = EQUALS;
|
||||
}
|
||||
|
||||
[bar]
|
||||
resulttype = boolean;
|
||||
inputtypes = int, Double;
|
||||
{
|
||||
input = 1, 3.141592;
|
||||
result = java.lang.Exception;
|
||||
}
|
||||
|
||||
[bar]
|
||||
resulttype = boolean;
|
||||
inputtypes = int, Double;
|
||||
{
|
||||
input = 1, getInput();
|
||||
result = false;
|
||||
}
|
||||
{
|
||||
input = 'c', getInput();
|
||||
result = false;
|
||||
}
|
||||
|
|
@ -0,0 +1,16 @@
|
|||
[foo]
|
||||
{
|
||||
input = 1, true, "Hi";
|
||||
result = false;
|
||||
checker = EQUALS;
|
||||
}
|
||||
resulttype = boolean;
|
||||
inputtypes = int, Boolean, String;
|
||||
setup = function1();
|
||||
teardown = function2();
|
||||
{
|
||||
input = 1, true, "Hi";
|
||||
result = false;
|
||||
checker = EQUALS;
|
||||
}
|
||||
teardown = function3();
|
||||
Loading…
Reference in New Issue