Premium
Verification algebra for multi‐tenant applications in VaaS architecture
Author(s) -
Hu Kai,
Wan Ji,
Luo Kan,
Xu Yuzhuang,
Cheng Zijing,
Tsai WeiTek
Publication year - 2021
Publication title -
software testing, verification and reliability
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.216
H-Index - 49
eISSN - 1099-1689
pISSN - 0960-0833
DOI - 10.1002/stvr.1763
Subject(s) - software as a service , cloud computing , scalability , computer science , component (thermodynamics) , provisioning , service (business) , architecture , service oriented architecture , distributed computing , software , software engineering , operating system , programming language , software development , web service , art , physics , economy , economics , visual arts , thermodynamics
Summary This paper proposes an algebraic system, verification algebra (VA), for reducing the number of component combinations to be verified in multi‐tenant architecture (MTA). MTA is a design architecture used in SaaS (Software‐as‐a‐Service) where a tenant can customize its applications by integrating services already stored in the SaaS databases or newly supplied services. Similar to SaaS, VaaS (Verification‐as‐a‐Service) is a verification service in a cloud that leverages the computing power offered by a cloud environment with automated provisioning, scalability and service composition. In VaaS architecture, however, there is a challenging problem called ‘combinatorial explosion’ that it is difficult to verify a large number of compositions constructed by both quantities of components and various combination structures even with computing resources in cloud. This paper proposes rules to emerge combinations status for future verification, on the basis of the existing results. Both composition patterns and properties are considered and analysed in VA rules.