By Topic

Verification of Mobile SMS Application with Model Checking Agent

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Bujang, S.D.A. ; Fac. of Comput. Sci. & Inf. Syst., Univ. Teknol. Malaysia (UTM), Johor Bahru, Malaysia ; Selamat, A.

Recently, concerns have been raised regarding to the trustworthiness of software systems which are used in many critical business applications. Based on the general survey and users feedbacks there are several unexpected errors arise during the processing of software system. Therefore, the systems that suppose to give business entities a sufficient service has lead to the devastating failures. In this paper, we propose a model checking agent approach for verification of text messages using formal method in the Short Message Services (SMS). The agent that we design is able to play a role of handling the verification of SMS application. The verification process is handled by model checking agent that based on automata model with the support of model checking method. The model checking method will verify the correctness of the design so that it follows the required requirements. From the experiments, this approach has been able to support the SMS application to be efficient, maintainable and verifiable for the mobile application industries.

Published in:

Information and Multimedia Technology, 2009. ICIMT '09. International Conference on

Date of Conference:

16-18 Dec. 2009