AskTheCode

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F19%3A10397720" target="_blank" >RIV/00216208:11320/19:10397720 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.askthecode.net" target="_blank" >http://www.askthecode.net</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

AskTheCode

Popis výsledku v původním jazyce

A common way to search for causes of program errors is to manually explore the code or to use a debugger. It is often a tedious process, especially if the code base is large and complicated. AskTheCode wants to change that, being a Microsoft Visual Studio extension for C# to enable developers to gather crucial information about the code semantics. Its main idea is pretty simple - the user selects an assertion in the code and AskTheCode attempts to find any inputs to the program that can break it. The user can then see all the inputs violating the assertion and replay the particular error trace to see how it happened. Due to the high complexity of the problem, it is not guaranteed to find the complete results every time. Nevertheless, even partial information can save the user a lot of time (by not having to manually inspect the call sites that are &quot;safe&quot;).

Název v anglickém jazyce

AskTheCode

Popis výsledku anglicky

A common way to search for causes of program errors is to manually explore the code or to use a debugger. It is often a tedious process, especially if the code base is large and complicated. AskTheCode wants to change that, being a Microsoft Visual Studio extension for C# to enable developers to gather crucial information about the code semantics. Its main idea is pretty simple - the user selects an assertion in the code and AskTheCode attempts to find any inputs to the program that can break it. The user can then see all the inputs violating the assertion and replay the particular error trace to see how it happened. Due to the high complexity of the problem, it is not guaranteed to find the complete results every time. Nevertheless, even partial information can save the user a lot of time (by not having to manually inspect the call sites that are &quot;safe&quot;).

Druh

R - Software

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

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ů

Interní identifikační kód produktu

AskTheCode

Technické parametry

Nástroj byl využit jako základ pro několik vědeckých publikací, více informací v odkazu níže.

Ekonomické parametry

Nástroj je ve stadiu výzkumného prototypu, nebylo tedy možné jej prozatím nasadit do praxe a ověřit jeho ekonomickou užitečnost.

IČO vlastníka výsledku

02034166

Název vlastníka

Robert Husák