Mobile application testing requires the use of a model to guide such efforts as test selection and test verification. Often, such models are implicit, existing only in the head of a human tester, applying test inputs in an ad hoc fashion. The mental model testers build encapsulates application behavior, allowing testers to understand the application’s capabilities and more effectively test its range of possible behaviors. When these mental models are written down, they become sharable, reusable testing artifacts. In this case, testers are performing what has become to be known as model-based testing. Model-based testing is a new and evolving technique for generating a suite of test cases from requirements. Testers using this approach concentrate on a data model and generation infrastructure instead of hand-crafting individual tests. In this paper we discuss the characteristics of automotive model-based development processes, the consequences for test development and the need to reconsider testing procedures in practice. Furthermore, we introduce the test tool HMBT (Hybrid Model Based Testing) which masters the complexity of model-based testing in the automotive domain. To illustrate this statement we present a small mobile applications case study. HMBT is based on graphical test models that are not only easy to understand but also powerful enough to express very complex, fully automated closed loop tests in real-time.
목차
Abstract 1. Introduction 2. Related Works 2.1. Models 2.2. Classification of Model Quality Goals 2.3. Model-based testing in practice 3. Hybrid Model Based Testing for Mobile Applications 3.1. Understanding the Mobile Applications System under Test 3.2. Designing Tests 3.3. Hybrid Model Based Testing Process 3.2. Modeling of Hybrid Model-Based Testing (HMBT) 4. Applying HMBT Test Suite to Mobile Application 4.2. Sufficiency of Transition Coverage 4.3. Reduction of Test Suite 4. Evaluation 4.1. Outlook for MBT 4.2. Difficulties and Drawbacks of MBT 5. Conclusion and Future Works Acknowledgements References
키워드
Hybrid Model Based TestingMobile Applications TestingVerification and ValidationQuality AssuranceTesting Strategy
저자
Haeng-Kon Kim [ School of Information Technology, Catholic University of Daegu, Korea ]
보안공학연구지원센터(IJSEIA) [Science & Engineering Research Support Center, Republic of Korea(IJSEIA)]
설립연도
2006
분야
공학>컴퓨터학
소개
1. 보안공학에 대한 각종 조사 및 연구
2. 보안공학에 대한 응용기술 연구 및 발표
3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최
4. 보안공학 기술의 상호 협조 및 정보교환
5. 보안공학에 관한 표준화 사업 및 규격의 제정
6. 보안공학에 관한 산학연 협동의 증진
7. 국제적 학술 교류 및 기술 협력
8. 보안공학에 관한 논문지 발간
9. 기타 본 회 목적 달성에 필요한 사업
간행물
간행물명
International Journal of Software Engineering and Its Applications
간기
월간
pISSN
1738-9984
수록기간
2008~2016
등재여부
SCOPUS
십진분류
KDC 505DDC 605
이 권호 내 다른 논문 / International Journal of Software Engineering and Its Applications Vol.7 No.3