원문정보
초록
영어
GUI testing takes a crucial role of acceptance testing. SBT (Specification-based Testing) and ET (exploratory testing) are mainly used for GUI testing. SBT is not practical because it requires high level experts and a lot of efforts for creating specifications. Therefore, in most cases, test cases are manually written based on ET by testers. However, ET requires heavy labor cost for enhancing coverages. Thus, it is not programmatic for better coverage than SBT. In this paper, to take advantages of SBT we proposed a method applying a reverse engineering concept which automatically generates formal specifications from manually written test cases. The paper also proposed a method to expand uncovered test paths and test data. The generated specifications could contribute to enhance the quality of software with a few additional manual tasks.
목차
1. Introduction
2. Related Works
2.1. Exploratory Testing
2.2. Model-based Testing
3. From Exploratory Testing to Specification-based Testing
3.1. Reverse Engineering in the Testing Domain
3.2. Foreword and Reverse Engineering in the Test Domain
3.3. Detail Steps in the Reverse Engineering
4. Conclusion
Acknowledgements
References