Project

General

Profile

Download (1.52 KB)

Feature #10622 ยป tags.json

Ilja Zakharov, 12/15/2020 07:10 PM

 

{
"name": "EMG",
"description": "Tags related to generation of environment models",
"children": [
{
"name": "Specs",
"description": "Tags related to environment model specifications",
"children": [
{
"name": "MissCategory",
"description": "There is no corresponding environment model specification at all."
},
{
"name": "MissTrigger",
"description": "Require to model register or deregister function to trigger entry points invocation scenario."
},
{
"name": "MissEntryPoint",
"description": "An entry point is not called at all."
},
{
"name": "BadParams",
"description": "An infeasible entry point parameters initialization."
},
{
"name": "BadSequence",
"description": "An infeasible sequence of entry point calls.",
"children": []
},
{
"name": "BadComposition",
"description": "An incorrect model of a composition of several entry points invocation scenarios."
}
]
},
{
"name": "Check final state",
"description": "Checking final state is redundant and should be avoided"
}
]
}
    (1-1/1)