A Theory of Predicate-Complete Test Coverage and Generation

2005 ◽  
pp. 1-22 ◽  
Author(s):  
Thomas Ball
Keyword(s):  
Test Coverage ◽  
Complete Test

Design for Testability for Complete Test Coverage

1984 ◽  
Vol 1 (4) ◽  
pp. 25-32 ◽  
Author(s):  
Akira Motohara ◽  
Hideo Fujiwara
Keyword(s):  
Design For Testability ◽  
Test Coverage ◽  
Complete Test

Multiple Sclerosis: Treadmill Versus Cycle Ergometry Maximal Exercise Test Responses

2020 ◽  
Vol 9 (3) ◽  
pp. 113-117
Author(s):  
Garett Griffith ◽  
Badeia Saed ◽  
Tracy Baynard
Keyword(s):  
Multiple Sclerosis ◽  
Aerobic Capacity ◽  
Work Capacity ◽  
Cross Sectional Study ◽  
Cycle Ergometer ◽  
Cycle Ergometry ◽  
Cross Sectional ◽  
Complete Test ◽  
Peak Aerobic Capacity ◽  
Predicted Values

ABSTRACT Background: Multiple sclerosis (MS) is an autoimmune disease that impacts the central nervous system. MS generally results in decreased mobility and work capacity. Our objective was to determine exercise testing responses on both a treadmill and cycle ergometer among individuals with MS who were able to ambulate freely. Methods: Twenty-six individuals with MS participated in a cross-sectional study (44 ± 11 years; body mass index 26.8 ± 6.2 kg·m−2; expanded disability scale score 3.1 ± 0.9), with 24 individuals with complete test data for both treadmill and cycle ergometry tests. Peak aerobic capacity (VO2peak) for both treadmill and cycle ergometry tests were measured with indirect calorimetry. Results: Participants safely completed both treadmill and cycle ergometry tests, and treadmill testing yielded higher values (26.7 ± 6.4 mL·kg−1·min−1) compared with cycle ergometry (23.7 ± 5.7 mL·kg−1·min−1), with values ~12% greater for treadmill. When comparing tests to their respected predicted values within modality, treadmill tests were 8% lower and cycle ergometry tests were 10% lower than predicted. Conclusions: While peak aerobic capacity was very low for this population, treadmill tests were still higher than cycle ergometry data, with this difference between modes being similar to that observed in healthy adult populations. Additional research is required to determine if these findings are impacted by participation in physical activity or regular exercise.

A Manual Diagnosis Approach Using Targeted Fault Injection and Fault Simulation to Extend ATPG Diagnostic Resolution in Localizing Faults

2019 ◽  
Author(s):  
Rommel Estores ◽  
Karo Vander Gucht
Keyword(s):  
Fault Injection ◽  
Fault Simulation ◽  
Fault Localization ◽  
Pattern Generation ◽  
Test Coverage ◽  
Actual Case ◽  
Electrical Failure ◽  
Starting Point ◽  
Diagnostic Resolution ◽  
Diagnosis Approach

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.

scholarly journals Statistical test coverage for Linux-based next-generation autonomous safety-related systems

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

Layout-Based Test Coverage Verification for High-Reliability Devices

2017 ◽  
Vol 30 (4) ◽  
pp. 317-322 ◽  
Author(s):  
Yoshikazu Nagamura ◽  
Kenji Shiozawa ◽  
Toru Koyama ◽  
Jun Matsushima ◽  
Kazuhiro Tomonaga ◽  
...  
Keyword(s):  
High Reliability ◽  
Test Coverage

Test coverage analysis based on program slicing

2003 ◽  
Vol 20 (3) ◽  
pp. 232-236 ◽  
Author(s):  
Zhenqiang Chen ◽  
Baowen Xu ◽  
jie Guan
Keyword(s):  
Program Slicing ◽  
Test Coverage ◽  
Coverage Analysis
Sign in / Sign up

Export Citation Format

Share Document