Publikace na Matematicko-fyzikální fakulta |
2010
Abstrakt
Metody odhadů výkonnosti software se typicky ověřují současným odhadem a měřením vhodného softwarového systému a porovnáním výsledků. Ověření vyžaduje manuální kroky a je tak proveditelné pouze pro malý počet systémů.
Abychom výrazně zvýšili počet systémů použitých k ověření, navrhujeme postup, kde jsou systémy generovány spolu s modely a ověření tak probíhá bez manuálních kroků. Článek obsahuje detailní popis návrhu a první dosažené výsledky.