Něco o těchto stránkách
Hlavní stránka
Úvod kapitoly
Obsah
Literatura
Rejstřík
Odkazy jinam
|
Ověřování
Ověřováním se zkoumá, jestli je vytvořený systém správný v tom smyslu, že splůje specifikace, požadavky a ohraničení stanovené v předchozích stádiích vývojového procesu. Chyby, které je možné při ověřování identifikovat, mohou být rozdělěny do dvou skupin:
- První třídu tvoří tzv. strukturální nebo interní chyby. V jejich rámci rozlišujeme syntaktické chyby (např. dvě identická pravidla v bázi poznatků) a chyby, k jejichž odhalení potřebujeme poznat způsob inference (např. pravidlo, které nemůže být nikdy použité).
- Druhou třídu tvoří funkční (externí) chyby, které zahrnují situace jako cykličnost, redundance a nekonzistentnost.
I když můžeme definovat objektivní syntektická kritéria na popis chyb druhé třídy, je potřeba vždy posuzovat každý případ individuálně - někdy má taková chyba své uplatnění (využívá se například ve vysvětlovacím modulu apod.).
Ověřování a hodnocení - úvod  Redundance
|
