Note 2010-08-13: In the version 1.4, which is now the one that is possible to download, there are strange messages. After a bit of debugging I figured out that it has to do with linefeeds. Using a dos linefeed on e.g. gives a message that the parameters are invalid, which is not the case.

I hava a newer (corrected) version (now only for Mac OS X), ask if it is healpful. I will try to make it available in the weekend. This version has support for lists and sets.

Note 2: Today I work on a completely new version including a new test case generation algorithm and new observers. This has been done in a more generic way using the Hessel Observer Libs. For UPPAAL CoVer the UPPAAL timed automata languages will still be supported using UPPAAL, but this will not be the only use of the libs.

UPPAAL CoVer is a tool for creating test suites from UPPAAL models with coverage specified by coverage observers a.k.a. observer automata. UPPAAL CoVer is developed from UPPAAL version 4.0. The Solaris platform is no longer be supported. The supported platforms are now Win32, Linux, Mac OS X (Intel and PowerPC).

Download

Current version of UPPAAL CoVer (1.4) is available in the download section.