Middleware Test Framework for Mobile Devices

이동단말용 미들웨어 테스트 프레임워크

  • 신석규 (한국정보통신기술협회 SW시험인증센터) ;
  • 이상수 (한국정보통신기술협회 SW시험인증센터) ;
  • 양해술 (호서대학교 벤처전문대학원)
  • Published : 2007.08.31

Abstract

Middleware for mobile devices, embedded middleware, is used for mobile devices, cellular phone and DMB related services. It is essential for middleware providers to provide high quality middleware in conformity with its standard and interoperability on hardware platforms. The standard conformance and interoperability of embedded middleware are the key factors to make service providers succeed in their business. The quality of embedded middleware could be secured when Tests for the standard conformance and interoperability of embedded middleware are performed with well established test framework. In this paper, we describe middleware testing methodology of standard conformance, interoperability and middleware test framework for mobile devices.

Keywords

References

  1. Clarke, E. M., Emerson, E. A. and A. P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specification", ACM Transactions on Programming Languages and Systems, Vol.8, No.2(1986)
  2. Gordon, M. J. C., "HOL : aproof generating system for higher-order logic", VLSI Specification, Verification and Synthsis, 1988, pp.73-128
  3. Kurshan, R. P., "Reducibility in analysis of coordination", LNCS, volume Vol.103, 1987, pp.19-39
  4. Burch, J., Clarke, E., Dill, D., Hwang, L. and K. McMillan, "Symbolic model checking : 10^{20} states and beyond", Proceedings of the 5th IEEE Symposium on Logic in Computer Science, 1990
  5. Ben-Abdallah, H., Clarke, D., Lee, I. and O. Sokolsky, "PARAGON : A Paradigm for the Specification, Verification, and Testing of Real-Time Systems", IEEE Aerospace Conference, Vol.2, 1997, pp.469- 488