Zaměňované pojmy v oblasti SW inženýrství

Při přednáškách a přípravě na letošní zkoušky z Analýzy a návrhu informačních systémů a Bezpečnosti informačních systémů jsem si vzpomněl na pár pojmů, které bývají často zaměňovány a používány v opačném významu, i když je mezi nimi rozdíl. Mezi tyto pojmy patří např. validace a verifikace, metodologie a metodika a aplikační versus business logika (odmítám psát byznys logika, protože to vypadá divně). Ač je zde samozřejmě možnost, že tyto pojmy jsou na různých místech definovány a chápány různě, tak v následujícím příspěvku bych chtěl zmínit, jak to vidím já a různé zdroje, které jsem nalezl :).

Verifikace vs validace

• Verifikace (verification) je kontrola, zda vyvíjený systém vyhovuje specifikacím (našemu návrhu). Máme nějaký model/návrh a podle něj jsme vyvinuli systém. Verifikací ověřujeme, že námi vyvinutý systém odpovídá návrhu, čili jsme vyrobili to, co jsme vyrobit chtěli (vytváříme produkt správně). Mezi metody verifikace patří většina testování, kterého se neúčastní zákazník (jednotkové testy, integrační testy apod.), inspekce kódu, simulace či různé formální analýzy a verifikace.
• Validace (validation) je kontrola, zda vyvíjený systém splňuje to, co od něj zákazník očekává. Dal nám požadavky a zajímá jej, zda to, co dostane, je to, co chce. Je to tedy ověřování, že děláme (vyvíjíme) to, co máme (vytváříme správný produkt). Mezi metody validace patří např. akceptační testy, které se provádí u zákazníka (pokud např. zákazník požadoval, že operátor systému musí být schopen vykonat určitou činnost do půl minuty, tak se zkouší, zda to možné je).

Zdroje: 1, 2, 3

Metodologie vs metodika

• Metodologie (methodology) je nejobecnější pojem a znamená "nauka o metodikách" (čili je to vědní disciplína, která se zabývá metodikami).
• Metodika (method) je komplexní postup či návod, v našem případě pro vývoj softwarových systémů. Příkladem metodiky je Rational Unified Process (RUP), Extrémní programování či SCRUM. Čili říkáme "vyvíjíme podle metodiky XYZ", nikoliv "vyvíjíme podle metodologie XYZ".

Termíny metodologie a metodika bývají velmi často zaměňovány (mrkněte např. na diskusi na wikipedii). Můj názor souhlasí s tím, co jsem uvedl výše.

Zdroje: V. Kadlec, Agilní programování, Computer Press, 2004, Brno, ISBN 80-251-0342-0, 2, 3, 4, 5

Business vs aplikační logika

• Business logika (business logic) definuje postupy a tok informací v rámci objektů domény. Vychází z podnikových pravidel, zákonů apod. a bude stejná nezávisle na aplikaci. Příkladem může být výpočet daně, výpočet slev, postup zpracování objednávek, výpočet následujícího data inspekce apod. Ve vzoru/architektuře MVC se business logika nachází ve vrstvě modelu (doménové vrstvě).
• Aplikační logika (application logic) je, jak už název napovídá, závislá na dané aplikaci, nikoliv na podnikových pravidlech. Patří zde např. způsob správy sezení (session), přijímaní a odesílání HTTP požadavků, přístup k databázi apod. Ve vzoru/architektuře MVC se aplikační logika nachází v řadiči (controller).

Používání termínu aplikační logika místo business logika (či jako smíchaninu obojího) si vysvětluji tím, že někteří nemají anglicismy příliš v oblibě. Bohužel to ale pak může vést ke zmatení.

Zdroje: 1, 2, 3, 4

Pokud to někdo vidíte jinak, tak se nezapomeňte s vaším názorem podělit v komentáři :).