Tool support for parametric analysis of large software simulation systems

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 497-498

  Schumann, Johann ^a   Gundy Burlet, Karen ^a   Pǎsǎreanu, Corina ^a   Menzies, Tim ^b   Barrett, Tony ^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

AUTOMATICALLY GENERATED; BAYESIAN CLUSTERING; COMBINATORIAL PARAMETERS; CRITICAL PARAMETERS; DISTRIBUTED TESTS; GUIDANCE , NAVIGATION AND CONTROLS; MANUAL ANALYSIS; MONTE CARLO; NONLINEAR NATURES; OPERATING POINTS; PARAMETER SPACES; PARAMETERIZED; PARAMETRIC ANALYSIS; SIMULATION ENVIRONMENTS; SIMULINK; SMALL SATELLITES; SOFTWARE SIMULATIONS; SOFTWARE SYSTEMS; STATE FLOWS; SUPPORT ENVELOPES; SYSTEM COMPONENTS; SYSTEMS SIMULATIONS; TOOL SUPPORTS;

AUTOMATIC TEST PATTERN GENERATION; DIESEL ENGINES; NASA; SOFTWARE ENGINEERING; THREE TERM CONTROL SYSTEMS; UNIFIED MODELING LANGUAGE;

COMPUTER SOFTWARE;

EID: 56249115950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.89     Document Type: Conference Paper

References (7)

1. K. Vetter, "The trick user's guide, trick 2007.5 release," July 2007.
2. D. Cohen, S. Dalal, J. Parelius, and G. Patton, "The combinatorial design approach to automatic test generation," Software, IEEE, vol. .13, no. 5, pp. 83-88, Sep 1996.
3. I. S. Dunietz, W. K. Ehrlich, B. D. Szablak, C. L. Mallows, and A. Iannino, "Applying design of experiments to software testing: experience report," in ICSE '97: Proceedings of the 19th international conference on Software engineering, 1997, pp. 205-215.
4. 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.
5. B. Fischer and J. Schumann, "AutoBayes: A system for generating data analysis programs from statistical models," J. Functional Programming, vol. 13, no. 3, pp. 483-508, May 2003.
6. Y. Hu, "Treatment learning," 2002, masters thesis, Unviersity of British Columbia, Department of Electrical and Computer Engineering. In preperation.
7. 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 (9th International Symposium on Artifical Intelligence, Robotics and Automation in Space), 2008.