The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

A Testing Method for Web-Based Banking Applications Using Formal Specification

정형 명세를 이용한 웹 기반 은행 어플리케이션의 테스트 기법

  • 안영희 (동국대학교 대학원 컴퓨터공학과) ;
  • 최은만 (동국대학교 컴퓨터공학과)
  • Published : 2004.08.01
Download PDF
⟨ Previous Next ⟩

Abstract

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

Keywords

References

  1. T. A. Powell et al., Web Site Engineering : Beyond Web Page Design, Prentice-Hall, 1998
  2. 최은만, '웹 기반 소프트웨어의 시험 및 검증 기술', 정보과학회지, pp.19-26, Nov., 2001
  3. 최은만, 'OCL로 기술된 객체지향 설계 명세의 테스트 케이스 생성', 정보처리학회논문지D, 제8-D권 제6호, pp.843-852, 2001
  4. B. Beizer, Software Testing Techniques, International Thomson Computer Press, 2nd Edition, 1990
  5. B. Potter et al., An Introduction to Formal Specification and Z, Prentice Hall, 2nd edition, 1996
  6. C. Liu, D. Kung and P. Hsia, 'An object-oriented web test model for testing Web applications,' Proceedings of the FIrst Asia-Pacific Conference on Quality Software, pp.111-120, 2000 https://doi.org/10.1109/APAQ.2000.883784
  7. D. Harel, 'Statecharts : A Visual Formalism for Complex Systems,' Science Computer Programming, Vol.8, pp.231-274, 1987 https://doi.org/10.1016/0167-6423(87)90035-9
  8. D. J. Richardson, S. L. Ahs, T. O. O'Malley, 'Specification-based test oracles for reactive system,' Proc. of 14th ICSE, pp.105-118, 1992 https://doi.org/10.1145/143062.143100
  9. D. Kung, J. Gao, P. Hsia, J. Lin and Y. Toyoshima, 'Design Recovery for Software Testing of Object-Oriented Programs,' Proc. of the Working Conference on Reverse Engineering, IEEE Computer Society Press, Baltimore, Mayland, pp.202-211, May, 1993 https://doi.org/10.1109/WCRE.1993.287764
  10. D. Kung, J. Gao, P. Hsia, Y. Toyoshima and C. Chen, 'A Test Strategy for Object-Oriented Systems,' Proc. of Computer Software and Applications Conference, IEEE Computer Society Press, Dallas Texas, pp.239-244, August, 1995
  11. D. Kung, N. Suchak, P. Hsia, Y. Toyoshima and C. Chen, 'On Object State Testing,' Proc. of Computer Software and Applications Conference, IEEE Computer Society Press, pp.222-227, 1994
  12. E. Miller, 'WebSite Quality Challenge,' White Paper, http://www.soft.com, 2000
  13. E. Miller, 'WebSite Testing,' White Paper, http://www.soft.com
  14. G. Smith, 'State-Based Formal Methods for Distributed Processing : From Z to Objet-Z,' Technical Report 01-34, Software Verification Research Centre, University of Queensland, 2001
  15. G. Smith, The Object-Z Specification Language, Kluwer Academic Publishers, 2000
  16. H. Nguyen, Testing Applications on the Web, Wiley, 2001
  17. H. S. Hong, Y. R. Kwon and S. D. Cha, 'Testing of objectoriented programs based on finite state machines,' In Proceedings of the Second Asia-Pacific Software Engineering Conference (Brisbane, Australia), pp.234-241, December, 1995 https://doi.org/10.1109/APSEC.1995.496972
  18. H. Zhu et al., 'Software requirements validation via task analysis,' Journal of Systems and Software, 61, pp.145-169, 2002 https://doi.org/10.1016/S0164-1212(01)00109-1
  19. J. Conallen, 'Modeling Web Application Architectures with UML,' Communications of the ACM, Vol.42, No.10, pp.63-70, October, 1999 https://doi.org/10.1145/317665.317677
  20. J. Jacky, The Way of Z : Practical Programming with Formal Methods, Cambridge University Press, 1997
  21. K. Chang et al., 'Testing object-oriented programs : from formal specification to test scenario generation,' Journal Systems and Software, 42, pp.141-151, 1998 https://doi.org/10.1016/S0164-1212(98)10005-5
  22. K. Chang, S. Liao, R. Chapman and C. Chen, 'Test scenario generation based on formal specification and usage profile,' International Journal of Software Engineering and Knowledge Engineering, Vol.10, No.2, 2000 https://doi.org/10.1142/S0218194000000110
  23. M. Cartwright, Empirical Perspectives on Maintaining Web Systems : A Short Review, IEEE Trans. on Software Engineering, Vol.26-8, pp.786-796, Aug., 2000 https://doi.org/10.1109/32.879814
  24. P. A. Stocks, D. Carrington, 'Test templates : A specificationbased testing framework,' Proceedings of the 15th International Conference on Software engineering, pp.405-414, 1993
  25. R. Binder, Testing Object-Oriented Systems : Models, Patterns, and Tools, Addison-Wesley, 1999
  26. R. Duke, P. King, G. Rose and G. Smith, 'The Object-Z specification language, Version 1,' Technical Report 91-1, Software Verification Research Centre, University of Queensland, May, 1991
  27. S. Liao, K. Chang, S. Seidman and C. Chen, 'Testing objectoriented programs Based on Usage Profiles and Formal Specifications,' In Proc. 8th International Conference on Software Engineering and Knowledge Engineering, pp.9-16
  28. T. A. Powell et al. Web Site Engineering : Beyond Web Page Design, Prentice-Hall, 1998