The moseltest Mosel program is a general framework for testing Mosel using source Mosel files, C programs or Java programs. It can also be used for testing pre-compiled models, packages or applications (in the form of zip archives) and optionally collect coverage statistics during the execution of the tests.
For its execution moseltest requires a valid Xpress installation and, if the tests are written in C or Java, also the corresponding development tools:
- for Java: java and javac
- for C: cc and make (Unix); cl and nmake (Windows)
- If you do not have any recent installation of FICO Xpress, download the free Xpress Community Edition from Xpress Community Edition download, located on FICO's website. Please note that this download is solely governed under FICO's Xpress Community License, Shrinkwrap License Agreement, FICO Xpress Optimization Suite, FICO Xpress Insight.
- Download the source file moseltest.mos from this repository.
As input, the moseltest program expects either a directory containing the files to process or a single file or an archive name. This input information is passed via the SRCDIR model parameter (default value: 'alltests'). For instance to run the Mosel program myexampletest.mos:
mosel moseltest SRCDIR=myexampletest.mos
Running a set of tests in the default location 'alltests', keeping a copy of all output logs in 'report.txt' (by default, only failures are logged):
mosel moseltest SAVELOGS=true
When using a directory as the source for test files, any directory structure is accepted (i.e. all subdirectories are traversed and files are processed in alphabetical order).
The coverage mode is enabled by specifying a list of Mosel packages or models in the COVLST parameter. The optional COVREP setting selects additional report formats. Any packages and models to be profiled need to be provided in compiled form (using the -G option), their location is specified via the LIBPATH parameter, additional locations for source files can be stated via the COVSRC parameter (for LIBPATH and COVSRC: employ the path separator ';' under Windows, otherwise ':'):
mosel moseltest SRCDIR=covtests COVLST="mypkg mypkg2 mypkg3 mymodel myapp.zip" COVREP=3 LIBPATH="pkgs/P1;pkgs/P2"
The subdirectory 'alltests' contains a set of demo examples showing different use cases of the testing system (not exhaustive, please refer to PDF-format documentation for the full set of options and supported file formats).
| File or directory | Description |
|---|---|
| simpletest.mos | single Mosel file with moseltest tags |
| testwithdata.dir | single Mosel file with data file packaged into a separate directory |
| runmyexampletest.mcf | test configuration file to run myexampletest.bim (not provided, needs to be compiled from myexampletest.mos) |
| incltest.dir | Mosel files with include files |
| javatest.dir | Java program (compiled by the test) executing a Mosel model |
| math.dir | Mosel file using a DSO that is built by the test (Copy of math_test.mos ) |
| pkgtest.dir | Mosel file using a package that is built by the test |
See the PDF-format documentation or text-format documentation for the full documentation of this program.
See source code files for copyright notices.
The components in this repository are licensed under the Apache License, Version 2.0. See LICENSE for the full license text.