Filters








3,690 Hits in 5.0 sec

Fast Model-Based Fault Localisation with Test Suites [chapter]

Geoff Birch, Bernd Fischer, Michael R. Poppleton
2015 Lecture Notes in Computer Science  
We describe a fast model-based fault localisation algorithm which, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations where genuine  ...  Its performance is in line with recent alternative model-based fault localisation techniques, but narrows the location set further without rejecting any genuine repair locations where faults can be fixed  ...  We describe a fast model-based fault localisation algorithm which, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations within which (  ... 
doi:10.1007/978-3-319-21215-9_3 fatcat:es6ty7rn2bdtppa37kk3jisq3i

Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs

Geoff Birch, Bernd Fischer, Michael Poppleton
2017 Journal of Software and Systems Modeling  
We describe a fast model-based fault localisation algorithm that, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations where genuine program  ...  Its performance is in line with recent alternative model-based fault localisation techniques, but narrows the location set further without rejecting any genuine repair locations where faults can be fixed  ...  We also thank Eli Bendersky, author of the PyCParser, the Automated Software Testing Group at Beihang University for Hawk-Eye, and contributors to all downstream components and tools used in our work.  ... 
doi:10.1007/s10270-017-0612-y fatcat:kxn4tpvlybbr5gztntqjvrm7hq

Ahead of Time Mutation Based Fault Localisation using Statistical Inference [article]

Jinhan Kim, Gabin An, Robert Feldt, Shin Yoo
2021 arXiv   pre-print
Mutation analysis can effectively capture the dependency between source code and test results. This has been exploited by Mutation Based Fault Localisation (MBFL) techniques.  ...  We introduce SIMFL (Statistical Inference for Mutation-based Fault Localisation), an MBFL technique that allows users to perform the mutation analysis in advance before a failure is observed, allowing  ...  Xuan and Monperrus [39] improve SBFL by creating more finegrained test cases based on individual assertions in the existing test suite.  ... 
arXiv:1902.09729v2 fatcat:xzh4v4avpnhkpkl5cdtcleu4ma

Doric: Foundations for Statistical Fault Localisation [article]

David Landsberg, Earl Barr
2018 arXiv   pre-print
We present Doric, a new formal foundation for statistical fault localisation based on classical probability theory.  ...  to interpret scores. cl handles fundamental fault scenarios that spectrum-based measures cannot and can also meaningfully identify causes with certainty.  ...  Figure 3 : 3 Test Suite. Figure 4 : 4 Causal Models. Definition 3 . 1 . 31 Let T be a test suite and U a set of units.  ... 
arXiv:1810.00798v1 fatcat:457x6mh3fzfclodozs7vwzdhju

Fault current control methods for multi-terminal DC systems based on fault blocking converters

Philipp Ruffing, Christina Brantl, Cora Petino, Armin Schnettler
2018 The Journal of Engineering  
The analysis is based on simulations in PSCAD|EMTDC ™ with a converter model based on the CIGRÉ WG B4.57, which is enhanced for the use of full-bridge converters with fault current control schemes.  ...  This study investigates the applicability of different control methods relying on full-bridge-based converters in combination with high-speed switches for a fast and selective separation of faulty line  ...  Since the individual SM switching states and capacitor voltages of the converter are represented, the model is well suited for transient DC fault studies [7] .  ... 
doi:10.1049/joe.2018.0228 fatcat:np4mpcdka5g6bgs7yxvfs2s3ja

Evaluating Models for Model-Based Debugging

Wolfgang Mayer, Markus Stumptner
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
An empirical comparison is presented that investigates the relative accuracy of different models on a set of test programs and fault assumptions, showing that our abstract interpretation based model provides  ...  We compare a range of model-based debugging techniques with other state-of-the-art automated debugging approaches and outline possible future developments in automatic debugging using model-based reasoning  ...  programs, model-based fault localisation consistently achieves scores above 0.7.  ... 
doi:10.1109/ase.2008.23 dblp:conf/kbse/MayerS08 fatcat:uckvwytmx5axhfnkqd6czeqbrm

A Simple Condition Monitoring Method for Gearboxes Operating in Impulsive Environments

Stephan Schmidt, Radoslaw Zimroz, Fakher Chaari, P. Stephan Heyns, Mohamed Haddar
2020 Sensors  
However, the vibration signals are often corrupted with non-Gaussian noise and rotating machines may operate under time-varying operating conditions.  ...  The synchronous average of the squared envelope is a relatively simple yet effective method to perform fault detection, fault identification and fault trending under constant and time-varying operating  ...  to deteriorate fast due to the localised increase in stress [8] .  ... 
doi:10.3390/s20072115 pmid:32283650 fatcat:fffvq4dvnbayvpqkyyx6oa56yq

Short-time Fourier and wavelet transforms for fault detection in power transformers during impulse tests

L. Satish
1998 IEE Proceedings - Science Measurement and Technology  
Results from simulation studies are presented wherein the fault condition is modelled as a fast decaying transient superposed on the neutral current.  ...  The neutral and/or capacitively transferred currents which are recorded during an impulse test can be directly analysed with this approach.  ...  Conclusions A new approach based on time-frequency analysis of signals has been proposed, for analysing the neutral currents directly, for fault diagnosis during impulse tests on power transformers.  ... 
doi:10.1049/ip-smt:19981576 fatcat:n4ltxuvn2bgstieahiwvokjyl4

Resilient Navigation through Probabilistic Modality Reconfiguration [chapter]

Thierry Peynot, Robert Fitch, Rowan McAllister, Alen Alempijevic
2013 Advances in Intelligent Systems and Computing  
The robot is shown to reach its goal in the presence of: 1) unpredicted control errors, 2) unexpected map errors and 3) a large injected localisation fault.  ...  While the robot navigates, a Hidden Markov Model continually estimates the most appropriate modality based on two types of information: context (information known a priori) and monitoring (evaluating unpredictable  ...  Injected Localisation Fault In this experiment, a significant localisation fault was artificially created by introducing a sudden and unexpected offset of 1m to the output of the localisation estimator  ... 
doi:10.1007/978-3-642-33932-5_8 fatcat:jzhrcqbxurbgbcoke2vbfeiaiq

Regression testing minimization, selection and prioritization: a survey

S. Yoo, M. Harman
2012 Software testing, verification & reliability  
Problem: Find a subset of T , T , with which to test P .  ...  Test case prioritisation seeks to order test cases in such a way that early fault detection is maximised.  ...  Yu et al. considered the effect of test suite minimisation on fault localisation [181] .  ... 
doi:10.1002/stv.430 fatcat:kg5sgywm4jfqjl5eiz6ols6x4a

Introduction to the STAF 2015 special section

Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
2018 Journal of Software and Systems Modeling  
The second extended version is the article Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs by Geoff Birch, Bernd Fischer, and Michael Poppleton  ...  It describes a model-based fault localization algorithm based on symbolic execution.  ... 
doi:10.1007/s10270-018-0686-1 fatcat:ilcphfxxyng5dcsksvan6vsiyu

Fault localisation for WS-BPEL programs based on predicate switching and program slicing

Chang-ai Sun, Yufeng Ran, Caiyun Zheng, Huai Liu, Dave Towey, Xiangyu Zhang
2018 Journal of Systems and Software  
Case studies were conducted to investigate the effectiveness of the proposed technique, which was compared with predicate switching only, slicing only, and one existing fault localisation technique, namely  ...  In our pre-28 vious work [4], we presented a block-based fault lo-29 calisation framework for WS-BPEL programs, and syn-30 thesised the three well-known spectrum-based fault lo-31 calisation techniques  ...  how 714 fast a fault localisation technique can be.  ... 
doi:10.1016/j.jss.2017.10.030 fatcat:gwd42giibreg7hlp5y5gs7wqpy

Goal-Oriented Mutation Testing with Focal Methods [article]

Sten Vercammen, Mohammad Ghafari, Serge Demeyer, Markus Borg
2018 arXiv   pre-print
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite.  ...  method, instead of the usually verified overall test suite quality.  ...  Motivation Finding the root cause of a fault is not an easy task, an entire field of study is dedicated specifically to this problem. One solution is spectrum-based fault localisation.  ... 
arXiv:1807.10953v1 fatcat:2higrbogefh5xlsecheet3345u

Combinatorial Interaction Testing for Automated Constraint Repair

Angelo Gargantini, Justyna Petke, Marco Radavelli
2017 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
Our technique can be used to detect and fix faults both in the model and in the real software system.  ...  However, a model of the system's configurations not conforming with respect to its software implementation, must be repaired in order to restore conformance.  ...  Ghandehari for her assistance in the use of BEN and Paolo Vavassori for help with the experiments.  ... 
doi:10.1109/icstw.2017.44 dblp:conf/icst/GargantiniPR17 fatcat:kx437bb3cbh5zjgjm4jlt6dd4y

Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection

Justyna Petke, Myra B. Cohen, Mark Harman, Shin Yoo
2015 IEEE Transactions on Software Engineering  
Our results show that GA is competitive only for pairwise testing for subjects with a small number of constraints.  ...  Simulated Annealing (SA) and Greedy Algorithms have been widely used to find CIT test suites.  ...  ACKNOWLEDGMENTS [20] which provided the source code and fault data for the seven programs used in the empirical studies reported.  ... 
doi:10.1109/tse.2015.2421279 fatcat:l775altg7vhm3e6mabd7t2oola
« Previous Showing results 1 — 15 out of 3,690 results