PragmaDev introduces a unique Model Based Testing feature in its latest release

Date 2014/5/15 8:13:44 | Topic: Product News

PragmaDev RTDS latest release V4.5 introduces 35 new features making it the most complete model driven development and testing tool dedicated to event driven systems. Real Time Developer Studio offers three levels of modeling and testing: informal, semi-formal, and fully formal. While informal modeling is mainly used for documentation, the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, and test generation.

Among the main new features are:
- As a result of our collaboration with CEA research institute, a unique Model Based Testing technology is now integrated in RTDS. Based on a symbolic resolution principle, as opposed to a classical numerical approach, the computation is very efficient. As a result it  is possible to generate the test cases that will:
* cover all transitions.
* target a specific transition.
* verify a static property.
* verify a dynamic property described in an observer.
- The latest release of RTDS runs natively on Mac OS X.
- Introducing latest modeling features:
* SDL 2010 Timer supervised states.
* SDL and SDL-RT super-class transition calls.


This new version introduces unique features for the use of models for validation and test of critical systems.

About PragmaDev


PragmaDev is a privately held company based in Paris France that provides since 2001 a set of model
driven tools dedicated to the development and test of real time and embedded software: Real Time Developer
Studio. Customers include Airbus, Alcatel-Lucent, Renault, the French Army, Wipro, Thomson, STMicroelectronics,
Korean Telecom, ESA, Toshiba, and LG Electronics.

This article comes from Software Development Tools

The URL for this story is: