Automated Test Case Generation for ASSL Self-managing Policies
To detect errors introduced not only with the ASSL specifications, but also with the supplementary coding following the
automatic code generation, the automatic verification provided by the ASSL tools is about to be augmented by appropriate
Test Generator Tool. This tool automates the generation of test cases for self-management policies in ways that support
incremental testing and provide immediate visual feedback.
The objective of this project is to develop UML-like presentation of the ASSL tiers where a visual environment that
implements the ASSL mathematical models will help expert designers to efficiently build autonomic systems via
modeling customizable ASSL specifications with the drag-and-drop technique. This approach helps developers to
visually specify and model with ASSL by using the drag-and-drop technique to introduce new tier instances to an
ASSL specification. These tier instances are presented with a customizable visual interface that is used to set the
appropriate tier features. In addition, visual connectors are used to connect tier instances in an appropriate hierarchical
order that is necessitated by the ASSL multi-tier specification model.