Modeling input space for testing scientific computational software: A case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5103 LNCS, Issue PART 3, 2008, Pages 291-300

  Vilkomir, Sergiy A ^a   Swain, W Thomas ^a   Poore, Jesse H ^a   Clarno, Kevin T ^b  

^a University of Tennessee   (United States)

^b OAK RIDGE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODAL ANALYSIS; TESTING;

CASE STUDIES; COMPUTATIONAL SCIENCES; COMPUTATIONAL SOFTWARE; HEIDELBERG (CO); INPUT PARAMETERS; INPUT SPACES; INTERNATIONAL CONFERENCES; MODEL ANALYSIS; NEUTRON TRANSPORT; OAK RIDGE NATIONAL LABORATORY (ORNL); TEST CASE GENERATION;

SOFTWARE TESTING;

EID: 47749154908     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69389-5_34     Document Type: Conference Paper

References (14)

1. Clarno, K., de Almeida, V., d'Azevedo, E., de Oliveira, C., Hamilton, S.: GNES-R: Global Nuclear Energy Simulator for Reactors Task 1: High-Fidelity Neutron Transport. In: Proceedings of PHYSOR-2006, American Nuclear Society Topical Meeting on Reactor Physics: Advances in Nuclear Analysis and Simulation, Vancouver, Canada (2006)
2. Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering 23(7), 437-444 (1997)
3. Cox, M.G., Harris, P.M.: Design and use of reference data sets for testing scientific software. Analytica Chimica Acta 380(2), 339-351 (1999)
4. Einarsson, B. (ed.): Accuracy and Reliability in Scientific Computing. SIAM, Philadelphia (2005)
5. Grindal, M., Offutt, J., Andler, S.F.: Combination testing strategies: A survey. Software Testing, Verification, and Reliability 15(3), 167-199 (2005)
6. Hatton, L.: The T experiments: errors in scientific software. IEEE Computational Science and Engineering 4(2), 27-38 (1997)
7. Howden, W.: Validation of scientific programs. Comput. Surv. 14(2), 193-227 (1982)
8. Lewis, E., Miller Jr., W.F.: Computational Methods of Neutron Transport. ANS (1993)
9. Prowell, S.: TML: A description language for Markov chain usage models. Information and Software Technology 42(12), 835-844 (2000)
10. Prowell, S.: JUMBL: A Tool for Model-Based Statistical Testing. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS 2003), Big Island, HI, USA (2003)
11. Swain, W.T., Scott, S.L.: Model-Based Statistical Testing of a Cluster Utility. In: Sunderam, V.S., van Albada, GD., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005. LNCS, vol. 3514, pp. 443-450. Springer, Heidelberg (2005)
12. Vilkomir, S.A., Swain, W.T, Poore, J.H.: Combinatorial test case selection with Markovian usage models. In: Proceedings of the 5th International Conference on Information Technology: New Generations (ITNG 2008), Las Vegas, Nevada, USA (2008)
13. Walton, G., Poore, J.H., Trammell, C.: Statistical Testing of Software Based on a Usage Model. Software: Practice and Experience 25(1), 97-108 (1995)
14. Whittaker, J., Poore, J.H.: Markov Analysis of Software Specifications. ACM Transactions on Software Engineering and Methodology 2(1), 93-106 (1993)