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