본문 바로가기
KERD
논문KCI 등재

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

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

최은만|안영희
한국정보처리학회|2004.08|정보처리학회논문지D (The KIPS Transactions : Part D)|제11권 제4호|pp. 855-864

1

조회

0

다운로드

1

인용

0

참고문헌

키워드

웹 기반 어플리케이션(Web-based Application)소프트웨어 테스트(Software Test)정형적 명세(Formal Specification)테스트 자동화(Test Automation)Object-Z
주제분류공학

초록

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

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.

참고문헌 (27)

  1. T. A. Powell et al, "Web Site Engineering：Beyond Web Page Design" (1998), Prentice-Hall
  2. 최은만, "웹 기반 소프트웨어의 시험 및 검증 기술", pp.pp.19-~26 (2001)
  3. 최은만, "OCL로 기술된 객체지향 설계 명세의 테스트 케이스 생성", 8-d(6호), pp.843~852 (2001)
  4. B. Beizer, "Software Testing Technique" (1990), International Thomson Computer Press
  5. B. Potter et al, "An Introduction to Formal Specification and Z" (1996), Prentice Hall
  6. C. Liu,D. Kung, "An object-oriented web test model for testing Web applications", pp.111~120 (2000)
  7. D. Harel, "Statecharts：A Visual Formalism for Complex Systems", 8, pp.231~274 (1987)
  8. D. J. Richardson, "Specification- based test oracles for reactive system", pp.105~118 (1992)
  9. D. Kung, "Design Recovery for Software Testing of Object-Oriented Programs Proc. of the Working Conference on Reverse Engineering", pp.202~211 (1993)
  10. D. Kung, "A Test Strategy for Object-Oriented Systems Proc. of Computer Software and Applications Conference", pp.239~244 (1995)
  11. D. Kung, "Proc. of Computer Software and Applications Conference", pp.222~227 (1994)
  12. E. Miller, "WebSite Quality ChallengeWhite Paper" (2000)
  13. E. Miller, "WebSite Testing＂White Paper" (2000)
  14. G. Smith, "State-Based Formal Methods for Distributed Processing：From Z to Object-Z" (2001), University of Queensland
  15. G. Smith, "The Object-Z Specification Language," (2000), Kluwer Academic Publishers
  16. H. Nguyen, "Testing Applications on the Web" (2001), Wiley
  17. H. S. Hong, "Testing of object- oriented programs based on finite state machines", pp.234~241 (1995)
  18. H. Zhu et al, "Software requirements validation via task analysis", 61, pp.145~169 (2002)
  19. J. Conallen, "Modeling Web Application Architectures with UML", 42(10), pp.63~70 (1999)
  20. J. Jacky, "The Way of Z：Practical Programming with Formal Methods" (1997), Cambridge University Press
  21. K. Chang et al, "Testing object-oriented programs：from formal specification to test scenario generation", 42, pp.141~151 (1998)
  22. K. Chang, "Test scenario generation based on formal specification and usage profile", 10(2) (2000)
  23. M. Cartwright, "Empirical Perspectives on Maintaining Web Systems：", 26, pp.786~796 (2000)
  24. P. A. Stocks,D. Carrington, "Test templates：A specification- based testing framework", pp.405~414 (1993)
  25. R. Binder, "Testing Object-Oriented Systems：Models, Patterns, and Tools" (1999), , Addison-Wesley
  26. R. Duke, "The Object-Z specification languageTechnical Report 91-1", pp.~1 (1991), Software Verification Research CentreDepartment of Computer Science University of Queensland
  27. S. Liao, "Testing object- oriented programs Based on Usage Profiles and Formal Specifications", pp.9~16

관련 논문AI추천

웹 기반 어플리케이션의 기능 테스트 자동화 방법국승학, 김현수한국정보처리학회 · 정보처리학회논문지D2007 · 제14권 제5호다양한 웹 기반 소프트웨어의 테스트를 위한 효율적인 테스트 케이스의 생성김현수, 최은만한국정보처리학회 · 정보처리학회논문지D2005 · 제12권 제4호Z명세를 이용한 EJB 컴포넌트의 구현마대성한국정보교육학회 · 정보교육학회논문지2004 · 제8권 제4호웹 응용프로그램의 상호운용성 분석과 테스팅 방법김익수, 최종명(사)디지털산업정보학회 · (사)디지털산업정보학회 논문지2010 · 제6권 제1호Alloy 명세 기반 자동 테스트 데이터 생성 기법정인상한국정보처리학회 · 정보처리학회논문지D2007 · 제14권 제2호웹 어플리케이션의 사용자 인터페이스 테스트 자동화 기법권영호, 최은만한국정보처리학회 · 정보처리학회논문지D2003 · 제10권 제2호

이 간행물의 다른 논문 (25건)

데이타베이스 워크로드 분석 : 실험적 연구이상호, 오정석pp. 747-754웹 서비스를 이용한 바이오 서열 정보 데이터베이스 및 통합 검색 시스템 개발용환승, 이수정pp. 755-764생물 정보원에 대한 통합 접근을 위한 랩퍼 모델박은경, 강동완, 배종민, 정채영pp. 765-774공통 유사 서브스키마 추출을 통한 개념적 스키마 통합 : 다중 데이터베이스 시스템 적용사례이원조, 고재진pp. 775-782편재형 컴퓨팅 환경에서의 e-비즈니스 응용을 위한 분할 동기화 이동 트랜잭션 처리 모델김영국, 최미선pp. 783-798
원문 보기