Filters








4,239 Hits in 7.6 sec

A scalable software-based self-test methodology for programmable processors

Li Chen, Srivaths Ravi, Anand Raghunathan, Sujit Dey
2003 Proceedings of the 40th conference on Design automation - DAC '03  
improvements in fault coverage and test length compared with conventional functional test.  ...  Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) that contain them.  ...  We believe that the proposed SBST methodology is an important step towards realizing the potential of SBST for realistic programmable processors. • The potential for improvement in fault coverage by observing  ... 
doi:10.1145/775972.775973 fatcat:kmm24tr7jjc3nlpitzz63kzhpe

A scalable software-based self-test methodology for programmable processors

Li Chen, Srivaths Ravi, Anand Raghunathan, Sujit Dey
2003 Proceedings of the 40th conference on Design automation - DAC '03  
improvements in fault coverage and test length compared with conventional functional test.  ...  Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) that contain them.  ...  We believe that the proposed SBST methodology is an important step towards realizing the potential of SBST for realistic programmable processors. • The potential for improvement in fault coverage by observing  ... 
doi:10.1145/775832.775973 dblp:conf/dac/ChenRRD03 fatcat:o4xpg2w3hjhi3kmitlgvmaob4y

On Covering Structural Defects in NoCs by Functional Tests

Atefe Dalirsani, Nadereh Hatami, Michael E. Imhof, Marcus Eggenberger, Gert Schley, Martin Radetzki, Hans-Joachim Wunderlich
2014 2014 IEEE 23rd Asian Test Symposium  
It can be applied for any structural fault type as it relies on a generalized structural fault model.  ...  Structural tests provide high defect coverage by considering the low-level circuit details.  ...  Stefan Holst for helpful discussions.  ... 
doi:10.1109/ats.2014.27 dblp:conf/ats/DalirsaniHIESRW14 fatcat:v5stv47qinastntpu63kez6wj4

Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection

Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu
2019 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)  
In this paper, based on software fault injection, we propose a new fuzzing approach named FIZZER, to test error handling code in device drivers.  ...  During driver execution, by analyzing runtime information, it automatically fuzzes error-site sequences for fault injection to improve code coverage.  ...  For example, AFEX [43] uses a fitness-guided and feedback-based algorithm to search for high-impact faults in a fault space.  ... 
doi:10.1109/issre.2019.00022 dblp:conf/issre/JiangBL019 fatcat:xhnjoxocmvaxdjbvtxaefi24iq

Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs

Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Sandro Sartoni, Riccardo Cantoro, Matteo Sonza Reorda, Said Hamdioui, Christian Sauer
2020 2020 IEEE European Test Symposium (ETS)  
By deploying code coverage and Formal verification techniques, our methodology enables the classification of faults that are unclassified by other technologies, improving ISO26262 compliance.  ...  Our results, in combination with Fault Simulation, achieved a Diagnostic Coverage of 93% in a CAN Controller. These figures allow an initial assessment for an ASIL B configuration of the IP.  ...  ACKNOWLEDGMENT This research was supported by project RESCUE funded from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowaska-Curie grant agreement No 722325.  ... 
doi:10.1109/ets48528.2020.9131568 dblp:conf/ets/SilvaBSCRH020 fatcat:t5rhoky6sffcxfurfiq3a7xtaq

Hardware-in-the-Loop-Based Real-Time Fault Injection Framework for Dynamic Behavior Analysis of Automotive Software Systems

Mohammad Abboush, Daniel Bamal, Christoph Knieke, Andreas Rausch
2022 Sensors  
Simulation-based fault injection (FI) is a recently developed approach to simulate the system behavior in the presence of faults at an early stage of system development.  ...  With the objective of covering most of the potential faults, nine different types of sensor and actuator control signal faults are injected programmatically into the HiL system as single and multiple faults  ...  simulations Poon et al. [51] Simulation-based FI and hardware-based FI HiL design and testing for electric vehicle drive systems Single Three fault types Yes Low manual effort Low fault coverage High  ... 
doi:10.3390/s22041360 pmid:35214269 pmcid:PMC8963027 fatcat:xjsbdpdxxbhmnjtsozxbxcdfj4

Towards API Testing Across Cloud and Edge [article]

Samuel Ackerman, Sanjib Choudhury, Nirmit Desai, Eitan Farchi, Dan Gisolfi, Andrew Hicks, Saritha Route, Diptikalyan Saha
2021 arXiv   pre-print
feedback and AI based search algorithms.  ...  ., API input parameters, order of API execution, and network faults.  ...  Based on the feedback of test results, faults, and drifts in API call patterns, under-the-hood AI based search techniques are applied to generate new test scenarios for execution to maximize coverage of  ... 
arXiv:2109.02540v1 fatcat:otqvq7ksa5hcxpxmfgvwsfgkeq

Software Testing for Machine Learning

Dusica Marijan, Arnaud Gotlieb
2020 PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE  
Software verification and testing are established technique for assuring such properties, for example by detecting errors.  ...  The paper provides a research agenda with elaborated directions for making progress toward advancing the state-of-the-art on testing of machine learning.  ...  DeepMutation first designs a set of mutation operators to inject faults into training data.  ... 
doi:10.1609/aaai.v34i09.7084 fatcat:77qy7777nrc4zbofd3pasfjhsi

Compiler-Directed Soft Error Mitigation for Embedded Systems

A. Martinez-Alvarez, S. Cuenca-Asensi, F. Restrepo-Calle, F. R. P. Pinto, H. Guzman-Miranda, M. A. Aguirre
2012 IEEE Transactions on Dependable and Secure Computing  
This paper presents a compiler-based methodology for facilitating the design of fault-tolerant embedded systems.  ...  At the same time, for large segments of embedded markets, parameters like cost and performance continue to be as important as reliability.  ...  Notice that the high fault coverage results obtained for the unprotected versions is due to the fact that the fault injection test was performed over the complete register file, even though the programs  ... 
doi:10.1109/tdsc.2011.54 fatcat:72lpyhcoi5eozhneoj3cth74wa

Testing embedded memories in telecommunication systems

S. Barbagallo, M. Lobetti Bodoni, A. Benso, S. Chiusano, P. Prinetto
1999 IEEE Communications Magazine  
Moreover, strict reliability constraints usually impose very low fault latencies and a high degree of fault detection for both permanent and transient faults.  ...  Extensive system testing is mandatory nowadays to achieve high ABSTRACT product quality.  ...  The strict reliability constraints usually impose very low fault latency and a high degree of fault detection of both permanent and transient faults.  ... 
doi:10.1109/35.769279 fatcat:5ruaizf4kjhgfj2dkhaoyjxfcq

Experimental Resilience Assessment of An Open-Source Driving Agent [article]

Abu Hasnat Mohammad Rubaiyat, Yongming Qin, Homa Alemzadeh
2018 arXiv   pre-print
To increase the coverage of unsafe scenarios during testing, we use a strategic software fault-injection approach where the triggers for injecting the faults are derived from the unsafe scenarios identified  ...  conditions and faults affecting sensor data.  ...  DeepXplore [5] and DeepTest [6] focused on maximizing neuron coverage to generate perturbed images to test deep learning based algorithms.  ... 
arXiv:1807.06172v2 fatcat:qnmll65zavgptgv5jddt3rjjiq

Magma: A Ground-Truth Fuzzing Benchmark [article]

Ahmad Hazimeh, Adrian Herrera, Mathias Payer
2020 arXiv   pre-print
High scalability and low running costs have made fuzz testing the de facto standard for discovering software bugs.  ...  By introducing real bugs into real software, Magma allows for realistic evaluation of fuzzers against a broad set of targets.  ...  We therefore apply survival analysis to account for this missing data and high variation in bug discovery times.  ... 
arXiv:2009.01120v1 fatcat:5uskgzhfnjhejask3ymynh6sha

Model-based fault injection for testing gray-box systems

Wojciech Mostowski
2019 Journal of Logical and Algebraic Methods in Programming  
Systematic modelling and testing is possible by having comprehensive fault models which both simulate faults and guide the model-based testing procedure towards quicker discovery of these faults.  ...  Citation for the original published paper (version of record): Mostowski, W. (2019) Model-based fault injection for testing gray-box systems The Journal of logical and algebraic methods in programming,  ...  We would also like to thank the anonymous reviewers for very detailed remarks about this work.  ... 
doi:10.1016/j.jlamp.2018.10.003 fatcat:6ftkevgtn5bfxba5ekepih2axu

Defining and Measuring Policy Coverage in Testing Access Control Policies [chapter]

Evan Martin, Tao Xie, Ting Yu
2006 Lecture Notes in Computer Science  
Our experimental results show that the coverage-based test reduction can substantially reduce the size of generated requests and incur only relatively low loss on fault detection.  ...  To evaluate coverage-based request reduction and its effect on fault detection, we have conducted an experiment with mutation testing on a set of real policies.  ...  An ideal request set should have a low test count, high structural coverage, and high fault-detection capability.  ... 
doi:10.1007/11935308_11 fatcat:xhjh77ws3nh35jwbvj2x367b3q

Design of a Realistic Test Simulator For a Built-In Self Test Environment

A. Ahmad, D. Al-Abri
2010 The Journal of Engineering Research  
This paper presents a realistic test approach suitable to Design For Testability (DFT) and Built- In Self Test (BIST) environments.  ...  Thereby, it is a low cost tool and hence economical. The tool is very much suitable for determining realistic test sequences for a targeted goal of testing for any SUT.  ...  Acknowledgments The acknowledgments are due to Sultan Qaboos University (Sultanate of Oman) for providing research support grant (SQU-DVC/ PSR/RAID/2010/23).  ... 
doi:10.24200/tjer.vol7iss2pp69-79 fatcat:t6byh2h4wzgvbi5ccunn52flr4
« Previous Showing results 1 — 15 out of 4,239 results