Reverse Engineering from Exploratory Testing to Specification-based Testing
Dea-Kwang Kim, Lee-Sub Lee · International Journal of Software Engineering and Its Applications · 2014
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.