Modeling Input Space for Testing Scientific Computational Software: A Case Study

Authors:
Sergiy A. Vilkomir;W. Thomas Swain;Jesse H. Poore;Kevin T. Clarno
Affiliations:
Software Quality Research Laboratory, Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, USA TN 37996;Software Quality Research Laboratory, Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, USA TN 37996;Software Quality Research Laboratory, Department of Electrical Engineering and Computer Science, University of Tennessee, Knoxville, USA TN 37996;Reactor Analysis Group, Nuclear Science and Technology Division, Oak Ridge National Laboratory, Oak Ridge, USA TN 37923
Venue:
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Year:
2008

Citing 9
Cited 0

Markov analysis of software specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Statistical testing of software based on a usage model

Software—Practice & Experience
The AETG System: An Approach to Testing Based on Combinatorial Design

IEEE Transactions on Software Engineering
Validation of Scientific Programs

ACM Computing Surveys (CSUR)
The T Experiments: Errors In Scientific Software

IEEE Computational Science & Engineering
JUMBL: A Tool for Model-Based Statistical Testing

HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Accuracy and Reliability in Scientific Computing (Software, Environments, Tools) (Software, Environments, Tools)

Accuracy and Reliability in Scientific Computing (Software, Environments, Tools) (Software, Environments, Tools)
Combinatorial Test Case Selection with Markovian Usage Models

ITNG '08 Proceedings of the Fifth International Conference on Information Technology: New Generations
Model-Based statistical testing of a cluster utility

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

An application of a method of test case generation for scientific computational software is presented. NEWTRNX, neutron transport software being developed at Oak Ridge National Laboratory, is treated as a case study. A model of dependencies between input parameters of NEWTRNX is created. Results of NEWTRNX model analysis and test case generation are evaluated.