Model-gebaseerd testen
Ons platform test uw systeem grondiger dan ooit tevoren. Testgevallen worden automatisch gegenereerd en uitgevoerd op basis van de specificaties.
Lees meer over model-gebaseerd testen.
Protocoltesten
Ons platform is ongeëvenaard in het testen van communicerende systemen. Vanuit een formele specificatie van het protocol worden alle mogelijke interacties afgeleid en getest.
Lees meer over protocoltesten.
Model-gebaseerd werken
Onze werkwijze versimpelt het ontwikkelproces en stelt domeinexperts centraal. Zij schrijven formele specificaties waarmee ons platform het volledige ontwikkelproces automatiseert.
Lees meer over model-gebaseerd werken.
De rekenbox
Onze rekenbox stelt domeinexperts in staat om zelf (actuariële) rekenregels te specificeren en automatiseren. Met ons platform kunnen zij een implementatie genereren en automatisch testen.
Lees meer over de rekenbox.
De documentenbox
De documentenbox stelt domeinexperts in staat om gemakkelijk documenten, reglementen, brieven en polissen te specificeren, controleren en genereren.
Lees meer over de documentenbox.
Het productmodel
Ons productmodel stelt domeinexperts in staat uw producten eenduidig te specificeren. Ons platform kan deze automatisch controleren.
Lees meer over het productmodel.
Onze aanpak
Voor het invoeren van model-gebaseerd werken of testen binnen een organisatie hebben we een bewezen aanpak in drie fasen.
Lees meer over onze aanpak.