Model and test your specifications


Leveraging Requirements Engineering (RE) and Model-Based Testing (MBT) practices is challenging. On one hand, use case specifications may lack information that is key to automated test case generation. On the other hand, MBT demands can increase costs of RE practices.

Claret – acronym for CentraL Artifact for Requirement Engineering and model-based Testing – is a notation that allows for creation of natural language use case specifications during RE practices as a central artifact for both RE and MBT.

Due to its simplicity and programming like format, we can write Claret specifications in a less bureaucratic way, and, from them, automatically generate RE and MBT artifacts.

An Eclipse plugin supports Claret specification by checking syntax as well as providing visualization of flows for use case revisions.