Subject Infrastructure Repository

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

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)