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


The KIPS Transactions:PartD, Vol. 11, No. 4, pp. 855-864, Aug. 2004
10.3745/KIPSTD.2004.11.4.855,   PDF Download:

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.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
Y. H. Ahn and E. M. Choi, "A Testing Method For Web-Based Banking Applications Using Formal Specification," The KIPS Transactions:PartD, vol. 11, no. 4, pp. 855-864, 2004. DOI: 10.3745/KIPSTD.2004.11.4.855.

[ACM Style]
Young Hee Ahn and Eun Man Choi. 2004. A Testing Method For Web-Based Banking Applications Using Formal Specification. The KIPS Transactions:PartD, 11, 4, (2004), 855-864. DOI: 10.3745/KIPSTD.2004.11.4.855.