Výsledky vyhledávání - "automatic tests"

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing

Autor: Ausberger, Tomáš, Kubíček, Karel, Medvecová, Pavla, Wolf, Jindřich

Publikováno v: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA).

This article describes a process for modern verification of safety-related I&C (Instrumentation and Control) systems based on algorithm model checking, model-based test case generation and automatic testing. The verification process is compatible wit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d783ad88c7c068c02349483b7a88e047
https://doi.org/10.1109/etfa52439.2022.9921696

Zobrazit plný text záznamu

Generation of automated functional tests for client side of web application from a description in natural language

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b74d09f9642dcd169fe683c87cd74b55

Zobrazit plný text záznamu

Test case generation for Function Block Diagram based on blocks’ predefined behaviour

Autor: Karel Kubicek, Tomas Ausberger, Tomas Myslivec, Pavla Medvecova

Automatic test case generation based on knowledge of a model is currently a challenge for many researchers and developers. This article describes the first of two complementary methods for test case generation for Function Block Diagram (FBD) models

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9573edcaab8c521f6d84727eca5da74
http://hdl.handle.net/11025/47267

Zobrazit plný text záznamu

Analytic method for automatic test case generation for Function Block Diagram

Autor: Pavla Medvecova, Milan Stetina, Tomas Ausberger, Tomas Myslivec, Karel Kubicek

Publikováno v: ETFA

Any Instrumentation and Control (I&C) system has to be properly tested to minimize the risk of faults in the system. This is even more crucial if the I&C system implements a safety function. The function of the I&C is often designed in a form of Func

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6970cc32a98b36dfa727e830db1cd317
http://hdl.handle.net/11025/42770

Zobrazit plný text záznamu

Návrh a optimalizace procesu automatizovaného integračního testování

Autor: CZARNOMSKI, Adrian

The bachelor thesis deals with the analysis of the current process of manual integration testing used in daily operation in the company Engel strojírenská spol. s.r.o., and creating own solution in the form of a tool to automate this process.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2186::c865305cec1d8589c3147f1f209fc7f6
http://www.nusl.cz/ntk/nusl-514603

Zobrazit plný text záznamu

Інформаційна технологія автоматичного тестування веб-застосувань

Autor: Тєлишева, Тамара Олексіївна

Магістерська дисертація: 72 с., 11 рис., 19 табл., 1 додаток, 25 посилань. Актуальність теми. За сучасного підходу до гнучкої розробки програмно�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2635::bae67255759b41240f6f74fcb001d567
https://ela.kpi.ua/handle/123456789/26162

Zobrazit plný text záznamu

Fire room software: Control y monitorización de ensayos en sala de fuego

Autor: García Valero, Marina

Publikováno v: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Desarrollo, implantación y validación de un programa de control y monitorización para ensayos en una sala de fuego. Los ensayos a realizar quedan incluidos en las normativas de fuego EN54-5, EN54-7 y EN54-20.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b2b283c61183c71f6a70adc109b00e0f
https://hdl.handle.net/2117/80353

Zobrazit plný text záznamu

Avtomatsko testiranje spletnih strani v okolju Laravel

Autor: Volk, Matic

Porast števila spletnih aplikacij je vplival na uporabo naprednih metod za njihov razvoj. V ospredju so agilne metode, ki vpeljujejo razvijanje, vključno s testiranjem. Testno voden način razvoja spletnih strani zajema pisanje testov, preden se za

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61ff66d4d945965bd1c9efda60710ffe
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=68878

Zobrazit plný text záznamu

UML būsenų modelio taikymas programų testavimui

Autor: Krivickaitė, Greta

Programinės įrangos testavimas gali užimti iki 50% projekto laiko, tad yra automatizuojamas. Norint generuoti automatinius būsenų testus, reikia turėti testavimo atvejus ir metodą įvertinti gautų rezultatų teisingumo įvertinimui. Šiame da

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3368::23f090908f668240c92efa3d360e151c
https://vb.ktu.edu/KTU:ELABAETD2110552&prefLang=en_US

Zobrazit plný text záznamu

An empirical study about the effectiveness of debugging when random test cases are used

Autor: Mariani, Ceccato, Tonella, Nguyen, Marchetto

Publikováno v: 2012 34th International Conference on Software Engineering (ICSE).

Automatically generated test cases are usually evaluated in terms of their fault revealing or coverage capability. Beside these two aspects, test cases are also the major source of information for fault localization and fixing. The impact of automati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b23300afe406b508b122b1c5a977eb85
https://doi.org/10.1109/icse.2012.6227170

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání