Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications

Jayakumar, Athira Varma; Gautham, Smitha; Kühn, Richard; Simons, Brandon; Collins, Aidan; Dirsch, Thomas; Kacker, Raghu N.; Elks, Carl

doi:10.1109/issrew51248.2020.00042

Cited by 1 publication

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The authors recently conducted a study on applying software systematic testing process on an embedded smart sensor device, representative of the type found in Nuclear Power generation applications [16].…”

Section: Use Case: Smart Sensor For Nuclear Power Applicationsmentioning

confidence: 99%

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

Weiß¹,

Gautham

Jayakumar

et al. 2021

Computer

Self Cite

View full text Add to dashboard Cite

Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems, craves for more powerful tools, which are now becoming available to engineers. MISTAKES, ERRORS, DEFECTS, BUGS, FAULTS AND ANOMALIESEmbedded systems are everywhere, and they present unique challenges in verification and testing. The real-time nature of many embedded systems produces complex failure modes that are especially hard to detect and prevent. To prevent system failures, we need to understand the nature and common types of software anomalies. We also need to think about how mistakes lead to observable anomalies and how these can be differentiated according to their reproducibility. Another key need for efficient fault detection is the comprehensive observability of a system. This kind of understanding leads to the principle of "scientific debugging".In everyday language, we use a number of words such as bug, fault, error, etc. inconsistently and confusingly to describe the malfunctioning of a software-based system. This also happens to the authors of this paper in their normal life unless they pay strict attention to their choice of words. Therefore, we would like to start with a brief clarification based on the terminology used by the "IEEE Standard Classification for Software Anomalies" [1].• If coders notice a mistake themselves, it is called an error ("a human action that produces an incorrect result "[1]). • If the tester is the first to notice an anomaly ("a product does not meet its requirements" [1], it is called a defect. After confirmation by the developer, it becomes a bug.

show abstract

Section: Use Case: Smart Sensor For Nuclear Power Applicationsmentioning

confidence: 99%

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

Weiß¹,

Gautham

Jayakumar

et al. 2021

Computer

Self Cite

View full text Add to dashboard Cite

show abstract

“…The influence of ST is not only limited to the SE field, but has a vast impact on other areas as well. ST plays a vital role in web and application testing [12], testing of various embedded devices with respect to nuclear power applications [14], applications that are cloud-based [15], and testing of various aspects of smart contracts in blockchain [16], testing IoT applications [17].…”

Section: Introductionmentioning

confidence: 99%

A Comprehensive Bibliometric Assessment on Software Testing (2016–2021)

et al. 2022

View full text Add to dashboard Cite

The research study provides a comprehensive bibliometric assessment in the field of Software Testing (ST). The dynamic evolution in the field of ST is evident from the publication rate over the last six years. The research study is carried out to provide insight into the field of ST from various research bibliometric aspects. Our methodological approach includes dividing the six-year time frame into the set of two symmetric but different periods (2016–2018) and (2019–2021) comprising a total of 75,098 records. VOSViewer is used to perform analysis with respect to collaboration network of countries and co-word assessment. Bibliometrix (Studio R) analysis tool is used to evaluate research themes/topics. The year 2019 leads the publication rate whereas a decrement in publication frequency is observed for the years 2020 and 2021. Our research study shows the influence of ST in other research domains as depicted in different research areas. Especially the impact of ST in the Electrical and Electronics Domain is quite notable. Most of the research publications are from the USA and China as they are among the most resourceful countries. On the whole, the majority of the publications are from Asian countries. Collaboration networks amongst countries demonstrate the fact that the higher the collaboration network, the greater would be the research output. Co-word analysis presents the relatedness of documents based on the keywords. The topic dendrogram is generated based on the identified research themes. Although English is the leading language, prominent studies are present in other languages also. This research study provides a comprehensive analysis based on 12 informative research questions

show abstract

Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications

Cited by 1 publication

References 12 publications

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

A Comprehensive Bibliometric Assessment on Software Testing (2016–2021)

Contact Info

Product

Resources

About