Expertní systémy

Něco o těchto stránkách

Hlavní stránka

Obsah

Literatura

Rejstřík

Odkazy jinam

Úvod

Hodnocení a ověřování konvenčních programů je jedním ze základních problémů, které zkoumá softwarové inženýrstvo a který dosud není jednoznačně a uspokojivě vyřešen. Jde o činnost, jejímž primárním cílem je zaručit dobrou kvalitu a správnost programů.

Ověřování je proces, ve kterém se určuje, jestli produkt určité fáze vývoje softwaru splňuje požadavky stanovené v předcházející fázi. Na fázi ověřování se zaměřuje především tvůrce (nebo tvůrci), a snaží se v ní především odpovědět na otázky typu "Funguje vytvořený produkt korektně? Řeší problém záklazníka tak, jak to vyplynulo z našich diskusí?" Ověřování se týká inferenčního mechanismu, uživatelského rozhraní a poznatků. Tvůrce sleduje syntaktické vlastnosti jako úplnost, korektnost, stabilitu a chování systému jako softwaru i jako experta.

Hodnocení je proces, v kterém se zjišťuje stupeň splnění specifikovaných požadavků na software na konci vývojového procesu. Hodnocení provádí zákazník a zaměřuje se především na otázky typu "Splňuje předložený systém požadavky uživatele? Řeší skutečně problémy, které řešit má?" Zákazníka tedy zajímá použitelnost, kompetence, chování a spolehlivost systému.

Ověřování