Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage

Author(s):  
Imanol Allende ◽  
Nicholas Mc Guire ◽  
Jon Perez ◽  
Lisandro G. Monsalve ◽  
Javier Fernandez ◽  
...  
Author(s):  
Rommel Estores ◽  
Karo Vander Gucht

Abstract This paper discusses a creative manual diagnosis approach, a complementary technique that provides the possibility to extend Automatic Test Pattern Generation (ATPG) beyond its own limits. The authors will discuss this approach in detail using an actual case – a test coverage issue where user-generated ATPG patterns and the resulting ATPG diagnosis isolated the fault to a small part of the digital core. However, traditional fault localization techniques was unable to isolate the fault further. Using the defect candidates from ATPG diagnosis as a starting point, manual diagnosis through fault Injection and fault simulation was performed. Further fault localization was performed using the ‘not detected’ (ND) and/or ‘detected’ (DT) fault classes for each of the available patterns. The result has successfully deduced the defect candidates until the exact faulty net causing the electrical failure was identified. The ability of the FA lab to maximize the use of ATPG in combination with other tools/techniques to investigate failures in detail; is crucial in the fast root cause determination and, in case of a test coverage, aid in having effective test screen method implemented.


1997 ◽  
Author(s):  
Don McAndrews ◽  
Janice M. Ryan ◽  
Priscilla Fowler

Author(s):  
Jingde Chen ◽  
Subho S. Banerjee ◽  
Zbigniew T. Kalbarczyk ◽  
Ravishankar K. Iyer

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Imanol Allende ◽  
Nicholas Mc Guire ◽  
Jon Perez-Cerrolaza ◽  
Lisandro G. Monsalve ◽  
Jens Petersohn ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document