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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 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 (in print/issue) - 2011
Event	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 - Beijing, China Duration: 8 Jun 2011 → 11 Jun 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

Conference

Conference	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
Country/Territory	China
City	Beijing
Period	8/06/11 → 11/06/11

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{2b665aef1d144cb6a88d16ee0d743f88,

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

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

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

}

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, 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, Beijing, China, 8/06/11.

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 › peer-review

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

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.

UR - http://www.scopus.com/inward/record.url?scp=84865246077&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84865246077

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

T2 - 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

Y2 - 8 June 2011 through 11 June 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

Conference

Other files and links

Fingerprint

Cite this