header

Program Information

Name: Is scalene triangle
Domain: Geometry
Functionality: Triangle classification program
Input: X: The length of first edge (Type: Real) Y: The length of second edge (Type: Real) Z: The length of third edge (Type: Real)
Output: K: The corresponding triangle as scalene (output = 1), isocele (2), equilateral (3) or illegal (4) (Type: Integer)

Reference



         Automated Metamorphic Testing http://dx.doi.org/10.1109/CMPSAC.2003.1245319     An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis http://dx.doi.org/10.1109/QSIC.2007.4385510 




MR Information

MR1------

Description:
Property:
Source input: <Xs, Ys, Zs>
Source output: Ks
Follow-up input: <Xf, Yf, Zf>
Follow-up output: Kf
Input relation: let {Xf, Yf, Xf
Output relation: Kf = Ks.
Pattern:

MR2------

Description:
Property:
Source input: <Xs, Ys, Zs>
Source output: Ks
Follow-up input: <Xf, Yf, Zf>
Follow-up output: Kf
Input relation: let Xf = 2 * Xs, Yf = 2 * Ys, Zf = 2 * Zs
Output relation: Kf = Ks.
Pattern:
Insert title here