Universiti Teknologi Malaysia Institutional Repository

Verification of mobile SMS application with model checking agent

Abdul Bujang, Siti Dianah (2009) Verification of mobile SMS application with model checking agent. In: 2009 International Conference on Information and Multimedia Technology (ICIMT 2009) , 2009, Jeju Island, Korea (South) .


Official URL: http://dx.doi.org/10.1109/ICIMT.2009.105


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.

Item Type:Conference or Workshop Item (Paper)
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:16239
Deposited By: Mrs Liza Porijo
Deposited On:21 Oct 2011 02:57
Last Modified:21 Oct 2011 02:57

Repository Staff Only: item control page