Faculty of Information Technology, BUT

Publication Details

Regression Test Suites Optimization for Application-specific Instruction-set Processors and Their Use for Dependability Analysis

ZACHARIÁŠOVÁ Marcela, BELEŠOVÁ Michaela and KOTÁSEK Zdeněk. Regression Test Suites Optimization for Application-specific Instruction-set Processors and Their Use for Dependability Analysis. In: Proceedings of the 19th Euromicro Conference on Digital Systems Design. Limassol Cyprus: IEEE Computer Society, 2016, pp. 380-387. ISBN 978-1-5090-2816-0.
Czech title
Optimalizace regresní testovací sady pro aplikačně specifické procesory a její využití v spolehlivostní analýze
Type
conference paper
Language
english
Authors
Zachariášová Marcela, Ing., Ph.D. (DCSY FIT BUT)
Belešová Michaela, Ing. (FIT BUT)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Keywords
verification, dependability, regression tests
Abstract
Nowadays, Application-specific Instruction-set Processors
(ASIPs) are an important part of embedded systems,
especially those which are utilized in Internet of Things (IoT).
They can be optimized for high performance, small area or
low power consumption by changes in their instruction set or
by various changes in their hardware architecture. With fast
prototyping of ASIPs, another very important issue arises. It
is fast verification of such changes, ideally with optimized test
suites, so comprehensive and long-running verification after every
change can be avoided. In this paper, a new technique for
building optimized regression suites for ASIPs is proposed which
is based on the genetic algorithm. Experiments show that using
this technique, reduction of the original test suite from first phase
verification is significant, the new optimized regression
suite remains strong in checking key functionality of an ASIP and
a considerable improvement in the verification runtime can be
achieved. Moreover, the paper shows a proposal of multi-domain
application of the regression suites in evaluating dependability
of FPGA-based ASIP prototypes.
Published
2016
Pages
380-387
Proceedings
Proceedings of the 19th Euromicro Conference on Digital Systems Design
Conference
19th Euromicro Conference on Digital Systems Design, Limassol, CY
ISBN
978-1-5090-2816-0
Publisher
IEEE Computer Society
Place
Limassol Cyprus, CY
DOI
BibTeX
@INPROCEEDINGS{FITPUB11162,
   author = "Marcela Zachari\'{a}\v{s}ov\'{a} and Michaela Bele\v{s}ov\'{a} and Zden\v{e}k Kot\'{a}sek",
   title = "Regression Test Suites Optimization for Application-specific Instruction-set Processors and Their Use for Dependability Analysis",
   pages = "380--387",
   booktitle = "Proceedings of the 19th Euromicro Conference on Digital Systems Design",
   year = 2016,
   location = "Limassol Cyprus, CY",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5090-2816-0",
   doi = "10.1109/DSD.2016.50",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11162"
}
Back to top