The large dimensional space of complex systems and resource constraints preclude exhaustive testing and even significant statistical confidence testing in both verification and validation. Empirical approaches to reducing the number of test cases include equivalence partition sampling, boundary value testing, and orthogonal design of experiments for black box testing; and limited numbers of white-box test points. These approaches can be used a priori to bound the number of test cases. Corroboration is determined from statistical testing that changes the degree of belief in the hypothesis about a system. This project is to identify opportunities and assess the benefits of corroboration testing compared to alternative approaches.
- Glenford J. Meyers, The Art of Software Testing, John Wiley & Sons, 1979.
- Lawrence Bernstein and C. M. Yuhas, Trustworthy Systems Through Quantitative Software Engineering, John Wiley & Sons, 2005.
- Wiley J. Larson, et ai, editors, Applied Space Systems Engineering, McGraw-Hili, New York, 2009.
- Jans Tretmans, editor, Tangram: Model-based integration and testing of complex high-tech systems, Embedded Systems Institute, Eindhoven, The Netherlands, 2007.
- Benjamin S. Blanchard, Dinesh Verma and Elmer R. Peterson, Maintainability: A Key to Effective Serviceability and Maintenance Management, Wiley, New York, 1995.
- Matthew B. Miles and A. Michael Huberman, Qualitative Data Analysis, Second Edition, SAGE Publications, Inc., Thousand Oaks, California, 1994.
- Bojan Cukic, et ai, The Theory of Software Reliability Corroboration, IEICE Transactions on Information and Systems, Vol. E86-D, No. 10, October 2003.
Beyond the four core systems engineering courses, satisfactory completion of SYS/SDOE 611, 660, and/or professional model-based testing experience is desirable.