Subject Infrastructure Repository

Get Access!
 
Home
SIR Software Objects
 
SIR Users and Publications
Frequently Asked Questions
Repository License
 
Acknowledgments

Trityp - The Classic Triangle Classification Program

Trityp is an implementation of the classic triangle classification program from Introduction to Software Testing by Ammann and Offutt. The program takes three input integers from the console and determines whether they represent the dimensions of a triangle, and if so, the specific type of triangle.

This particular program version is annotated with new assertions that check correctness of the triangle classification algorithm. These assertions can simply be used as runtime checks for test executions or be utilized in the evaluation of assertion-driven techniques, e.g., as in Yang[Yang1] et al.'s ICSE 2014 paper on iProperty.

[Yang1]. Guowei Yang, Sarfraz Khurshid, Suzette Person, and Neha Rungta, "Property Differencing for Incremental Checking", in proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, May 31 - June 7, 2014, pages 1059-1070, © 2014 ACM, New York, NY, USA, 978-1-4503-2756

 


Try the following link to upgrade the page display. (Explanation)