Browse > Article

Middleware Test Framework for Mobile Devices  

Shin, Seok-Kyoo (한국정보통신기술협회 SW시험인증센터)
Lee, Sang-Soo (한국정보통신기술협회 SW시험인증센터)
Yang, Hae-Sool (호서대학교 벤처전문대학원)
Publication Information
Journal of Information Technology Services / v.6, no.2, 2007 , pp. 153-160 More about this Journal
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
DMB; Standard Conformance; Interoperability;
Citations & Related Records
연도 인용수 순위
  • Reference
1 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
2 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)
3 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
4 Gordon, M. J. C., "HOL : aproof generating system for higher-order logic", VLSI Specification, Verification and Synthsis, 1988, pp.73-128
5 Kurshan, R. P., "Reducibility in analysis of coordination", LNCS, volume Vol.103, 1987, pp.19-39