Modelling in validation of the metrological software

In this paper we discuss the issues involving the validation of the CMM's metrological software. We consider the concept of validation and their realisation based on conceptual and formal model of software under examination. Discussed method, checking the software against the basic parameters of accuracy, replaces the key concept measurement experiments and complements the concept of PN-EN ISO 10360 - 6 tests.

---

W artykule zostały omówione zagadnienia dotyczące walidacji oprogramowania metrologicznego współrzędnościowych maszyn pomiarowych. Przedstawiono strategię walidacji oprogramowania oraz sposób jej realizacji w oparciu o ustalony konceptualny i formalny model. Stosunkowo prosta komputerowa implementacja modelu pozwala na przeprowadzanie badań oraz wykorzystanie ich wyników do prognozowania zachowań oprogramowania.