SOFTWARE MODELING AND TESTING

PragmaDev gives the developers of communicating software the tools they need to model their applications and generate optimized validation tests.

Technology

Founded in 2001, the company uses formal modeling languages defined by the International Telecommunications Union to provide a precise description of the functional behavior of communicating software. These languages (SDL and TTCN-3) are unique in that they are executable. The software can generate code, as well as tests that will handle a high number of model transitions.

PragmaDev has sold its main suite, Realtime Developer Studio, to companies like Airbus, Renault, ESA, Alcatel-Lucent, Toshiba, and Korean Telecom. Exports account for 50% of its revenue. The startup also uses List’s software technology, Diversity, as part of the joint laboratory that was established with the institute in 2013. This has given the company the opportunity to offer a new breed of test generation capabilities—based up until now on exhaustive simulation. This new symbolic model resolution approach generates tests by reducing the combinatory multiples that are found in the multi-parameter applications of the telecom sector.