Filters








548 Hits in 5.3 sec

An Efficient Algorithm to Identify Minimal Failure-Causing Schemas from Exhaustive Test Suite

Yuanchao Qi, Qi Wang, Chiya Xu, Tieke He, Ziyuan Wang
2016 Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering  
Fault localization plays an important role in this testing technique. And minimal failure-causing schema is the root cause of failure.  ...  In this paper, an efficient algorithm, which identifies minimal failure-causing schemas from existing failed test cases and passed test cases, is proposed to replace the basic algorithm with worse time  ...  And the efficient algorithm has been applied in our practice to compute minimal failurecausing schemas for boolean-specification testing and Siemens program suite. II.  ... 
doi:10.18293/seke2016-233 dblp:conf/seke/QiWXHW16 fatcat:mhlui55btrb2xiayndwc7haraq

Automated Fault Localization Using Potential Invariants [article]

Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss
2003 arXiv   pre-print
We were unable to realistically locate any bugs in the many variants of the Siemens suite.  ...  We tested Carrot on two programs in the Siemens suite [HFGO94, HRWY98] : • tcas (140 lines of code) implements an airplane collision avoidance decision process.  ... 
arXiv:cs/0310040v1 fatcat:swabv3xevbf3hnhnbucutqx2m4

CFAAR: Control Flow Alteration to Assist Repair [article]

Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi Zaraket
2018 arXiv   pre-print
We present CFAAR, a program repair assistance technique that operates by selectively altering the outcome of suspicious predicates in order to yield expected behavior.  ...  We evaluated our toolset using 149 defects from the IntroClass and Siemens benchmarks. CFAAR identified 91 potential candidate defects and generated plausible patches for 41 of them.  ...  ACKNOWLEDGMENT This research was supported in part by the Lebanese National Council for Scientific Research, and by the University Research Board at the American University of Beirut.  ... 
arXiv:1808.09229v1 fatcat:7a2qzdmi55hjthtmkxqvoco2rq

Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles [chapter]

Alireza Khalilian, Saeed Parsa
2012 Lecture Notes in Computer Science  
An appropriate minimized test suite should exercise different execution paths within a program. However, minimization of test suites may result in significant fault detection loss.  ...  The aim has been to minimize regression test suites while retaining fault detection capability of the test suite admissible.  ...  minimization in polynomial time.  ... 
doi:10.1007/978-3-642-28038-2_19 fatcat:h3yl4tk3i5cxzh4efw244ndqli

Statistical Debugging: A Hypothesis Testing-Based Approach

Chao Liu, Long Fei, Xifeng Yan, Jiawei Han, S.P. Midkiff
2006 IEEE Transactions on Software Engineering  
The result clearly demonstrates the effectiveness: SOBER could help developers locate 68 out of the 130 faults in the Siemens suite by examining no more than 10 percent of the code, whereas the Cause Transition  ...  Moreover, the effectiveness of SOBER is also evaluated in an "imperfect world," where the test suite is either inadequate or only partially labeled.  ...  ACKNOWLEDGMENTS The authors would like to thank Gregg Rothermel for making the Siemens program suite available. Darko Marinov provided the authors with insightful suggestions.  ... 
doi:10.1109/tse.2006.105 fatcat:hv3mrhiqevbahledcsoy27xgoq

Compiler Hacking for Source Code Analysis

G. Antoniol, M. Di Penta, G. Masone, U. Villano
2004 Software quality journal  
In the past, two different strategies have been adopted to develop tool suites.  ...  In particular, different approaches for accessing the compiler parsing information are compared, and the techniques used to decouple the parsing front end from the analysis modules are discussed.  ...  The compiler suite (C, C++ and Fortran) can be freely downloaded under an Open Source license and thus, at least in theory, an analyzer could be built on top of the Watcom compilers.  ... 
doi:10.1023/b:sqjo.0000039794.29432.7e fatcat:fqsuiwatwneq5e7xjiuknoli4a

A Comprehensive Investigation of Modern Test Suite Optimization Trends, Tools and Techniques

Ayesha Kiran, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam, Bilal Maqbool
2019 IEEE Access  
Test suite optimization is frequently researched to enhance its competences but there is no study published until now that analyzes the latest developments from 2016 to 2019.  ...  Testing requires the execution of all possible test cases in order to find the defects in the software.  ...  From Table 5 , it is analyzed that SIR and Siemens benchmarks are mostly used as a dataset in greedy algorithm based test suite optimization studies.  ... 
doi:10.1109/access.2019.2926384 fatcat:5jjo3c3itfgwthvv56gcbbxedy

A Mobile Device Based ECG Analysis System [chapter]

Qiang Fang, Fahim Sufi, Irena Cosic
2008 Data Mining in Medical and Biological Research  
Heart failure and stroke cause a big burden on society due to their high costs of care, lower quality of life and premature death.  ...  The vital ECG signal can be acquired, analyzed locally, transmitted, and analyzed remotely in a quasi-realtime sense.  ...  in the promising areas of medicine and biology from around the world.  ... 
doi:10.5772/6415 fatcat:rzw2ovw4kfcizj2fnefpvvm46q

Metamorphic Testing

Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Pak-Lok Poon, Dave Towey, T. H. Tse, Zhi Quan Zhou
2018 ACM Computing Surveys  
It was a surprise to the so ware testing community, for example, when MT managed to detect new faults [77, 93] in three out of seven programs in the Siemens suite [43] even though these programs had repeatedly  ...  Regardless of how e ective a strategy is in generating a failure-causing test case, unless it leads to a crash of the program under test, that failure may not be recognized in the presence of the oracle  ...  MT detected three real-life faults in three out of seven programs [77, 93] in the Siemens suite [43] . e Siemens suite had been extensively used as a benchmark for evaluating many test case selection  ... 
doi:10.1145/3143561 fatcat:bwa2rivy4rby7awczky2j3zx3a

METRICS

Stephen Fenstermaker, David George, Andrew B. Kahng, Stefanus Mantik, Bart Thielges
2000 Proceedings of the 37th conference on Design automation - DAC '00  
METRICS (i) unobtrusively gathers characteristics of design artifacts, design process, and communications during the system development effort, and (ii) analyzes and compares that data to analogous data  ...  METRICS infrastructure consists of (i) a standard metrics schema, along with metrics transmittal capabilities embedded directly into EDA tools or into wrappers around tools; (ii) a metrics data warehouse  ...  DAS also provides a standard termination code set for all tools so that designers can more easily diagnose causes of tool failure.  ... 
doi:10.1145/337292.337745 dblp:conf/dac/FenstermakerGKMT00 fatcat:s26en5guavhurou3u25udttwi4

Maintenance Management through Intelligent Asset Management Platforms (IAMP). Emerging Factors, Key Impact Areas and Data Models

Adolfo Crespo Marquez, Juan Francisco Gomez Fernandez, Pablo Martínez-Galán Fernández, Antonio Guillen Lopez
2020 Energies  
In this line, Intelligent Assets Management Platforms (IAMP) are defined as software platforms to collect and analyze data from industrial assets.  ...  asset management and concretely in maintenance management.  ...  . • Diagnostic analytics provide very fast results and identify the root cause of the failure, so it requires a prior study of the different states of the failure  ... 
doi:10.3390/en13153762 fatcat:ye4z24p6mrhgdfx2btwbtntdpa

XML-manipulating test case prioritization for XML-manipulating services

Lijun Mei, W.K. Chan, T.H. Tse, Robert G. Merkel
2011 Journal of Systems and Software  
In addition, traditional techniques assume that a regression test suite for verifying a web service is available. The location to store a regression test suite is also a problem.  ...  We experimentally evaluate the effectiveness of these black-box strategies in revealing regression faults in modified WS-BPEL programs.  ...  This XML schema is kept in a WSDL document.  ... 
doi:10.1016/j.jss.2010.11.905 fatcat:sfysqmtfuzgw7itutvvds37d3e

Integrated Information Supply for Decision Support in Grid Companies

Carsten Felden, Johannes Jakob Buder
2012 Business & Information Systems Engineering  
It is represented in a multidimensional data model and is the basis for an evaluation of the validity by expert interviews. The paper concludes with perspectives of further research.  ...  Siemens The modular Grid Asset Management Suite represents a reference model and contains its own data model. This model considers control, analysis, and regulatory management.  ...  Therefore, the cause-effect chains of asset parameters can be analyzed and an abstract reference base designed. Because the framework of Balzer et al.  ... 
doi:10.1007/s12599-011-0198-9 fatcat:7pv2fcegv5frfnydu6h5zbwryy

Mining Control Flow Abnormality for Logic Error Isolation [chapter]

Chao Liu, Xifeng Yan, Jiawei Han
2006 Proceedings of the 2006 SIAM International Conference on Data Mining  
Analyzing the executions of a buggy program is essentially a data mining process: Tracing the data generated during program executions may disclose important patterns and outliers that could eventually  ...  In this paper, we investigate program logic errors, which rarely incur memory access violations but generate incorrect outputs.  ...  We also appreciate Zheng Shao, a finalist of TopCoder Contest, for his participation in our user study.  ... 
doi:10.1137/1.9781611972764.10 dblp:conf/sdm/LiuYH06 fatcat:txpuwqidhbczrkiuokjmhu5igy

SCADS: Scale-Independent Storage for Social Computing Applications [article]

Michael Armbrust, David Patterson, Beth Trushkowsky (UC Berkeley), Jesse Trutna
2009 arXiv   pre-print
This research is supported in part by gifts from Sun Microsystems, Google, Microsoft, Cisco Systems, Hewlett-Packard, IBM, Network Appliance, Oracle, Siemens AB, and VMWare, and by matching funds from  ...  ACKNOWLEDGEMENTS We would like to thank the following people for their invaluable feedback on the ideas in this paper: Henry Cook, Mike Franklin, Jeff Hammerbacher, and John Ousterhout.  ...  Data is partitioned and queries are processed in such a fashion so as to minimize inter-node data transfer [8] .  ... 
arXiv:0909.1775v1 fatcat:hn6psupmofgjhi473qzqberxwu
« Previous Showing results 1 — 15 out of 548 results