LSC: A Logic-based Tool for LSC Simualation and Consistency Testing
LCT is an LSC (Live Sequence Chart) model-based test generator, for LSC simulation and consistency testing.
Given an executable LSC model and an extended symbolic context-free grammar specifying plausible system inputs,
LCT performs a model-based simulation to
You may download the LCT tool
and its user guide.
- ensure the consistency of the model with respect to the specified inputs;
- generate corresponding test cases for validating the system;
- and produce a state transition diagram automatically justifying the model runtime behaviors.