Browse > Article

A Conformance Test Procedure for the Enterprise JavaBeans  

Joo, Un-Gi (Department of Knowledge and Industrial Engineering, Sunmoon University)
Kim, Joong-Bae (Intelligent Robot Research Division, ETRI)
Publication Information
IE interfaces / v.17, no.2, 2004 , pp. 149-157 More about this Journal
Abstract
This paper considers a conformity testing problem on EJB(Enterprise JavaBeans). The EJB architecture is a component architecture for the development and deployment of component-based distributed business applications. The objective is to find an optimal test sequence for the conformity test between the EJB specification and an implemented one. For the test sequence, we formulate the problem as a rural Chinese postman tour one and use a linear programming formulation. Based upon the formulations, we suggest a conformance test procedure and show its efficiency by applying the procedure to the CMP(Container- Managed persistency) entity bean of the EJB.
Keywords
conformance test; Enterprise JavaBeans; UIO; rural Chinese postman tour;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Hailpern B. and Santhanam, P.(2002), Software Debugging, Testing, and Verification, IBM Systems Journal, 41(1), 4-12
2 Kim, S.-H., Roh, M.-C, Sec, B.-S., Jang, C, Jung, S.-W. and Kim, J.-B.(2002), E504 EJB(Enterprise Java Beans) Server System for Enterprise e-Business, Proceeding of CALS/EC Korea 2002, Korea Institute of CALS/EC, 478-485
3 Lee K.W. and Krishnan, P.(2001), Towards a Formal Framework for javaBean and Enterprise javeBeans, Reports in Computer Science, University of Canterbury
4 Lenstra J.K and Rinnooy Kan, A.H.G.(1976), On General Routing Problems, Network, 6, 273-280
5 Minieka, E.(1978), Optimization Algorithms for Network and Graphs, Marcel Dekker Inc
6 Nakajima S. and Tarnai, T.(2001), Behavioural Analysis of the Enterprise JavaBeans Component Architecture, ucture Notes in Computer Science(LNCS), 2057, 163-182
7 Sidhu, D.P. and Leung, T.-K.(1989), Formal Methods for Protocol Testing: A Detailed Study, IEEE Transactions on Software Engineering, 15(4), 413-426
8 Sousa J.P. and Garlan, D.(2001), Formal Modeling of Enterprise JavaBeans Component Integration Framework, Information and Software Technology, 43, 171-188
9 Sun Microsystems (2003), Enterprise javaBeans(TM) Specification, http://java.sun.com/ products/ejb
10 Uyar M.U. and Dahbura, A.T.(1986), Optimal Test Sequence Generation for Protocols: the Chinese Postman Algorithm Applied to Q.931, Globecom'86, 3.1.1-3.1.5
11 Holzmann, G.J.(1991), Design and Validation of Computer Protocols, Prentice-Hall
12 Abo, A.V., Dahbura, AT., Lee, D. and Vyar, M.V.(1991), An Optimization Technique for Protocol Conformance Test Generation based on VIO Sequence and Rural Chinese Postman Tours, IEEE Transactions on Communications, 39(11), 1604-1615
13 Lindo Systems (2003), LINDO System's Index Page, http://www.lindo.com
14 Csondes, T., Kotnyek, B. and Szabo, J.Z.(2002), Application of Heuristic Methods for Conformance Test Selection, European Journal of Operational Research, 142, 203-218