Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleMarch 2013
On Adequacy of Assertions in Automated Test Suites: An Empirical Investigation
ICSTW '13: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation WorkshopsPages 382–391https://doi.org/10.1109/ICSTW.2013.49An integral part of test case is the verification phase (also called 'test oracle'), which verifies program's state, output or behavior. In automated testing, the verification phase is often implemented using test assertions which are usually developed ...
- ArticleJanuary 2012
State coverage: software validation metrics beyond code coverage
SOFSEM'12: Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer SciencePages 542–553https://doi.org/10.1007/978-3-642-27660-6_44Currently, testing is still the most important approach to reduce the amount of software defects. Software quality metrics help to prioritize where additional testing is necessary by measuring the quality of the code. Most approaches to estimate whether ...
- demonstrationMay 2008
A state coverage tool for JUnit
ICSE Companion '08: Companion of the 30th international conference on Software engineeringPages 965–966https://doi.org/10.1145/1370175.1370210We present a JUnit test runner that informs users of missing behavior checks in their tests. The tool tracks variable updates and definitions over the course of a test execution and determines which variables influence which assertions via dynamic taint ...
- research-articleNovember 2007
Synthesis of system state models
ACM SIGPLAN Notices (SIGPLAN), Volume 42, Issue 11Pages 5–14https://doi.org/10.1145/1328788.1328792Many modern systems are state-based. For such systems, a system state model is important not only for understanding the behavior of the system, but also for test case design, test coverage analysis, maintenance, etc. However, developers rarely construct ...
- ArticleSeptember 2007
State coverage: a structural test adequacy criterion for behavior checking
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringPages 541–544https://doi.org/10.1145/1287624.1287705We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and sideeffects of a program.
State coverage differs in several respects from existing ...
- ArticleSeptember 2007
State coverage: a structural test adequacy criterion for behavior checking
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papersPages 541–544https://doi.org/10.1145/1295014.1295036We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effects of a program.
State coverage differs in several respects from existing ...
- ArticleJune 2007
Automated fault localization with statistically suspicious program states
LCTES '07: Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systemsPages 11–20https://doi.org/10.1145/1254766.1254769A number of fault localization techniques have been developed to reduce the time in manually debugging a faulty program. The technique of code coverage [8] has been recognized by its effectiveness in identifying suspicious statements that may contain ...
Also Published in:
ACM SIGPLAN Notices: Volume 42 Issue 7 - ArticleJune 2003
Dos and don'ts of CTL state coverage estimation
DAC '03: Proceedings of the 40th annual Design Automation ConferencePages 292–295https://doi.org/10.1145/775832.775908Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a larger subset of CTL; we prove properties of the algorithm and apply it to ...
- research-articleJuly 2001
Testing Schemes for FIR Filter Structures
IEEE Transactions on Computers (ITCO), Volume 50, Issue 7Pages 674–688https://doi.org/10.1109/12.936234This paper presents a new pseudoexhaustive test methodology for digital finite impulse response (FIR) filters. The proposed scheme can be employed to detect any combinational faults within the basic cell of the functional units occurring in linear phase ...
- research-articleJuly 1997
Design of Testable Multipliers for Fixed-Width Data Paths
IEEE Transactions on Computers (ITCO), Volume 46, Issue 7Pages 795–810https://doi.org/10.1109/12.599900The usage of multipliers in fixed-width data-dominated architectures (also termed data paths) poses serious testability problems. Due to truncation of their outputs, the fault observability of the multipliers degrades, and the resulting output patterns ...
- ArticleApril 1995
Arithmetic built-in self test for high-level synthesis
Abstract: In this paper, we propose an entirely new Built-in Self Test scheme for high-level synthesis of data path architectures that makes use of the arithmetic blocks in the data path to generate test vectors and compact test responses. The paper ...