Skip to main content
placeholder image

Testing model transformation programs using metamorphic testing

Conference Paper


Download full-text (Open Access)

Abstract


  • Model transformations are crucial for the success of

    Model Driven Engineering. Testing is a prevailing technique

    of verifying the correctness of model transformation

    programs. A major challenge in model transformation testing

    is the oracle problem, which refers to the difficulty or

    high cost in determining the correctness of the output models.

    Metamorphic Testing alleviates the oracle problem by

    making use of the relationships among the inputs and outputs

    of multiple executions of the target function. This paper

    investigates the effectiveness and feasibility of metamorphic

    testing in testing model transformation programs. Empirical

    results show that metamorphic testing is an effective

    testing method for model transformation programs.

Authors


  •   Jiang, Mingyue (external author)
  •   Chen, Tsong Yueh (external author)
  •   Kuo, Diana (external author)
  •   Zhi Quan (George) Zhou
  •   Ding, Zuohua (external author)

Publication Date


  • 2014

Citation


  • Jiang, M., Chen, T., Kuo, F., Zhou, Z. & Ding, Z. (2014). Testing model transformation programs using metamorphic testing. 26th International Conference on Software Engineering & Knowledge Engineering (SEKE 2014) (pp. 94-99). Canada: Knowledge Systems Institute Graduate School.

Scopus Eid


  • 2-s2.0-84938366467

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=4250&context=eispapers

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers/3234

Has Global Citation Frequency


Start Page


  • 94

End Page


  • 99

Place Of Publication


  • Canada

Abstract


  • Model transformations are crucial for the success of

    Model Driven Engineering. Testing is a prevailing technique

    of verifying the correctness of model transformation

    programs. A major challenge in model transformation testing

    is the oracle problem, which refers to the difficulty or

    high cost in determining the correctness of the output models.

    Metamorphic Testing alleviates the oracle problem by

    making use of the relationships among the inputs and outputs

    of multiple executions of the target function. This paper

    investigates the effectiveness and feasibility of metamorphic

    testing in testing model transformation programs. Empirical

    results show that metamorphic testing is an effective

    testing method for model transformation programs.

Authors


  •   Jiang, Mingyue (external author)
  •   Chen, Tsong Yueh (external author)
  •   Kuo, Diana (external author)
  •   Zhi Quan (George) Zhou
  •   Ding, Zuohua (external author)

Publication Date


  • 2014

Citation


  • Jiang, M., Chen, T., Kuo, F., Zhou, Z. & Ding, Z. (2014). Testing model transformation programs using metamorphic testing. 26th International Conference on Software Engineering & Knowledge Engineering (SEKE 2014) (pp. 94-99). Canada: Knowledge Systems Institute Graduate School.

Scopus Eid


  • 2-s2.0-84938366467

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=4250&context=eispapers

Ro Metadata Url


  • http://ro.uow.edu.au/eispapers/3234

Has Global Citation Frequency


Start Page


  • 94

End Page


  • 99

Place Of Publication


  • Canada