Probleemstelling
Het moderne IT landschap bestaat voor het grootste deel uit losse systemen die met elkaar communiceren. De protocollen die hiervoor gebruikt worden kunnen behoorlijk complex zijn. Een correcte implementatie van deze protocollen is echter essentieel, omdat een fout in het ene systeem niet de hele keten om mag duwen. De implementaties van deze interfaces blijken in de praktijk erg moeilijk te testen, onder andere door het grote aantal mogelijke sequenties van interacties tussen twee systemen, tijdsgebonden eigenschappen en parallelisme. Dit resulteert vaak in een lagere kwaliteit van de opgeleverde software.
Wij zien de volgende problemen regelmatig optreden.
Onze oplossing
Ons platform is uitermate geschikt voor het testen van protocollen. Dit komt doordat de structuur van protocollen erg goed is uit te drukken in onze modellen. Deze aanpak is een concrete variant van model-gebaseerd testen.
Testgevallen worden automatisch gegenereerd, uitgevoerd en gecontroleerd op basis van de formele specificaties van het protocol. Ons platform automatiseert daarmee het volledige testproces. Ons platform kiest de de testgevallen slim uit om een optimale testdekking te behalen. Met deze aanpak kunt u vertrouwen hebben dat de resulterende implementaties 100% voldoen aan de specificaties en robust zijn tegen onverwacht gedrag.
Model-gebaseerd protocoltesten heeft vele voordelen.
Protocoltesten bij klanten
Protocoltesten wordt met veel succes ingezet bij ProRail en ITAB.
Contact
Is protocoltesten ook iets voor u? Wij vertellen u graag meer. Neem contact op met Machiel van der Bijl voor meer informatie.
+31 6 1642 6332
vdbijl@axini.com