Model Transformation Impact on Test Artifacts: An Empirical Study

Speaker #1:

          윤영동

Subject:

          Model Transformation Impact on Test Artifacts: An Empirical Study

Published:

           MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation  Pages 5-10

Abstract

           Development environments that support Model-Driven Development often focus on model-level functional testing, enabling verification of design models against their specifications. However, developers of safety-critical software systems are also required to show that tests cover the structure of the implementation. Unfortunately, the implementation structure can diverge from the model depending on choices such as the model compiler or target language. Therefore, structural coverage at the model level may not guarantee coverage of the implementation.

We present results from an industrial experiment that demonstrates the model-compiler effect on test artifacts in xtUML models when these models are transformed into C++. Test artifacts, i.e., predicates and clauses, are used to satisfy the structural code coverage criterion, in this case MCDC, which is required by the US Federal Aviation Administration. The results of the experiment show not only that the implementation contains more test artifacts than the model, but also that the test artifacts can be deterministically enumerated during translation. The analysis identifies two major sources for these additional test artifacts.

 

Speaker #2:

            최현재

Subject:
             
탐색기반 테스트 데이터 생성 연구
Abstract
             
연구 진행 상황 향후 연구 방향



저작자 표시 비영리 변경 금지
신고

설정

트랙백

댓글

609-735 부산 금정구 장전동 부산대학교 자연대연구실험동 305호ㅣ051 - 510 - 3940ㅣsquare _At_ pusan.ac.krㅣ

티스토리 툴바