Co je to idempotence v kontextu programování a testování?

Idempotence je vlastnost operace nebo funkce, která znamená, že opakované použití této operace vede ke stejnému výsledku jako jednorázové použití. Stav systému po opakovaném provedení idempotentní operace se nemění ve srovnání se stavem po prvním provedení.

V kontextu programování:

Příklady idempotentních operací:

• Čtení dat z databáze (GET požadavek), pokud to nemění stav dat.
• Aktualizace záznamu v databázi s danou hodnotou (PUT požadavek na konkrétní zdroj s úplným stavem).
• Odstranění zdroje (DELETE požadavek). Opakované odstranění již odstraněného zdroje vede ke stejnému stavu (zdroj chybí).
• Inicializace proměnné určitou hodnotou.

Příklady neidempotentních operací:

• Přidání nového záznamu do databáze (POST požadavek). Opakování přidá nový záznam.
• Zvýšení čítače o jedna.
• Odeslání emailu.

V kontextu testování:

Testování idempotence je důležité pro systémy, kde jsou možné opakované volání operací, například při práci s API, distribuovanými systémy nebo systémy zpráv.

• Cíl testu: Zajistit, že opakované provedení idempotentní operace nezpůsobí nežádoucí vedlejší účinky nebo změny stavu systému, kromě toho, co se očekává po prvním provedení.
• Metody testování:
  • Provedení operace Nkrát (N > 1) a kontrola stavu systému a výsledku po každém provedení.
  • Porovnání stavu systému před a po opakovaných provedeních (po prvním úspěšném).
  • Kontrola logů a metrik na absenci anomálií při opakovaných voláních.
• Příklady testovacích případů:
  • Provedení GET požadavku na zdroj 5krát. Ujistit se, že data v odpovědi jsou identická a že stav zdroje na serveru se nezměnil.
  • Provedení PUT požadavku na aktualizaci záznamu. Opakovat požadavek. Ujistit se, že záznam v databázi zůstává ve stejném stavu po druhém požadavku jako po prvním.
  • Provedení DELETE požadavku na odstranění zdroje. Opakovat požadavek. Ujistit se, že zdroj po prvním požadavku již neexistuje a že druhý požadavek vrací očekávaný stav (například 404 Not Found).

Idempotence zjednodušuje správu chyb a opakované pokusy, činí systémy spolehlivějšími a předvídatelnějšími, což je klíčový aspekt kvality.