| 681 | Timothy K. Tsai and Mei-Chen Hsueh and Hong Zhao and Zbigniew Kalbarczyk and Ravishankar K. Iyer
Stress-based and Path-based Fault Injection
IEEE Transactions on Computers, 48(11), November 1999. |
|
| | Abstract: he objective of fault injection is to mimic the existence of faults and to force the exercise of the fault tolerance mechanisms of the target system. To maximize the efficacy of each injection, the locations, timing, and conditions for faults being injected must be carefully chosen. Faults should be injected with a high probability of being accessed. This paper presents two fault injection methodologies—stress-based injection and path-based injection; both are based on resource activity analysis to ensure that injections cause fault tolerance activity and, thus, the resulting exercise of fault tolerance mechanisms. The difference between these two methods is that stress-based injection validates the system dependability by monitoring the run-time workload activity at the system level to select faults that coincide with the locations and times of greatest workload activity, while path-based injection validates the system from the application perspective by using an analysis of the program flow and resource usage at the application program level to select faults during the program execution. These two injection methodologies focus separately on the system and process viewpoints to facilitate the testing of system dependability. Details of these two injection methodologies are discussed in this paper, along with their implementations, experimental results, and advantages and disadvantages. |
| | @ARTICLE{TsaiHZKI99,
author = {Timothy K. Tsai and Mei-Chen Hsueh and Hong Zhao and Zbigniew Kalbarczyk and Ravishankar K. Iyer},
title = {Stress-based and Path-based Fault Injection},
journal = {IEEE Transactions on Computers},
year = {1999},
month = {November},
volume = {48},
number = {11},
pages = {1183-1201}
} |
| 682 | Gregg Rothermel and Roland H. Untch and Chengyun Chu and Mary Jean Harrold
Test Case Prioritization: An Empirical Study
1999 International Conference on Software Maintenance, {ICSM} 1999, Oxford, England, UK, August 30 - September 3, 1999, 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{RothermelUCH99,
author = {Gregg Rothermel and Roland H. Untch and Chengyun Chu and Mary Jean Harrold},
title = {Test Case Prioritization: An Empirical Study},
booktitle = {1999 International Conference on Software Maintenance, {ICSM} 1999, Oxford, England, UK, August 30 - September 3, 1999},
year = {1999},
address = {},
month = {},
pages = {179--188}
} |
| 683 | I. Koufareva and Alexandre Petrenko and Nina Yevtushenko
Test Generation Driven by User-defined Fault Models
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems (IWTCS'09)Budapest, Hungary, 1-3 September 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KoufarevaPY99,
author = {I. Koufareva and Alexandre Petrenko and Nina Yevtushenko},
title = {Test Generation Driven by User-defined Fault Models},
booktitle = {Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems (IWTCS'09)},
year = {1999},
address = {Budapest, Hungary},
month = {1-3 September},
pages = {215-236}
} |
| 684 | W. Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
Journal of Systems and Software, 48(2), October 1999. |
|
| | Abstract: An important question in software testing is whether it is reasonable to apply coverage-based criteria as a filter to reduce the size of a test set. An empirical study was conducted using a test set minimization technique to explore the effect of reducing the size of a test set, while keeping block coverage constant, on the fault detection strength of the resulting minimized test set. Two types of test sets were examined. For those with respect to a fixed size, no test case screening was conducted during the generation, whereas for those with respect to a fixed coverage, each subsequent test case had to improve the overall coverage in order to be included. The study reveals that regardless of how a test set is generated, with or without any test case screening, block minimized test sets have a size/effectiveness advantage, in terms of a significant reduction in test set size and with almost the same fault detection effectiveness, over the original non-minimized test sets. |
| | @ARTICLE{WongHMP99,
author = {W. Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini},
title = {Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application},
journal = {Journal of Systems and Software},
year = {1999},
month = {October},
volume = {48},
number = {2},
pages = {79-89}
} |
| 685 | Sandra C. P. F. Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)Talca, Chile, 11-13 November 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FabbriMMD99,
author = {Sandra C. P. F. Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro},
title = {Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing},
booktitle = {Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)},
year = {1999},
address = {Talca, Chile},
month = {11-13 November},
pages = {96}
} |
| 686 | Binder, Robert V.
Testing Object-oriented Systems: Models, Patterns, and Tools
Unknown- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 687 | Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Tatiana Sugeta and Paulo Cesar Masiero
Mutation Testing Applied to Validate Specifications Based on Statecharts
Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE'99)Boca Raton, Florida, 1-4 November 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FabbriMSM99,
author = {Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Tatiana Sugeta and Paulo Cesar Masiero},
title = {Mutation Testing Applied to Validate Specifications Based on Statecharts},
booktitle = {Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE'99)},
year = {1999},
address = {Boca Raton, Florida},
month = {1-4 November},
pages = {210}
} |
| 688 | Sunwoo Kim and John A. Clark and John A. McDermid
The Rigorous Generation of Java Mutation Operators Using HAZOP
Proceedings of the 12th International Cofference Software and Systems Engineering and their Applications (ICSSEA 99)Paris, France, 29 November-1 December 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KimCM99a,
author = {Sunwoo Kim and John A. Clark and John A. McDermid},
title = {The Rigorous Generation of Java Mutation Operators Using HAZOP},
booktitle = {Proceedings of the 12th International Cofference Software and Systems Engineering and their Applications (ICSSEA 99)},
year = {1999},
address = {Paris, France},
month = {29 November-1 December},
pages = {}
} |
| 689 | Sunwoo Kim and John A. Clark and John A. McDermid
Assessing Test Set Adequacy for Object Oriented Programs Using Class Mutation
Proceedings of the 3rd Symposium on Software Technology (SoST'99)Buenos Aires, Argentina, 8-9 September 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KimCM99b,
author = {Sunwoo Kim and John A. Clark and John A. McDermid},
title = {Assessing Test Set Adequacy for Object Oriented Programs Using Class Mutation},
booktitle = {Proceedings of the 3rd Symposium on Software Technology (SoST'99)},
year = {1999},
address = {Buenos Aires, Argentina},
month = {8-9 September},
pages = {}
} |
| 690 | P. Jalote
Testing the completeness of specifications
IEEE Transactions of Software Engineering, 15(5), May 1998. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Jalote98,
author = {P. Jalote},
title = {Testing the completeness of specifications},
journal = {IEEE Transactions of Software Engineering},
year = {1998},
month = {May},
volume = {15},
number = {5},
pages = {526-531}
} |
