JUnit swMATH ID: 7262 Software Authors: Cheon, Yoonsik; Leavens, Gary T. Description: A simple and practical approach to unit testing: The JML and JUnit way. Writing unit test code is labor-intensive, hence it is often not done as an integral part of programming. However, unit testing is a practical approach to increasing the correctness and quality of software; for example, the Extreme Programming approach relies on frequent unit testing. par In this paper we present a new approach that makes writing unit tests easier. It uses a formal specification language’s runtime assertion checker to decide whether methods are working correctly, thus automating the writing of unit test oracles. These oracles can be easily combined with hand-written test data. Instead of writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes the programmer’s task easier, because specifications are more concise and abstract than the equivalent test code, and hence more readable and maintainable. Furthermore, by using specifications in testing, specification errors are quickly discovered, so the specifications are more likely to provide useful documentation and inputs to other tools. We have implemented this idea using the Java Modeling Language (JML) and the JUnit testing framework, but the approach could be easily implemented with other combinations of formal specification languages and unit test tools. Homepage: http://junit.org/ Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; KRAKATOA; Rostra; Daikon; Symstra; LARCH; Defects4J; GitHub; Java PathFinder; Jass; JCrasher; TestEra; SIMPLIFY; Bugbench; Travis CI Cited in: 15 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A simple and practical approach to unit testing: The JML and JUnit way. Zbl 1049.68762Cheon, Yoonsik; Leavens, Gary T. 2002 all top 5 Cited by 39 Authors 2 Cheon, Yoonsik 2 Leavens, Gary T. 1 Ahrendt, Wolfgang 1 Akhavan-Tabatabaei, Raha 1 Carlier, Matthieu 1 Chimento, Jesús Mauricio 1 Clifton, Curtis 1 Cok, David R. 1 Dubois, Catherine 1 Engel, Christian 1 Fahland, Dirk 1 Frydrych, Dalibor 1 Góez, Julio César 1 Golden, Bruce L. 1 Hähnle, Reiner 1 Hightower, Richard 1 Link, Johannes 1 Logozzo, Francesco 1 Lum, Oliver 1 Marinov, Darko 1 Nagmoti, Rinkesh 1 Notkin, David 1 Pace, Gordon J. 1 Pérez, Juan F. 1 Riaño, Germán 1 Rodríguez, Ismael 1 Rosa-Velardo, Fernando 1 Rubio, Fernando 1 Ruby, Clyde 1 Sarmiento-Romero, Andrés 1 Sarmiento, Andrés 1 Schneider, Gerardo 1 Schulte, Wolfram 1 Silva, Daniel F. 1 Stahl, Christian 1 Wasil, Edward A. 1 Westergaard, Michael 1 Xie, Tao 1 Zimmerman, Daniel M. Cited in 5 Serials 1 ACM Transactions on Mathematical Software 1 Science of Computer Programming 1 Formal Methods in System Design 1 Mathematical Programming Computation 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 13 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mathematics education (97-XX) Citations by Year