Browse > Article
http://dx.doi.org/10.9708/jksci.2010.15.6.001

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

Choi, Kwang-Hoon (LG전자)
Publication Information
Journal of the Korea Society of Computer and Information / v.15, no.6, 2010 , pp. 1-9 More about this Journal
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;
Citations & Related Records
연도 인용수 순위
  • Reference
1 "LG 휴대전화 문자 오류 S/W 업그레이드", 동아일보, http://news.donga.com/Economy/New/3/01/20100101/25157647/1&top=1
2 H.Zhu, P.Hall, and J.May, "Software unit test coverage and adequacy," Computing Surveys, Vol. 29, No. 4, pp366-427, December 1997.   DOI
3 Koen Claessen and John Hughes, "QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs," ICFP, pp268-279, ACM SIGPLAN, September 2000.
4 J.Duran and S.Ntafos, "An evaluation of random testing," Transactions on Software Engineering, Vol. 10, No. 4, pp438-444, July 1984.
5 D.Hamle, "Random Testing," In J. Marciniak, editor, Encyclopedia of Software Engineering, Wiley, pp970-978, 1994.
6 R.Hamlet and R.Taylor, "Partition testing does not inspire confidence," Transactions on Software Engineering, Vol. 16, No. 12, pp1402-1411, December 1990.   DOI
7 "QuickCheck:Automatic testing of Haskell programs", http://www.haskell.org/package/QuickCheck
8 The 3rd Generation Partnership Project (3GPP), http://www.3gpp.org
9 3GPP TS 23.040 V6.7.0, "3rd Generation Partnership Project; Technical Specification Group Core Network and Terminals; Technical Realization of the Short Message Service (SMS) (Release 6)", March 2006.
10 3GPP TS 23.038 V7.0.0, "3rd Generation partn ership Project; Technical Specification Group Core Network and Terminals; Alphabets and Language-specific Information (Release 7)", March 2006.
11 http://hackage.haskell.org/package/GenSmsPdu
12 Malcolm Wallace and Colin Runciman, "Haskell and XML: Generic Combinators or Type-Based Translation?," ICFP, pp148-159, March 1999.
13 권기창, 백덕화, 권기룡, "역추적 결함 시뮬레이션을 이용한 새로운 테스트 생성 알고리즘," 한국컴퓨터정보학회지, 제 2권, 제 1호, 121-129쪽, 1995년. 6월.   과학기술학회마을
14 김경우, "무선인터넷의 현황과 미래 전망에 관한 연구," 한국컴퓨터정보학회지, 제 9권, 제 2호, 19-38쪽, 2002년 6월.