Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Computer Engineering
Specifying And Checking Method Call Sequences In Jml, Yoonsik Cheon, Ashaveena Perumandla
Specifying And Checking Method Call Sequences In Jml, Yoonsik Cheon, Ashaveena Perumandla
Departmental Technical Reports (CS)
In a pre- and post-conditions style specification, it is difficult to specify allowed sequences of method calls, often called protocols. However, the protocols are essential properties of reusable object-oriented classes and application frameworks, and the approaches based on the pre- and post-conditions, such as design by contracts (DBC) and formal behavioral interface specification languages (BISL), are being accepted as a practical and effective way of describing precise interfaces of (reusable) program modules. We propose a simple extension to JML, a BISL for Java, to specify protocol properties in an intuitive and concise manner. We also define a formal semantics of …
A Complete Automation Of Unit Testing For Java Programs, Yoonsik Cheon, Myoung Yee Kim, Ashaveena Perumandla
A Complete Automation Of Unit Testing For Java Programs, Yoonsik Cheon, Myoung Yee Kim, Ashaveena Perumandla
Departmental Technical Reports (CS)
Program testing is expensive and labor-intensive, often consuming more than half of the total development costs, and yet it is frequently not done well and the results are not always satisfactory. However, testing is the primary method to ensure that programs comply with requirements. We describe our on-going project that attempts to completely automate unit testing of object-oriented programs. Our project investigates the use of an evolutionary approach, called genetic algorithms, for the test data generation and the use of program specifications, written in JML, for the test result determination. A proof-of-concept tool has been implemented and shows that a …