산업공학 (IE interfaces)

  • 제17권2호
  • /
  • Pages.149-157
  • /
  • 2004
  • /
  • 1225-0996(pISSN)
  • /
  • 2234-6465(eISSN)
대한산업공학회 (Korean Institute of Industrial Engineers)
권호 표지

컴포넌트 소프트웨어를 위한 적합성 검증 방법

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)
  • 투고 : 2003.03.03
  • 심사 : 2004.03.04
  • 발행 : 2004.06.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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.

키워드

참고문헌

  1. 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
  2. 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
  3. Hailpern B. and Santhanam, P.(2002), Software Debugging, Testing, and Verification, IBM Systems Journal, 41(1), 4-12
  4. Holzmann, G.J.(1991), Design and Validation of Computer Protocols, Prentice-Hall
  5. 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
  6. Lee K.W. and Krishnan, P.(2001), Towards a Formal Framework for javaBean and Enterprise javeBeans, Reports in Computer Science, University of Canterbury
  7. Lenstra J.K and Rinnooy Kan, A.H.G.(1976), On General Routing Problems, Network, 6, 273-280
  8. Lindo Systems (2003), LINDO System's Index Page, http://www.lindo.com
  9. Minieka, E.(1978), Optimization Algorithms for Network and Graphs, Marcel Dekker Inc
  10. Nakajima S. and Tarnai, T.(2001), Behavioural Analysis of the Enterprise JavaBeans Component Architecture, ucture Notes in Computer Science(LNCS), 2057, 163-182
  11. 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
  12. Sousa J.P. and Garlan, D.(2001), Formal Modeling of Enterprise JavaBeans Component Integration Framework, Information and Software Technology, 43, 171-188
  13. Sun Microsystems (2003), Enterprise javaBeans(TM) Specification, http://java.sun.com/ products/ejb
  14. 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