Attributes | Values |
---|
rdf:type
| |
Description
| - Aplikace umělé inteligence, např. založené na multiagentních systémech a používající ontologickou inferenci, potřebují způsob, jak dokázat svou funkci a demonstrovat svou bezpečnost, aby přitáhly zájem potenciálních zákazníků. Věříme, že k tomuto účelu lze použít odvození testovacích případů založené na přístupu model-driven development na základě požadavků (podporovaných také ontologií a specifikovaných v modelech), simulaci konfigurace systému v softwarové vrstvě a následné provedení automatických testů. V tomto příspěvku jsou diskutovány kroky quality assurance a generování testovacích případů z ontologie a modelů. Koncept je ilustrován na scénáři z průmyslového prostředí a je prezentováno empirické zhodnocení za použití nástroje Multi-Agent Simulation Tool (MAST) firmy Rockwell Automation. (cs)
- Artificial intelligence applications, e.g., based on multi-agent systems using ontology reasoning and inference, need a way to prove their function and to demonstrate their safety in order to attract interest of potential customers. We believe that model-driven development-based derivation of test cases based on the requirements (supported also by ontology and specified by models), simulation of the system configuration in software layer, and then performing automated test cases can be used for this purpose. In this paper we discuss quality assurance steps and test case generation based on ontology and models. We illustrate the concept with a scenario from an industry background and provide empirical evaluation using a Multi-Agent Simulation Tool (MAST) from Rockwell Automation.
- Artificial intelligence applications, e.g., based on multi-agent systems using ontology reasoning and inference, need a way to prove their function and to demonstrate their safety in order to attract interest of potential customers. We believe that model-driven development-based derivation of test cases based on the requirements (supported also by ontology and specified by models), simulation of the system configuration in software layer, and then performing automated test cases can be used for this purpose. In this paper we discuss quality assurance steps and test case generation based on ontology and models. We illustrate the concept with a scenario from an industry background and provide empirical evaluation using a Multi-Agent Simulation Tool (MAST) from Rockwell Automation. (en)
|
Title
| - Model-Driven Development of Intelligent Mass Customization Systems
- Model-Driven Development of Intelligent Mass Customization Systems (en)
- Vývoj inteligentních mass customization systémů pomocí přístupu model-driven development (cs)
|
skos:prefLabel
| - Model-Driven Development of Intelligent Mass Customization Systems
- Model-Driven Development of Intelligent Mass Customization Systems (en)
- Vývoj inteligentních mass customization systémů pomocí přístupu model-driven development (cs)
|
skos:notation
| - RIV/68407700:21230/08:03141737!RIV09-MSM-21230___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21230/08:03141737
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - artificial inteligence; multi-agent systems (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Cybernetics and Systems 2008
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Matoušek, Kamil
- Biffl, S.
- Wahyudin, D.
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Austrian Society for Cybernetics Studies
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |