Change search
ReferencesLink to record
Permanent link

Direct link
Structural testing based on minimum kernels
KTH, School of Information and Communication Technology (ICT), Microelectronics and Information Technology, IMIT.ORCID iD: 0000-0001-7382-9408
2005 (English)In: Proceedings -Design, Automation and Test in Europe, DATE '05 / [ed] Wehn, N; Benini, L, IEEE Computer Society, 2005, 1168-1173 p.Conference paper (Refereed)
Abstract [en]

Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which guarantees high coverage is a time-consuming task. In this paper we present a technique for structural testing based on kernel computation. A kernel satisfies the property that any set of tests which executes all vertices (edges) of the kernel executes all vertices (edges) of the program's flowgraph. We present a linear-time algorithm for computing minimum kernels based on pre- and post-dominator relations of a flowgraph.

Place, publisher, year, edition, pages
IEEE Computer Society, 2005. 1168-1173 p.
, Design, Automation, and Test in Europe Conference and Exhibition. Proceedings, ISSN 1530-1591 ; 2
Keyword [en]
Algorithms, Computation theory, Computer systems
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-42779DOI: 10.1109/DATE.2005.284ISI: 000228086900230ScopusID: 2-s2.0-33646942157ISBN: 0-7695-2288-2ISBN: 978-076952288-3OAI: diva2:447744
Design, Automation and Test in Europe Conference and Exhibition (DATE 05) Location: Munich, Germany Date: Mar 07-11, 2005

QC 20111013

Available from: 2011-10-13 Created: 2011-10-12 Last updated: 2012-09-26Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Dubrova, Elena
By organisation
Microelectronics and Information Technology, IMIT
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 26 hits
ReferencesLink to record
Permanent link

Direct link