Systematic Testing of Software Architectures in the C2 style