Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
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
Identifiers
URN: urn:nbn:se:kth:diva-42779DOI: 10.1109/DATE.2005.284ISI: 000228086900230Scopus ID: 2-s2.0-33646942157ISBN: 0-7695-2288-2 (print)ISBN: 978-076952288-3 OAI: oai:DiVA.org:kth-42779DiVA: diva2:447744
Conference
Design, Automation and Test in Europe Conference and Exhibition (DATE 05) Location: Munich, Germany Date: Mar 07-11, 2005
Note

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

Authority records BETA

Dubrova, Elena

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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 51 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf