...
Box A. Correct by constructionThe following examples show usage of the new Python API. The API supports a correct by construction approach. For example, adding tasks of the same name at the same level will throw a RuntimeError exception:
|
Box B. CheckingExpression checkingSome checking has to be deferred until the definition is fully defined. Here is a simple example showing the checking of trigger expressions:
Job checkingJob creation is the process of locating an '.ecf' script corresponding to a task and then generating a job file. This can be checked before a definition is loaded into the server using the Python API.
Dead lock checkingSimulation allows a suite definition to be checked without the need for scripts or a server. By default the simulation will run for a year before quitting. This can take a couple a seconds to a few minutes depending on the complexity of the suite definition. However, it is most useful where we have a definition which is known to complete. Here is an example which will cause a deadlock that is detectable by the simulator. |
...