Loading...
Please wait, while we are loading the content...
Similar Documents
TestEra A Novel Framework for Testing Java Programs y
| Content Provider | Semantic Scholar |
|---|---|
| Author | Khurshid, Sarfraz Marinov, Darko |
| Copyright Year | 2003 |
| Abstract | TestEra is a novel framework for automated specification-based testing of Java programs. Given a formal specification for a method, TestEra uses the method precondition to automatically generate all nonisomorphic test inputs up to a given bound. TestEra executes the method on each test input, and uses the method postcondition as a test oracle to check the correctness of each output. TestEra allows users to give specifications as first-order logic formulae. As an enabling technology, TestEra uses the Alloy toolset, which provides an automatic tool for analyzing first-order logic formulae. We have used TestEra to check several Java programs including a networking architecture, the Alloy-alpha analyzer, and methods from the Java Collection Framework. This article describes the TestEra framework and gives experimental results. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://sdg.csail.mit.edu/pubs/2002/testera_asej02.pdf |
| Alternate Webpage(s) | http://sdg.lcs.mit.edu/pubs/2002/testera_asej02.pdf |
| Alternate Webpage(s) | http://www.cs.wm.edu/~coppit/other-papers/testera_asej02.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
