DocumentCode :
3484897
Title :
Automatic verification for plural virtual machines patches
Author :
Yamato, Yoji
Author_Institution :
NTT Software Innovation Center, NTT Corp., Musashino, Japan
fYear :
2015
fDate :
7-10 July 2015
Firstpage :
837
Lastpage :
838
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Ubiquitous and Future Networks (ICUFN), 2015 Seventh International Conference on
Conference_Location :
Sapporo
ISSN :
2288-0712
Type :
conf
DOI :
10.1109/ICUFN.2015.7182660
Filename :
7182660
Link To Document :
بازگشت