Heimdahl, MatsRayadurgam, SanjaiVisser, Willem2020-12-102020-12-102001Second International Workshop on Analysis, Testing and Verification, Toronto, Canada, May 2001https://hdl.handle.net/11299/217351Associated research group: Critical Systems Research GroupThis position paper discusses a framework for automating the testing of systems with stringent structural coverage requirements, for example, avionics systems. The framework covers testing of the model of the desired behavior as well as the resulting implementation. We use a formal model of the required software behavior as the central component of our testing strategy; we call this approach specification centered testing. We discuss how a model checker can be used to automatically generate complete test sequences that will provide arbitrary structural coverage of the requirements specification as well as the code implementing the requirements.Report