Antonia Bertolino
Lorenzo Strigini
- BS94.A. Bertolino, L. Strigini, "On the use of testability measures in dependability assessment", SHIP Project Technical Report T034, August 1994.Google Scholar
- Dem87.R. A. DeMillo, et al., Software TestinK and Evaluation, The Benjamin/Cummings Publishing Company Inc., Menlo Park, California, 1987. Google ScholarDigital Library
- FW93.P. G. Frankl and E. J. Weyuker, "A Formal Analysis of the Fault Detection Ability of Testing Methods", IEEE Trans. Software Eng., Vol. 19, No. 3, March 1993, pp 202- 213. Google ScholarDigital Library
- Ham87.R. G. Hamlet, "Probable Correctness Theory", Info. Processing Letters, Vol. 25, Apr. 1987, pp. 17-25. Google ScholarDigital Library
- Ham92.D. Hamlet, "Are we testing for true reliability?", IEEE Software, July 1992, pp. 21-27. Google ScholarDigital Library
- HH93.W E, Howden and Y. Huang, "Analysis of Testing Methods Using Failure Rate and Testability Models", Tech. Report CSE, Univ. of California at San Diego, 1993.Google Scholar
- How93.W. E. Howden, "Scientific Foundations for Practical Software Testing and Analysis", Proc. of the Sixth Int. Software Quality Week, S. Francisco, CA, May 25-28, 1993, par 1-3.Google Scholar
- HT90.D. Hamlet and R. Taylor, "Partition Testing Does Not Inspire Confidence", IEEE Trans. Software Eng., Vol. 16, No. 12, Dec. 1990, pp. 1402-1411. Google ScholarDigital Library
- HV93.D. Hamlet and J. Voas, "Faults on Its Sleeve: Amplifying Software Reliability Testing", 1993 Int. Symposium on Software Testing and Analysis (ISSTA), Cambridge, Massachusetts, June 28-30, 1993, pp. 89- 98, in SIGSOFT Software Eng. Notes, Vol. 18 (3). Google ScholarDigital Library
- Lap92.J. C. Laprie, Dependability: Basic Concepts and Terminology, Dependable Computing and Fault-Tolerant Systems, Vol. 5, Springer-Verlag, Wien New York, 1992. Google ScholarDigital Library
- LS93.B, Littlewood and L. Strigini, "Validation of Ultra-High Dependability for Software-based Systems", Communications of the ACM , Vol. 36(1 1), November 1993, pp.69-80. Google ScholarDigital Library
- Mil92.K. Miller et al., "Estimating the Probability of Failure When Testing Reveals No Failures", IEEE Trans. Software Eng., Vol. 18 (l), Jan. 1992, pp 33-44. Google ScholarDigital Library
- Mus93.J. D. hhtsa, "Operational Profiles in Software-Reliability Engineering", IEEE Sojlware, March 1993, pp. 14-32. Google ScholarDigital Library
- PSK90.D. L. Parnas, A. J. van Schouwen, and S. P. Kwan, "Evaluation of Safety-Critical Software", Communications of the ACM , Vol. 33 (6), June 1990, pp. 636-648. Google ScholarDigital Library
- VM92.J. Voas and K. Miller, "Improving the Software Development Process Using Testability Research", Proc. of the Third Int. Symposium on Soft. Reliability Engineering, Oct. 7-10, 1992, pp. 114-121.Google ScholarCross Ref
- VMM91.J. Voas, L. Morell and K. Miller, "Predicting" Where Faults Can Hide from Testing", IEEE Software, March 1991, pp. 41-48. Google ScholarDigital Library
- Voa92.J. M. Voas, "PIE: A Dynamic Failure-Based Technique", IEEE Ttans. Software Eng., Vol. 18, No. 8, August 1992, Pp 717-727. Google ScholarDigital Library
- WWH91.E. J. Weyuker, S. N. Weiss and D. Hamlet, "Comparison 01 Program Testing Stratcgies", Proc. of the Symposium on Testing, Analysis and Vericaion (TAV 4), Victoria, British Columbia, Oct. 8-10, 1991, pp. 1-10. Google ScholarDigital Library
Index Terms
- Using testability measures for dependability assessment
Recommendations
On the Use of Testability Measures for Dependability Assessment
Program "testability" is, informally, the probability that a program will fail under test if it contains at least one fault. When a dependability assessment has to be derived from the observation of a series of failure-free test executions (a common ...
Development Risk Assessment in Software Projects Using Dependability Models
CSE '13: Proceedings of the 2013 IEEE 16th International Conference on Computational Science and EngineeringRisk management is a prominent activity, which aims the mitigation of undesirable issues during a project lifetime. In this context, techniques have been proposed to evaluate the impact of risks, but probability estimates are usually neglected, ...
Dependability Assessment of Grid Middleware
DSN '07: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and NetworksDependability is a key factor in any software system due to the potential costs in both time and money a failure may cause. Given the complexity of Grid applications that rely on dependable Grid middleware, tools for the assessment of Grid middleware ...
Comments