본문 바로가기
  • Home

A Study on the Verification Scheme of SMS Encoding and Decoding Module

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2010, 15(6), pp.1-9
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

최광훈 1

1LG전자

Accredited

ABSTRACT

This paper proposes a test method for compliance of SMS encoder and decoder modules with 3GPP (3rd Generation Partnership Project) specification on SMS PDU (Protocol Data Unit). The existing tools have focused on providing an SMS gateway and on helping to view and edit a single SMS PDU, which rarely help to resolve the compliance test problem. The proposed compliance test method is based on an automatic generation of SMS PDUs fully compliant with the 3GPP specification by using QuickCheck library written in Haskell. By applying the proposed method to a C-based SMS encoder and decoder in Linux Mobile platform, we have found out several critical bugs such as wrong interpretation of time stamps in BCD format. The automatic SMS PDU generator is reusable in that it only depends on the 3GPP SMS specification. The QuickCheck library is also applicable for testing other network protocol data encoders and decoders, as used in this paper.

Citation status

* References for papers published after 2023 are currently being built.