SPECIFICATION-BASED AUTOMATED GUI TESTING
GUI testing is currently one of the most expensive and time consuming processes in the software life-cycle and according to some estimates this cost can reach up to 50 to 70% of the whole cost of the project. This paper proposes a framework for specification-based automated GUI testing which employs a GUI analyzer for dynamic analysis and extraction of GUI object information, a system for automatic test case generation driven by Spec#, a test-case execution algorithm that executes test-cases automatically and a verifier that compares the expected with the actual result of the test. Preliminary experimental results demonstrate the efficiency and effectiveness of the framework.
GUI testing Specification- based testing Automatic test-case generation
Andreas S. Andreou Anastasis Sofokleous Charis Panayi
Department of Electrical Engineering and Information Technology, Cyprus University of Technology,Lim Department of Computer Science, University of Cyprus, Nicosia, Cyprus
国际会议
13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)
北京
英文
388-393
2011-06-08(万方平台首次上网日期,不代表论文的发表时间)