102,851 Hits in 3.6 sec

Software debugging, testing, and verification

B. Hailpern, P. Santhanam
2002 IBM Systems Journal  
of software debugging, testing, and verification.  ...  HAILPERN AND SANTHANAM  ...  Acknowledgments We thank Melissa Buco for programming support and Joanne Bennett for administrative support in the planning and coordination of this special issue on testing and verification.  ... 
doi:10.1147/sj.411.0004 fatcat:ifykvcqimnbdhhdeobqlnvnx24

Embedded software debug and test: Needs and requirements for innovations in debugging

M Winterholer
2011 2011 Design, Automation & Test in Europe  
Considering today's cost and time to market sensitivity it is important to find and debug errors as early as possible and to increase the degree of test and debug automation to avoid the loss of quality  ...  The growing number of processors in a system and the increased communication and synchronization of all components requires scalable debug and test methods for each component as well as the system as a  ...  Considering today's cost and time to market sensitivity it is important to find and debug errors as early as possible and to increase the degree of test and debug automation to avoid the loss of quality  ... 
doi:10.1109/date.2011.5763122 fatcat:b2zykwgbzzgd5nrcahawur4bzq

Testing and Debugging Custom Integrated Circuits

Edward H. Frank, Robert F. Sproull
1981 ACM Computing Surveys  
IC designs at least as easy as testing and debugging software.  ...  In this paper we examine some of the traditional approaches to testing and debugging integrated circuits and then describe how access to internal state, and simulation can make testing and debugging custom  ...  aid debugging and testing.  ... 
doi:10.1145/356859.356863 fatcat:r5qjifvemrft5f2bndue43tbta

Testing and debugging functional reactive programming

Ivan Perez, Henrik Nilsson
2017 Proceedings of the ACM on Programming Languages  
Many types of interactive applications, including video games, raise particular challenges when it comes to testing and debugging.  ...  This opens up for a multi-pronged approach for assisting with testing and debugging that works across platforms, including assertions based on temporal logic, recording and replaying of runs (also from  ...  Hruska and the anonymous referees for their constructive comments and helpful suggestions.  ... 
doi:10.1145/3110246 dblp:journals/pacmpl/PerezN17 fatcat:h6a63h35lnd6zczp3u3mi6bcke

On Testing and Debugging Quantum Software [article]

Andriy Miranskyy and Lei Zhang and Javad Doliskani
2021 arXiv   pre-print
As more programmers are starting to look at writing quantum programs, they need to test and debug their code.  ...  Based on these use-cases, we discuss some testing and debugging tactics that one can leverage to ensure the quality of the quantum software.  ...  Acknowledgments We express profuse thanks to the anonymous reviewers of this paper and of [59] and [93] .  ... 
arXiv:2103.09172v1 fatcat:iqbg6tcxwrbedhbzmr2mwvmeji

Debugging and testing behavioral UML models

Dolev Dotan, Andrei Kirshin
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
To facilitate such model-driven development, we present a plug-in for IBM Rational's modeling tools, which enables the execution, debugging and testing of UML models.  ...  We will highlight the innovative features of our tools, such as model-level debug control, interactive dynamic debugging, and the extensibility that allows developing support for UML profiles.  ...  To facilitate model-driven development, developers must be empowered to debug and test UML models.  ... 
doi:10.1145/1297846.1297915 dblp:conf/oopsla/DotanK07 fatcat:kkqbvhtrfre6vou3bqp3b4iapm

Debugging and Testing Optimizers through Comparison Checking

Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
2002 Electronical Notes in Theoretical Computer Science  
and optimized programs executes the unoptimized Comparison checker and performs comparisons on given inputs. comparisons error in optimizer.  ...  T2 + X S12' IF (T2 < 100) Check S10 S10' D = M + T1 Delay S10 Check S3 Check S9 with S8' , S9' Delete S8',S9' S1 A = 1 S12 IF (T2 < Delete S10 Delete S10 Check S12 Check S14 (a) Annotated unoptimized and  ... 
doi:10.1016/s1571-0661(04)80398-0 fatcat:qwgm7pjagbgqpnbvfmoq3xu2vi

Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems [article]

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
2018 arXiv   pre-print
The user study establishes that requirement errors are common and that the debugging framework can resolve many insidious specification errors.  ...  A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface.  ...  ACKNOWLEDGMENT This work was partially supported by NSF awards CNS 1350420 and CNS 1319560.  ... 
arXiv:1607.02549v4 fatcat:r56ajnjqc5h6xkk5pqdwbqcevm

Using Calculation Fragments for Spreadsheet Testing and Debugging [article]

Dietmar Jannach, Thomas Schmitz
2015 arXiv   pre-print
We therefore propose to support the user during testing and debugging by automatically computing spreadsheet fragments of manageable size.  ...  A number of automated techniques and tools were proposed in the research literature over the years which aim to support the spreadsheet developer in the process of testing and debugging a faulty spreadsheet  ...  Interactive Testing and Debugging The provision of adequate tool support when testing or debugging a calculation fragment is finally a crucial part of our approach.  ... 
arXiv:1503.03267v1 fatcat:2yo64hr42vcdngag6kkurh5alu

DirectDebug: Automated Testing and Debugging of Feature Models

Viet-Man Le, Alexander Felfernig, Mathias Uta, David Benavides, Jose Galindo, Thi Ngoc Trang Tran
2021 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)  
In this paper, we introduce DIRECTDEBUG which is a direct diagnosis approach to the automated testing and debugging of variability models.  ...  Such models can be translated to a logical representation and thus allow different operations for quality assurance and other types of model property analysis.  ...  First, we show how to extend direct diagnosis [10] to support the automated testing and debugging of feature models.  ... 
doi:10.1109/icse-nier52604.2021.00025 fatcat:ppp7jrs6t5bcvjqwtbl7qq7bbm

Testing and debugging distributed programs using global predicates

S. Venkatesan, B. Dathan
1995 IEEE Transactions on Software Engineering  
Testing and debugging programs are more involved in distributed systems than in uniprocessor systems because of the presence of the communication medium and the inherent concurrency.  ...  We develop fully-distributed algorithms to test CFP's, prove that these algorithms are correct, and analyze them for their message complexity.  ...  Since distributed programs are inherently hard to design and develop, they are also difficult to test and debug. Testing and debugging are further complicated because communication delays are random.  ... 
doi:10.1109/32.345831 fatcat:7gxd5jhkmnbz7eb4rm5iwues7i

Metamorphic Testing and Debugging of Tax Preparation Software [article]

Saeid Tizpaz-Niari, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi
2022 arXiv   pre-print
The key obstacles in developing debugging aids for tax preparation systems, however, are the unavailability of explicit specifications and the difficulty of obtaining oracles.  ...  Inspired by metamorphic testing framework from software engineering, we dub these relations metamorphic relations.  ...  Hence, obtaining the oracle for testing and debugging purposes is impractically expensive.  ... 
arXiv:2205.04998v1 fatcat:bgdjfyqmtndcrog6jtnz2hfroa

Pentium Pro processor design for test and debug

A. Carbine, D. Feltham
1998 IEEE Design & Test of Computers  
His responsibilities included the logic, circuit, and layout design of one fifth of the CPU in addition to DFT, test development, and silicon debug.  ...  MICROPROCESSOR TESTING .  ...  We also thank Bob Colwell, Wayne Needham, Randy Steck, and Keshavan Tiruvallur for their review of this article.  ... 
doi:10.1109/54.706037 fatcat:b4rcddnakrbmxhubf3yeyudfzq

Exploiting hardware advances for software testing and debugging

Mary Lou Soffa, Kristen R. Walcott, Jason Mars
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
In this work, we identify several recently developed hardware mechanisms that lend themselves well to structural test coverage analysis and automated fault localization and explore their potential.  ...  Despite the emerging ubiquity of hardware monitoring mechanisms and prior research work in other fields, the applicability and usefulness of hardware monitoring mechanisms have not been fully scrutinized  ...  that were recently introduced to enable debugging and precise event reporting.  ... 
doi:10.1145/1985793.1985935 dblp:conf/icse/SoffaWM11 fatcat:3r32cbpcszgrppjstf3ynsbape

Low Cost Debug Architecture using Lossy Compression for Silicon Debug

Ehab Anis, Nicola Nicolici
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
The size of on-chip trace buffers used for at-speed silicon debug limits the observation window in any debug session.  ...  Whenever the debug experiment can be repeated, we propose a novel architecture for at-speed silicon debug that enables a methodology where the designer can iteratively zoom only in the intervals containing  ...  The debug of memories embedded in SOCs relies on the built-in self-test (BIST) or direct memory access infrastructure, which are commonly available on-chip for manufacturing test and diagnosis.  ... 
doi:10.1109/date.2007.364595 dblp:conf/date/AnisN07 fatcat:uou26p6icrcxjnksykaqphkep4
« Previous Showing results 1 — 15 out of 102,851 results