TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications

摘要

In this paper, we present a novel framework TESTAF to support automatic generation and execution of test cases using object-oriented formal specifications. We use IFAD VDM++ as the specification language, but the ideas presented can be applied equally wel