Táblázatok, szkriptek és számítási könyvtárak metrológiai validálása: tesztesetek, verziókezelés, numerikus pontosság és auditálhatóság.
1. Mit kell validálni?
Nemcsak a képletet, hanem a teljes számítási láncot kell ellenőrizni: adatbeolvasás, egységkezelés, korrekciók, deriválás, kovariancia, eloszlásmintavétel, kerekítés és jelentéskészítés. A szoftver akkor alkalmas, ha a meghatározott felhasználási cél mellett reprodukálhatóan helyes eredményt ad, és a hibás bemeneteket felismeri.
2. Tesztelési rétegek
Egységteszt
Egy-egy függvény ismert bemenetre ismert kimenetet ad.
Integrációs teszt
A teljes számítási lánc helyesen adja át az adatokat.
Referenciaeset
Kézi vagy független programmal számított hiteles példa egyezik.
Határérték-teszt
Nulla, szélső, korrelált és fizikailag tiltott bemenetek kezelése.
Regressziós teszt
A jóváhagyott eredmények szoftverfrissítés után sem változnak indokolatlanul.
3. Numerikus pontosság és kondicionáltság
A lebegőpontos aritmetika, a közel azonos számok kivonása, a rosszul kondicionált mátrixok és a túl kicsi differencialépés jelentős hibát okozhat. A megjelenített számjegyek egyezése nem bizonyítja a belső számítás helyességét. Kondíciószám, maradék, alternatív algoritmus és nagyobb pontosságú referencia segítheti az ellenőrzést.
4. Táblázatkezelők sajátos kockázatai
- rejtett cellák és képletek;
- kézi felülírás;
- relatív/abszolút hivatkozási hiba;
- területi beállítástól függő tizedes- és dátumértelmezés;
- másolásból eredő tartományhiba;
- makrók és külső hivatkozások ellenőrizetlen változása.
5. Jóváhagyás és változáskezelés
Minden kiadott számítási eszköznek azonosítható verzióval, jóváhagyott tesztjegyzőkönyvvel, felelőssel és visszaállítható forrásállapottal kell rendelkeznie. A változás hatáselemzése dönti el, hogy részleges vagy teljes újravalidálás szükséges. A bizonyítványon vagy nyers adatokban tárolt szoftververzió megkönnyíti az utólagos rekonstruálást.
Elsődleges szakmai források
A normatív vagy hivatalos szöveg mindenkori hatályos kiadása az irányadó. A cikk a források szakmai értelmezése, nem azok helyettesítője.
- JCGM GUM-6:2020 — Developing and using measurement models
Részletes útmutató mérési modellek kialakításához, validálásához, számítógépes megvalósításához és dokumentálásához. - JCGM 101:2008 — Propagation of distributions using a Monte Carlo method
A bemeneti eloszlások mérési modellen keresztüli terjesztésének és a Monte Carlo-módszer alkalmazásának hivatalos útmutatója. - JCGM 102:2011 — Extension to any number of output quantities
A több kimeneti mennyiséget adó mérési modellek, közös eloszlások és kovarianciamátrixok kezelése.