Tools zum Testen eines Rechenkerns einer Privaten Krankenversicherung

Für die Prüfung und Entwicklung eines Rechenkerns für eine private Krankenversicherung werden eine Reihe von Testprogrammen genutzt, die die Korrektheit des Rechenkernablaufs sicherstellen sollen. Hierzu gehört die automatisierte Durchführung von Berechnungen und der Abgleich mit Referenzwerten, die statische Codeanalyse sowie die dynamische Fehleranalyse. Der Rechenkern bietet eine Reihe von fachlichen Prozessen wie Beitragsberechnung, Beitragsrückerstattungen, Tarifwechsel und Beitragsanpassungen. Alle diese Prozesse müssen geprüft werden.