Using models to assess impact of defective software

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

Using models to assess impact of defective software

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

School of Electronics, Electrical Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English
Title of host publication	Proc. 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
Pages	71-77
Number of pages	7
Publication status	Published - 2011

Publication series

Name	Proc. 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

Bibliographical note

Proc. 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 date: 08-06-2011 Through 11-06-2011

Cite this

Augusto, J. C., Wilkie, G., Li, C., Wang, H., & Liu, J. (2011). Using models to assess impact of defective software. In Proc. 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 (pp. 71-77). (Proc. 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).

Augusto, Juan C. ; Wilkie, George ; Li, Chunping et al. / Using models to assess impact of defective software. Proc. 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. 2011. pp. 71-77 (Proc. 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).

@inproceedings{7e640d1349de4e1b953080b45ea44196,

title = "Using models to assess impact of defective software",

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.",

author = "Augusto, {Juan C.} and George Wilkie and Chunping Li and Hui Wang and Jun Liu",

note = "Proc. 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 date: 08-06-2011 Through 11-06-2011",

year = "2011",

language = "English",

isbn = "9789898425607",

series = "Proc. 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",

pages = "71--77",

booktitle = "Proc. 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",

}

Augusto, JC, Wilkie, G, Li, C, Wang, H & Liu, J 2011, Using models to assess impact of defective software. in Proc. 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. Proc. 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, pp. 71-77.

Using models to assess impact of defective software. / Augusto, Juan C.; Wilkie, George; Li, Chunping et al.
Proc. 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. 2011. p. 71-77 (Proc. 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Using models to assess impact of defective software

AU - Augusto, Juan C.

AU - Wilkie, George

AU - Li, Chunping

AU - Wang, Hui

AU - Liu, Jun

N1 - Proc. 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 date: 08-06-2011 Through 11-06-2011

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

M3 - Conference contribution

SN - 9789898425607

T3 - Proc. 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

SP - 71

EP - 77

BT - Proc. 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

ER -

Augusto JC, Wilkie G, Li C, Wang H, Liu J. Using models to assess impact of defective software. In Proc. 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. 2011. p. 71-77. (Proc. 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).

Using models to assess impact of defective software

Abstract

Publication series

Bibliographical note

Fingerprint

Cite this