
146 Model-Based Testing for Embedded Systems
Testing Process JUMBL Command Use in the Testing Process
jumbl ManageTest Delete
<test record file with
selector>
Remove selected test cases from a
test record.
jumbl ManageTest Export
<test record file with
selector>
[--type=<exported test
case format>]
[--suffix=<suffix>] [--
extension=.<extension>]
Write individual test cases in a test
record to separate files (usually
used to write test cases in exe-
cutable form for automated test-
ing). By default the individual
test cases are written in TXT
files.
Testing jumbl ManageTest
ReadResults <test
record file><test result
file>
+
Read one or more test result files
containing execution ...