%0 Generic %1 Stotts %A Stotts, David %D 2002 %K 20100922 testing %T AJAX: Automating an Informal Formal Method for Systematic JUnit Test Suite Generation %U http://rockfish.cs.unc.edu/misc/ajax-SEL02abst.pdf %X The JUnit testing tool is widely used to support the central XP concept of "test first" software development. We previously introduced an informal use of formal ADT semantics for guiding JUnit test method generation 16. Called JAX (for Junit AXioms), the method does not require the programmer to learn and use any formal notation in order to gain some benefits from a formal method; no notations are involved other than Java. Experiments showed that manual application of the JAX method produces JUnit test suites that expose more coding errors than ad hoc JUnit test case development. The previous research emphasized a manual programming procedure as a way to work the formal benefits into practice more easily. In this paper we discuss AJAX (Automated JAX), extensions we have made to the JUnit Java classes to automate the application of JAX to various degrees. The tradeoff is that for the highest degree of automation, the programmer will need to learn and develop formalisms (ADT axioms); to ease this potential burden we use a programming notation (ML) for the formalism. Our JUnit extensions will be available for download.

@misc{Stotts, abstract = {The JUnit testing tool is widely used to support the central XP concept of "test first" software development. We previously introduced an informal use of formal ADT semantics for guiding JUnit test method generation [16]. Called JAX (for Junit AXioms), the method does not require the programmer to learn and use any formal notation in order to gain some benefits from a formal method; no notations are involved other than Java. Experiments showed that manual application of the JAX method produces JUnit test suites that expose more coding errors than ad hoc JUnit test case development. The previous research emphasized a manual programming procedure as a way to work the formal benefits into practice more easily. In this paper we discuss AJAX (Automated JAX), extensions we have made to the JUnit Java classes to automate the application of JAX to various degrees. The tradeoff is that for the highest degree of automation, the programmer will need to learn and develop formalisms (ADT axioms); to ease this potential burden we use a programming notation (ML) for the formalism. Our JUnit extensions will be available for download.}, added-at = {2010-09-22T13:59:20.000+0200}, author = {Stotts, David}, biburl = {https://www.bibsonomy.org/bibtex/2f2d23be0eaeeeba1b2b6d7bfecb9e157/lama}, file = {:Stotts,AjaxAutomatingAnInformalFormalMethodForSystematicJUnitTestSuiteGeneration.PDF:PDF}, interhash = {158627a144ca333dde283afd370e489e}, intrahash = {f2d23be0eaeeeba1b2b6d7bfecb9e157}, keywords = {20100922 testing}, timestamp = {2010-09-22T13:59:20.000+0200}, title = {AJAX: Automating an Informal Formal Method for Systematic JUnit Test Suite Generation}, url = {http://rockfish.cs.unc.edu/misc/ajax-SEL02abst.pdf}, year = 2002 }