Verification of mobile SMS application with model checking agent

Abstract

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.