Download AMC - Tool support for automating Model Checking Lifecycle

Id
Use Case
Description
Precondition
Input
Output
Error
1.5
Change a group to a different section.
Change a group from a section to another one.
A group to be changed to another section and the destination
section.
The group is deleted from its section and added to the destination one.
-
Id
Use Case
Description
1.6
Change visibility of groups.
A group is chosen not to appear in the results tables and
viceversa.
Precondition The group has to be in a section to make it invisible and has
to be invisible to make it visible.
Input
A group.
Output
Appear or not to appear in the result table.
Error
-
24