Software V&V support by parametric analysis of large software simulation systems

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2009, Pages

  Schumann, Johann ^a   Gundy Burlet, Karen ^a   Pǎsǎreanu, Corina ^a   Menzies, Tim ^b   Barrett, Anthony ^c  

^a NASA AMES RESEARCH CENTER   (United States)

^b WEST VIRGINIA UNIVERSITY   (United States)

^c CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE SOFTWARE; AUTOMATIC ANALYSIS; BAYESIAN CLUSTERING; COMBINATORIAL PARAMETERS; COMPREHENSIVE ANALYSIS; CRITICAL PARAMETER; MACHINE LEARNING TECHNOLOGY; MODEL-BASED; MONTE CARLO; MULTI VARIATE ANALYSIS; NONLINEAR NATURE; OPERATING POINTS; PARAMETER SPACES; PARAMETRIC ANALYSIS; ROOT CAUSE; SOFTWARE SIMULATION; SYSTEM COMPONENTS; TEST CASE GENERATION;

DECISION MAKING; MULTIVARIANT ANALYSIS; THREE TERM CONTROL SYSTEMS;

COMPUTER SOFTWARE;

EID: 70349130408     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2009.4839618     Document Type: Conference Paper

References (22)

1. Menzies, T. and Sinsel, E. Practical large scale what-if queries: Case studies with software risk assessment. In Proceedings ASE 2000, 2000. Available from http://menzies.us/pdf/00ase.pdf.
2. Gray, J., Lin, Y., and Zhang, J. Automating change evolution in model-driven engineering. IEEE Computer, 39(2):51-58, February 2006.
3. Bell, J., E. A. Hover testing of a prototype small planetary spacecraft. In Submitted to IAC'08, the 59th International Astronautical Congress, Glasgow, 2008.
4. Menzies, T. and Hu, Y. Data mining for very busy people. In IEEE Computer, November 2003. Available from http://menzies.us/pdf/03tar2.pdf.
5. Dunietz, I. S., Ehrlich, W. K., Szablak, B. D., Mallows, C. L., and Iannino, A. Applying design of experiments to software testing: experience report. In Proc. ICSE '97, pages 205-215, 1997.
6. Wallace, D. R. and Kuhn, D. R. Failure modes in medical device software: an analysis of 15 years of recall data. International Journal of Reliability, Quality and Safety Engineering, 8(4), 2001.
7. Mats Grindal, Jeff Offutt, S. F. A. Combination testing strategies: a survey. Software Testing, Verification and Reliability, 15(3):167-199, 2005.
8. Tai, K. and Lie, Y. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 28(1):109-111, 2002.
9. Czerwonka, J. Pairwise testing in real world, practical extensions to test case generators. In Proceedings of 24th Pacific Northwest Software Quality Conference, 2006.
10. D. Cohen, S. Dalal, J. Parelius, and G. Patton, "The combinatorial design approach to automatic test generation," Software, IEEE, 13(5):83-88, Sep 1996.
11. C. S. Pǎsǎreanu, J. Schumann, P. Mehlitz, M. Lowry, G. Karsai, H. Nine, S. Neema. Model Based Analysis and Test Generation for Flight Software In preparation, 2009.
12. Bay, S. and Pazzani, M. Detecting change in categorical data: Mining contrast sets. In Proceedings of the Fifth International Conference on Knowledge Discovery and Data Mining, 1999.
13. C. S. Pǎsǎreanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. Lowry, S. Person, and M. Pape, "Combining unit-level symbolic execution and system-level concrete execution for testing NASA software," in Proc. of ISSTA, 2008.
14. J. Schumann, H. Jafari, T. Pressburger, E. Denney, W. Buntine, and B. Fischer. AutoBayes Program Synthesis System Users Manual. NASA/TM-2008-215366, 2008.
15. B. Fischer and J. Schumann, "AutoBayes: A system for generating data analysis programs from statistical models," J. Functional Programming, 13(3):483-508, 2003.
16. Dempster, A. P., Laird, N. M., and Rubin, D. B. Maximum likelihood from incomplete data via the EM algorithm (with discussion). J. of the Royal Statistical Society series B, 39:1-38, 1977.
17. Cheeseman, P. and Stutz, J. Bayesian classification (AutoClass): Theory and results. In Fayyad, U. M., Piatetsky-Shapiro, G., Smyth, P., and Uthurusamy, R., editors, Proc. 2nd Intl. Conf. Knowledge Discovery and Data Mining, pages 153-180. AAAI Press, 1996.
18. McLachlan, G., Peel, D., Basford, K. E., and Adams, P. The EMMIX software for the fitting of mixtures of normal and t-components. J. Statistical Software, 4(2), 1999.
19. Fraley, C. and Raftery, A. E. MCLUST: Software for model-based clustering, density estimation, and discriminant analysis. Technical Report 415, Department of Statistics, University of Washington, October 2002.
20. Y. Hu, "Treatment learning," masters thesis, University of British Columbia, 2002.
21. K. Gundy-Burlet, J. Schumann, T. Menzies, and T. Barrett, "Parametric analysis of Antares re-entry guidance algorithms using advanced test generation and data analysis," in Proc. iSAIRAS, 2008.
22. Buntine, W. L. Operations for learning with graphical models. J. AI Research, 2:159-225, 1994.