A fault model for fault injection analysis of dynamic UML specifications. Ammar, H., Yacoub, S., & Ibrahim, A In 12th International Symposium on Software Reliability Engineering, 2001. ISSRE 2001. Proceedings, pages 74--83, November, 2001.
doi  abstract   bibtex   
Verification and validation (V\&V) tasks, as applied to software specifications, enable early detection of analysis and design flaws prior to implementation. Several fault injection techniques for software V\&V are proposed at the code level. In this paper, we address V\&V analysis methods based on fault injection at the software specification level. We present a fault model and a fault injection process for UML dynamic specifications. We use a case study based on a cardiac pacemaker for illustrating the developed approach.
@inproceedings{ ammar_fault_2001,
  title = {A fault model for fault injection analysis of dynamic {UML} specifications},
  doi = {10.1109/ISSRE.2001.989460},
  abstract = {Verification and validation (V\&V) tasks, as applied to software specifications, enable early detection of analysis and design flaws prior to implementation. Several fault injection techniques for software V\&V are proposed at the code level. In this paper, we address V\&V analysis methods based on fault injection at the software specification level. We present a fault model and a fault injection process for UML dynamic specifications. We use a case study based on a cardiac pacemaker for illustrating the developed approach.},
  booktitle = {12th {International} {Symposium} on {Software} {Reliability} {Engineering}, 2001. {ISSRE} 2001. {Proceedings}},
  author = {Ammar, H.H. and Yacoub, S.M. and Ibrahim, A},
  month = {November},
  year = {2001},
  keywords = {Application software, Collaborative software, Embedded software, Failure analysis, Fault model, Formal specification, Object oriented modeling, Performance analysis, Programming, Software systems, Software verification and validation, Unified modeling language, _done, _model_of_faults, _target_is_specification, _use_for_testing, analytical models, cardiac pacemaker, dynamic UML specifications, fault injection analysis, program verification, software fault tolerance, software specifications, specification languages, statecharts},
  pages = {74--83}
}

Downloads: 0