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 : Computer Science

최광훈 ¹

¹ LG전자

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.
KEYWORDS

테스트 (Testing) , SMS , 자동 테스트 데이터 생성 (Automatic Test Data Generation) , Haskell , QuickCheck
REFERENCES (14)

[web] 동아일보 / LG 휴대전화 문자 오류 S/W 업그레이드 / http: / /news.donga.com/Economy/New/ 3/ 01/ 20100101/25157647/1&top=1

[journal] H.Zhu / 1997 / Software unit test coverage and adequacy / Computing Surveys 29 (4) : 366~427

[confproc] Koen Claessen / 2000 / QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs / ICFP, ACM SIGPLAN : 268~279

[journal] J.Duran / 1984 / An evaluation of random testing / Transactions on Software Engineering 10 (4) : 438~444

[book] D.Hamle / 1994 / Random Testing In Encyclopedia of Software Engineering / Wiley : 970~978

[journal] R.Hamlet / 1990 / Partition testing does not inspire confidence / Transactions on Software Engineering 16 (12) : 1403~1411

[web] / QuickCheck:Automatic testing of Haskell programs / http://www.haskell.org/package/QuickCheck

[web] / The 3rd Generation Partnership Project(3GPP) / http://www.3gpp.org

[other] 3GPP TS 23.040 V6.7.0 / 2006 / 3rd Generation Partnership Project; Technical Specification Group CoreNetwork and Terminals; Technical Realization of the Short Message Service (SMS) (Release 6)

[other] 3GPP TS 23.038 V7.0.0 / 2006 / 3rd Generation partn ership Project; Technical Specification Group Core Network and Terminals; Alphabets and Language-specific Information (Release 7)

[web] / http://hackage.haskell.org/package/GenSmsPdu / http://hackage.haskell.org/package/GenSmsPdu

[journal] Malcolm Wallace / 1999 / Haskell and XML: Generic Combinators or Type-Based Translation? / ICFP 148 (159)

[journal] 권기창 / 1995 / 역추적 결함 시뮬레이션을 이용한 새로운 테스트 생성 알고리즘 / 한국컴퓨터정보학회지 2 (1) : 121~129

[journal] 김경우 / 2002 / 무선인터넷의 현황과 미래 전망에 관한 연구 / 한국컴퓨터정보학회지 9 (2) : 19~38
KCI Citation (0)

KJC Korea
Journal Central

Statistics

Tools