Solving of Constraint Satisfaction Problem

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU111989" target="_blank" >RIV/00216305:26230/14:PU111989 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.feec.vutbr.cz/EEICT/2014/sbornik/03doktorskeprojekty/10pocitacovesystemy/02-xcekan00@stud.fit.vutbr.cz.pdf" target="_blank" >http://www.feec.vutbr.cz/EEICT/2014/sbornik/03doktorskeprojekty/10pocitacovesystemy/02-xcekan00@stud.fit.vutbr.cz.pdf</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Solving of Constraint Satisfaction Problem

Popis výsledku v původním jazyce

The goal of this paper is to find a suitable solver for Coverage Directed Test Generation that is one of the functional verification techniques. In order to do this, we summarized information about the Constraint Satisfaction Problem. The problem consists of finding a solution (assignments for variables) that must satisfy certain constraints. Moreover, we created a survey about existing constraint solvers and compare their pros and cons. In the final part of the paper we propose a solution how to integrate an appropriate constraint solver into the process of test generation.

Název v anglickém jazyce

Solving of Constraint Satisfaction Problem

Popis výsledku anglicky

The goal of this paper is to find a suitable solver for Coverage Directed Test Generation that is one of the functional verification techniques. In order to do this, we summarized information about the Constraint Satisfaction Problem. The problem consists of finding a solution (assignments for variables) that must satisfy certain constraints. Moreover, we created a survey about existing constraint solvers and compare their pros and cons. In the final part of the paper we propose a solution how to integrate an appropriate constraint solver into the process of test generation.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 20th Conference STUDENT EEICT 2014

ISBN

978-80-214-4924-4

ISSN

—

e-ISSN

—

Počet stran výsledku

5

Strana od-do

291-295

Název nakladatele

Faculty of Information Technology BUT

Místo vydání

Brno

Místo konání akce

Brno

Datum konání akce

24. 4. 2014

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—