I-Logix launches code test generator

Nurenberg, Germany - Embedded Systems Conference - I-Logix Inc. has launched Statemate Magnum Automatic Test Generator (ATG). Together with the recently announced Statemate Magnum Model Checking, the product gives design engineers access to a suite of formal verification and testing tools available for embedded systems design.


Nurenberg, Germany - Embedded Systems Conference - I-Logix Inc. has launched Statemate Magnum Automatic Test Generator (ATG). Together with the recently announced Statemate Magnum Model Checking, the product gives design engineers access to a suite of formal verification and testing tools available for embedded systems design.

Statemate MAGNUM enables design engineers to capture system requirements using UML Use Case Diagrams and then to build scenarios for each Use Case with UML Sequence Diagrams. Once the requirements capture phase is completed, the engineer can build an executable specification model of the entire system. From this model, the ATG technology is used to create a comprehensive set of tests.

These tests can be used to help validate that the specification meets the requirements, that changes to the specification do not break functionality, and that the final system, sub-systems, components and code units meet the requirements as well as the specification. These tests are automatically generated from the specification that has been proven to be correct (the 'golden' model) using the simulation and formal verification products sold by I-Logix.

Statemate Magnum ATG gives designers complete control over configuration management of the generated test cases. The test management facility maintains complete version control and links the tests to the proper version of a specification model.

I-Logix' Statemate Magnum ATG has been developed as part of its strategic technology partnership with Offis Systems and Consulting (OSC) GmbH.

The product's three goals are:

Statemate MAGNUM specification model coverage - Test cases are generated to cover all basic states and transitions of the specification model. These tests are used once the model has been proven to be correct so that, if future changes are made to the model, a complete set of regression tests may be run on it to ensure nothing has been adversely affected.

Drive to state, transition, output - Designers can select a particular basic state, transition, or output that is to be reached by a test case. One test case is generated that ends in an activation of the selected state, in a firing of the selected transition or in a toggling of the selected output, respectively. This capability is used to create tests for specific model conditions. For example, if a designer needs a test to see what happens when a light is turned on, they just tell the test generator to create a sequence that gets you to this condition. The use of this capability further reduces the time it takes both to create and execute tests for the specification and the implementation while being able to focus on particular events of the system.

Scenario-driven test case generation - In addition to the specification model, sequence diagrams can be used to describe sequences of communications of events and data between the system and its environment or between sub-systems and their environments. The goal of the scenario-driven test case generation is to compute a complete run of the design model according to the described scenario in the sequence diagram. Executing these tests on the implementation ensures that, for a given high-level scenario (e.g., a car skidding or an aeroplane landing gear deploying), the implementation both meets the specification and the original requirements.

Control Engineering Daily News Desk
Gary A. Mintchell, senior editor

No comments
The Engineers' Choice Awards highlight some of the best new control, instrumentation and automation products as chosen by...
Each year, a panel of Control Engineering editors and industry expert judges select the System Integrator of the Year Award winners.
Control Engineering Leaders Under 40 identifies and gives recognition to young engineers who...
Learn more about methods used to ensure that the integration between the safety system and the process control...
Adding industrial toughness and reliability to Ethernet eGuide
Technological advances like multiple-in-multiple-out (MIMO) transmitting and receiving
Virtualization advice: 4 ways splitting servers can help manufacturing; Efficient motion controls; Fill the brain drain; Learn from the HART Plant of the Year
Two sides to process safety: Combining human and technical factors in your program; Preparing HMI graphics for migrations; Mechatronics and safety; Engineers' Choice Awards
Detecting security breaches: Forensic invenstigations depend on knowing your networks inside and out; Wireless workers; Opening robotic control; Product exclusive: Robust encoders
The Ask Control Engineering blog covers all aspects of automation, including motors, drives, sensors, motion control, machine control, and embedded systems.
Join this ongoing discussion of machine guarding topics, including solutions assessments, regulatory compliance, gap analysis...
News and comments from Control Engineering process industries editor, Peter Welander.
IMS Research, recently acquired by IHS Inc., is a leading independent supplier of market research and consultancy to the global electronics industry.
This is a blog from the trenches – written by engineers who are implementing and upgrading control systems every day across every industry.
Anthony Baker is a fictitious aggregation of experts from Callisto Integration, providing manufacturing consulting and systems integration.
Integrator Guide

Integrator Guide

Search the online Automation Integrator Guide

Create New Listing

Visit the System Integrators page to view past winners of Control Engineering's System Integrator of the Year Award and learn how to enter the competition. You will also find more information on system integrators and Control System Integrators Association.

Case Study Database

Case Study Database

Get more exposure for your case study by uploading it to the Control Engineering case study database, where end-users can identify relevant solutions and explore what the experts are doing to effectively implement a variety of technology and productivity related projects.

These case studies provide examples of how knowledgeable solution providers have used technology, processes and people to create effective and successful implementations in real-world situations. Case studies can be completed by filling out a simple online form where you can outline the project title, abstract, and full story in 1500 words or less; upload photos, videos and a logo.

Click here to visit the Case Study Database and upload your case study.