Within the TANGRAM project, a case study on model-based testing of the ASML laser subsystem has been performed. The approach used in the case study is based on the proposed model-based testing framework, instantiated with state-of-the-art tooling from the TANGRAM project partners: chi as specification language and TorX as test tool. A chi specification model of the laser state behavior and communication interface has been developed. After verification and validation, the model has been used for automatic model-based testing with TorX. Using this approach, discrepancies between the implementation and specification of the laser subsystem have been found.
|Number of pages||7|
|Publication status||Published - 2005|