PragmaDev model driven development tool new version can generate test cases out of the requirements

Share Article

PragmaDev RTDS latest release V4.3 introduces 15 new features making it the most complete model driven development and testing tool dedicated to real time and embedded applications.

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.

RTDS V4.3 main new feature is the generation of TTCN-3 test suites out of requirements expressed in MSC and HMSC. That feature allows to verify the model is conform to the requirements very early in the development process. The same feature can be used to gather execution traces coming from a simulation, or target execution, and replay the scenario as a test case automatically. That feature is a major add on in a continuous integration process.

Among the main new features are:

  • TTCN-3 generation out of MSC and HMSC,
  • Publication marks shows graphically if whole or a part of a diagram has been documented,
  • Command line diff,
  • Support scheduling in C from SDL-RT projects.

Share article on social media or email:

View article via:

Pdf Print

Contact Author

Emmanuel Gaudin
PRAGMADEV
(014) 274-1538
Email >
Visit website

Media