program verification; program testing; distributed processing; large complex system test; black-box system testing; system test objectives; usage-model approach; system application environments; functional aspects; structure testing technique; nonfunctional aspects
(xsd:string)