Functional Testing for Virtualization Technology and Environment