header
Image processing application B

Tag:
Edit edit   Starstar

Program Information

Name: Image processing application B
Domain: Graph and Image
Functionality: Applying partial oracles in order to automatically test several parts of a jpeg2000 encoder as an example for an image processing application in an integrated environment.
Input: An uncompressed color image
Output: Three individually decomposed color components.

Reference

 Automating Software Tests with Partial Oracles in Integrated Environments https://doi.org/10.1145/1808266.1808280;
Automating unit and integration testing with partial oracles https://doi.org/10.1007/s11219-011-9151-x;  

MR Information

MR1------

Description:
Property:
Input relation: Add an offset to the color values.
Output relation: Only the DC component must be affected.
Pattern:

MR2------

Description:
Property:
Input relation: Multiply the color values by a coefficient. 
Output relation: Every pixel has to be affected.
Pattern:

MR3------

Description:
Property:
Input relation: Transpose the pixel array of the input image. 
Output relation: The resulting components have to be transposed. 
Pattern:

MR4------

Description:
Property:
Input relation: Enlarge the input image with zero-padding.  
Output relation: The resulting components have to be shifted. 
Pattern:

MR5------

Description:
Property:
Input relation: Invert the color values of the input image.
Output relation: The color values of the resulting components have to be inverted. 
Pattern:
Insert title here