Using models to assess impact of defective software

Juan C. Augusto, George Wilkie, Chunping Li, Hui Wang, Jun Liu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Abstract

    We explain a new strategy to model a set of java classes and to abstract a model from them that can be use to study the impact that defects affecting specific classes can have on the whole system. We use the models of the software implementation as an abstraction of the software that can be used for experimentation We used simulation and verification in SPIN but the idea can be applied to implementations in other languages than java and the analysis of defects impact can be done with other verification tools as well.

    Original languageEnglish
    Title of host publicationProc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011
    Pages71-77
    Number of pages7
    Publication statusPublished - 2011
    EventProc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011 - Beijing, China
    Duration: 8 Jun 201111 Jun 2011

    Publication series

    NameProc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011

    Conference

    ConferenceProc. of the Int. Joint Workshop on Information Value Management, IVM, Future Trends of Model-Driven Development, FTMDD, RTSOABIS and MSVVEIS 2011, in Conjunction with ICEIS 2011
    CountryChina
    CityBeijing
    Period8/06/1111/06/11

    Fingerprint

    Dive into the research topics of 'Using models to assess impact of defective software'. Together they form a unique fingerprint.

    Cite this