Academy & Industry Research Collaboration Center (AIRCC)

Volume 9, Number 2, February 2019

Parallel Verification Execution with Verify Algebra in A Cloud Environment


Kan Luo1, Siyuan Wang1, An Wei2, Wei Yu1, Kai Hu1, 1Beihang University, Beijing, China
and 2China Mobile(Hangzhou) Information Technology Co.,Ltd


Soft-as-a-Service (SaaS) is a software delivery model that contains composition, development and execution on cloud platforms. And massive SaaS applications need verifying before deployed. To get the verify results of a large quantity of applications in a tolerate time, verify algebra (VA) is used to cut down the number of combinations to be verified. VA is an effective way to acquire the verify statue by using previous results. In VA, the verify result is calculated without knowing the process of verification. In this way, the verification task can be distributed to servers and executed in any order. This paper proposes method called component disassembly tree to decompose a complex SaaS application. And designs a parallel verification framework in cloud environment. The Optimization of execution is discussed. The proposed parallel schema is simulated in MapReduce.


Verification, SaaS, Components Combinations