Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
LUABA24101

DeepMBT: Nová generace testování sofwarových systémů založeného na modelech s využitím umělé inteligence

Veřejná podpora

  • Poskytovatel

    Ministerstvo školství, mládeže a tělovýchovy

  • Program

    INTER-EXCELLENCE II

  • Veřejná soutěž

    SMSM2024LU002

  • Hlavní účastníci

    České vysoké učení technické v Praze / Fakulta elektrotechnická

  • Druh soutěže

    VS - Veřejná soutěž

  • Číslo smlouvy

    MSMT-10081/2024-12

Alternativní jazyk

  • Název projektu anglicky

    DeepMBT: New Generation of Model-based Software Testing Using Artificial Intelligence

  • Anotace anglicky

    The goal of the project is to develop a new, more efficient variant of techniques for automating process tests in complex and critical software and IoT systems, so that these techniques enable finding more relevant errors in the tested system within the same or less time and effort. The project will extend the currently established concept of Model-based Testing (MBT) and create a new type of technique for efficiently generating test scenarios from the system model. In the following description, we will outline the project's sub-goals, which will be further realized through outputs detailed in section 3D.

Vědní obory

  • Kategorie VaV

    ZV - Základní výzkum

  • OECD FORD - hlavní obor

    20206 - Computer hardware and architecture

  • OECD FORD - vedlejší obor

    20204 - Robotics and automatic control

  • OECD FORD - další vedlejší obor

  • CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

    JC - Počítačový hardware a software<br>JD - Využití počítačů, robotika a její aplikace

Termíny řešení

  • Zahájení řešení

    1. 7. 2024

  • Ukončení řešení

    31. 12. 2026

  • Poslední stav řešení

    B - Běžící víceletý projekt

  • Poslední uvolnění podpory

    12. 2. 2025

Dodání dat do CEP

  • Důvěrnost údajů

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

  • Systémové označení dodávky dat

    CEP25-MSM-LU-R

  • Datum dodání záznamu

    4. 3. 2025

Finance

  • Celkové uznané náklady

    5 419 tis. Kč

  • Výše podpory ze státního rozpočtu

    5 419 tis. Kč

  • Ostatní veřejné zdroje financování

    0 tis. Kč

  • Neveřejné tuz. a zahr. zdroje finan.

    0 tis. Kč