Using Models to Assess Impact of Defective Software
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.
Juan C. Augusto George Wilkie1 Chunping Li Hui Wang Jun Liu
CSRI and School of Computing and Mathematics, University of Ulster, Coleraine, U.K. School of Software, Tsinghua University, Tsinghua, P.R. China
国际会议
13th International Conference on Enterprise Information System(第13届企业信息系统国际会议 ICEIS 2011)
北京
英文
71-77
2011-06-08（万方平台首次上网日期，不代表论文的发表时间）