TY - GEN
T1 - TestEra
T2 - 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
AU - Khalek, Shadi Abdul
AU - Yang, Guowei
AU - Zhang, Lingming
AU - Marinov, Darko
AU - Khurshid, Sarfraz
PY - 2011
Y1 - 2011
N2 - This tool paper presents an embodiment of TestEra - a framework developed in previous work for specification-based testing of Java programs. To test a Java method, TestEra uses the method's pre-condition specification to generate test inputs and the post-condition to check correctness of outputs. TestEra supports specifications written in Alloy - a first-order, declarative language based on relations - and uses the SAT-based back-end of the Alloy tool-set for systematic generation of test suites. Each test case is a JUnit test method, which performs three key steps: (1) initialization of pre-state, i.e., creation of inputs to the method under test; (2) invocation of the method; and (3) checking the correctness of post-state, i.e., checking the method output. The tool supports visualization of inputs and outputs as object graphs for graphical illustration of method behavior. TestEra is available for download to be used as a library or as an Eclipse plug-in.
AB - This tool paper presents an embodiment of TestEra - a framework developed in previous work for specification-based testing of Java programs. To test a Java method, TestEra uses the method's pre-condition specification to generate test inputs and the post-condition to check correctness of outputs. TestEra supports specifications written in Alloy - a first-order, declarative language based on relations - and uses the SAT-based back-end of the Alloy tool-set for systematic generation of test suites. Each test case is a JUnit test method, which performs three key steps: (1) initialization of pre-state, i.e., creation of inputs to the method under test; (2) invocation of the method; and (3) checking the correctness of post-state, i.e., checking the method output. The tool supports visualization of inputs and outputs as object graphs for graphical illustration of method behavior. TestEra is available for download to be used as a library or as an Eclipse plug-in.
UR - http://www.scopus.com/inward/record.url?scp=84855418318&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84855418318&partnerID=8YFLogxK
U2 - 10.1109/ASE.2011.6100137
DO - 10.1109/ASE.2011.6100137
M3 - Conference contribution
AN - SCOPUS:84855418318
SN - 9781457716393
T3 - 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings
SP - 608
EP - 611
BT - 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings
Y2 - 6 November 2011 through 10 November 2011
ER -