Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power



Athira Jayakumar, D. Richard Kuhn, Brandon Simons, Aidan Collins, Smitha Gautham, Richard Hite, Raghu N. Kacker, Abhi Rajagopala, Carl Elks


The major challenge faced by the nuclear industry related to software testing of digital embedded devices is the identification of practical software (SW) testing solutions that provide a strong technical basis and is at the same time effective in establishing credible evidence of software CCF reduction. Towards this effort, we conducted a systematic empirical study on pseudo-exhaustive SW testing methods for embedded digital devices. In this paper, we describe the realization of a testbed for conducting an automated pseudo exhaustive software testing on embedded digital devices and the intricate interactions between the multiple software tools involved in the workflow. The collected results and derived findings confirm the ability of the automated pseudo exhaustive testing methodology to economically exercise the interaction input/state space in a systematic, rigorous, and comprehensive manner.
Proceedings Title
Conference Dates
June 14-17, 2021
Conference Location
virtual, TN, US
Conference Title
2021 American Nuclear Society Virtual Annual Meeting


Pseudo-exhaustive testing, t-way combinatorial testing, Nuclear I&C, Smart sensor


Jayakumar, A. , Kuhn, D. , Simons, B. , Collins, A. , Gautham, S. , Hite, R. , Kacker, R. , Rajagopala, A. and Elks, C. (2021), A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power,, virtual, TN, US, [online],, (Accessed May 18, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created June 14, 2021, Updated May 10, 2024