Google Ads
Product News : PragmaDev introduces a unique Model Based Testing feature in its latest release
on 2014/5/15 8:13:44 (584 reads)
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.

Printer Friendly Page Send this Story to a Friend Create a PDF from the article

Copyright (c) 2007-2014 Martinig & Associates | Methods & Tools Software Development Magazine | Privacy Policy
Software Development Articles | Software Development Directory | Software Development Videos
Software Development Jobs | Software Development News | Software Development Books
Software Development Blogs | Software Development Conferences