Browse > Article
http://dx.doi.org/10.3745/KIPSTD.2004.11D.4.855

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

Ahn, Young-Hee (동국대학교 대학원 컴퓨터공학과)
Choi, Eun-Man (동국대학교 컴퓨터공학과)
Publication Information
The KIPS Transactions:PartD / v.11D, no.4, 2004 , pp. 855-864 More about this Journal
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.
Keywords
Web-based Application; Software Test; Formal Specification; Object-Z; Test Automation;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 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
2 E. Miller, 'WebSite Testing,' White Paper, http://www.soft.com
3 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
4 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
5 K. Chang et al., 'Testing object-oriented programs : from formal specification to test scenario generation,' Journal Systems and Software, 42, pp.141-151, 1998   DOI   ScienceOn
6 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   DOI   ScienceOn
7 P. A. Stocks, D. Carrington, 'Test templates : A specificationbased testing framework,' Proceedings of the 15th International Conference on Software engineering, pp.405-414, 1993
8 최은만, 'OCL로 기술된 객체지향 설계 명세의 테스트 케이스 생성', 정보처리학회논문지D, 제8-D권 제6호, pp.843-852, 2001   과학기술학회마을
9 T. A. Powell et al., Web Site Engineering : Beyond Web Page Design, Prentice-Hall, 1998
10 최은만, '웹 기반 소프트웨어의 시험 및 검증 기술', 정보과학회지, pp.19-26, Nov., 2001   과학기술학회마을
11 B. Beizer, Software Testing Techniques, International Thomson Computer Press, 2nd Edition, 1990
12 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   DOI
13 J. Jacky, The Way of Z : Practical Programming with Formal Methods, Cambridge University Press, 1997
14 E. Miller, 'WebSite Quality Challenge,' White Paper, http://www.soft.com, 2000
15 G. Smith, The Object-Z Specification Language, Kluwer Academic Publishers, 2000
16 H. Nguyen, Testing Applications on the Web, Wiley, 2001
17 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   DOI
18 R. Binder, Testing Object-Oriented Systems : Models, Patterns, and Tools, Addison-Wesley, 1999
19 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
20 T. A. Powell et al. Web Site Engineering : Beyond Web Page Design, Prentice-Hall, 1998
21 B. Potter et al., An Introduction to Formal Specification and Z, Prentice Hall, 2nd edition, 1996
22 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   DOI
23 D. Harel, 'Statecharts : A Visual Formalism for Complex Systems,' Science Computer Programming, Vol.8, pp.231-274, 1987   DOI   ScienceOn
24 M. Cartwright, Empirical Perspectives on Maintaining Web Systems : A Short Review, IEEE Trans. on Software Engineering, Vol.26-8, pp.786-796, Aug., 2000   DOI   ScienceOn
25 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   DOI
26 H. Zhu et al., 'Software requirements validation via task analysis,' Journal of Systems and Software, 61, pp.145-169, 2002   DOI   ScienceOn
27 J. Conallen, 'Modeling Web Application Architectures with UML,' Communications of the ACM, Vol.42, No.10, pp.63-70, October, 1999   DOI
28 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