Reactis Reactis helpt ingenieurs bouwen software sneller door vele verificatie te automatiseren
Download nu

Reactis Rangschikking & Samenvatting

Reactis Tags

Reactis Beschrijving

Reactis helpt om ingenieurs een betere software sneller te maken door vele verificatie- en validatietaken in een model-gebaseerd ontwerpproces te automatiseren. Model-gebaseerd ontwerp groeit in populariteit onder ingenieurs die ingebouwde controlesoftware ontwikkelen. In Model-gebaseerd ontwerp worden uitvoerbare visuele modellen van ingebedde besturingssoftware ontwikkeld voorafgaand aan de implementatie van het systeem. De modellen kunnen worden gebruikt om de ontwikkeling van besturingssoftware te besturen en kunnen ook dienen als basis voor software- en systeemtesten. Eén voordeel van model-gebaseerd ontwerp is dat het ingenieurs kunnen beginnen met debuggen en validatieactiviteiten op de ontwerptijd, wanneer de kosten van het detecteren en omgaan met ontwerpdefecten veel kleiner zijn dan op het niveau van de software en het systeem. Een ander is dat modellen kunnen worden gebruikt als basislijn voor het beoordelen van implementatiegedrag tijdens systeemtesten en validatie. Om deze redenen kan het verstandige gebruik van modellering leiden tot vrij dramatische overall-verlagingen in de kosten van controlesysteemontwikkeling, vooral wanneer robuuste toolsteun beschikbaar is. Functies: - Genereer tests uit een model dat het model (structurele testen) grondig uitoefent; - Zoek runtime-fouten (bijvoorbeeld overflow-fouten, verdeling-bij-nul-fouten) in een model; - Voer het model- en spoordekking uit (b.v. MC / DC); - Voer functionele tests uit om te controleren of een model zijn vereisten of niet kan schenden; - Gebruik een reactis-testsuite als een Oracle om te controleren of de code conformeert met een model.

Reactis Gerelateerde software