Research On SaaS Application Test And Its Automation Based On Multi - Value Model Detection

With the continuous development of cloud computing and maturity of application software, SaaS (Software as a service), as a new way of software services, get more and more recognition by the industry. SaaS is cloud computing terminal user oriented, provides web-based software application service, SaaS model leased to enterprise to use the software as a service mode, enterprises can customize services according to their own needs. Due to the flexibility and convenience of SaaS mode, this mode has a common mode of small and medium-sized enterprise informatization at home and abroad, many traditional software developers have begun in SaaS, and launched a SaaS application service which has its own characteristics. The SaaS applications are mainly concentrated in CRM, ERP, online office, enterprise management and other fields, already made a good development in these areas. But because the users’changeable requirements and complicated implementation process of SaaS application, how to effective verification of the applications’ safety, reliability and validity, ensure that the user can obtain satisfactory service problems become to be solved urgently. SaaS applications and traditional software in the design and implementation of large differences result in traditional software testing method can not to provide the effective inspection; we need to put forward a new method of testing which provides guarantees for the correctness and reliability of the SaaS application.This paper mainly studied the test and automation implementation of SaaS application based on multi-value model checking technology. At first, we introduce the background and research status of SaaS applications, then problems in a SaaS application are briefly analyzed. After that we introduce the classical model checking and related basic theory of automata theory and briefly expound the multi-value model and the properties of multi-valued. And on the basis we mainly illustrate the test method of SaaS application which presented in this paper. This method focuses on the automated testing of two key parts in SaaS application:"process design" and "service configuration". The technical route is building multi-valued model for "process design" and "service configuration".Then we verify whether the SaaS application meets the need of users or not by using multi-valued model checking, and finally automatically generate test cases according the counter-examples. This paper introduced multi-valued logic to get a more accurate description for the uncertainty of SaaS application, providing a new method for SaaS application testing.