Title :
Automatic verification for plural virtual machines patches
Author_Institution :
NTT Software Innovation Center, NTT Corp., Musashino, Japan
Abstract :
Regarding to IaaS virtual machine operations, the problem is high operation costs because users need to distribute and verify software patches for their virtual machines. I proposed an automatic verification technology for each virtual machine patch in previous work. This paper studies an improvement of automatic verifications of system tests with plural virtual machines.
Keywords :
cloud computing; program verification; virtual machines; IaaS virtual machine operations; automatic verification technology; high-operation cost problem; plural virtual machine patches; software patch distribution; software patch verification; system tests; Benchmark testing; Cloud computing; Data mining; Heating; Servers; Virtual machining; Automatic verification; Cloud Computing; IaaS; Jenkins; OpenStack; System Test;
Conference_Titel :
Ubiquitous and Future Networks (ICUFN), 2015 Seventh International Conference on
Conference_Location :
Sapporo
DOI :
10.1109/ICUFN.2015.7182660