Model-based testing with chi and TorX : a case study of the ASML laser subsystem

N.C.W.M. Braspenning, J.M. Mortel - Fronczak, van de, J.E. Rooda

    Research output: Contribution to journalArticleProfessional

    110 Downloads (Pure)


    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.
    Original languageEnglish
    Pages (from-to)17-23
    Number of pages7
    JournalXOOTIC Magazine
    Issue number2
    Publication statusPublished - 2005


    Dive into the research topics of 'Model-based testing with chi and TorX : a case study of the ASML laser subsystem'. Together they form a unique fingerprint.

    Cite this