JavaScript is currently disabled.Please enable it for a better experience of Jumi. Fransk UML testas med Prover
Svenska Provers program för formell bevisföring kommer att användas i franska Leirios UML-verktyg för automatisk testgenerering till bland annat smarta kort och telekom.
Franska Lerios har valt bevismotorn från svenska Prover i sitt kommande verktyg för UML-testgenerering, kallat Leirios Test Designer 3.0. Tidigare har fransmännen använt egenutvecklad teknik för ändamålet, men det anser man nu inte längre vara kostnadseffektivt, och i valet av ny leverantör fastnade man för Prover.

Lerios kunder använder verktygen bland annat till att validera funktionerna hos mobiltelefoner, smarta kort, elektroniska betalningssystem och stora programvaror för allt från telekom till bank- och finansändamål. Sådan validering görs idag ofta för hand, eller med hemsnickrade program.

Det är andra gången på kort tid som Prover kan visa upp en ny kund - i förra veckan kom beskedet att bevismotorn även ska användas av The Mathworks i företagets verktyg för formell verifiering av inbyggda system, se artikel (länk) .
MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)