A Language Framework for Test(-ware) Architecture

In a previous paper we presented the approach called Formal Testing, in which computer languages are used in testing activities. In this conceptual framework we showed definitions for Software Architecture and Architectural Pattern, and outlined the concept of Testware Architecture. This paper elaborates on that and describes how a framework of three integrated languages is used to approach Testware Architecture: a Process Definition Language, a Specification Language, and a GUI Description Language. It includes representations of several architectures and a pattern.