Functional testing and verification of array systems