Swan Test constructs

Swan Test extends the Swan language by adhering to its syntax and rules while adding extensions to allow testing and debugging of Swan operators. Interface definitions are not supported in a Test module. The Test module body is exclusively defined by a file with the .swant extension. The Test module includes the following Test objects:

• Test module
• Test harness
• Data source
• Sensor handling
• Oracle

To include a Test module in a Model, use the Model.add_test_module() method.

To get a Test module, use the Model.get_test_module() method.

If the Model.load_all_modules() method is called, all project modules including Test modules will be loaded.

See also Module body and interface creation.