Statemate MAGNUM Automatic Test Generator. (Tools).I-Logix Inc., provider of enterprise solutions for embedded applications development, has launched the Statemate MAGNUM Automatic Test Generator (ATG ATG antithymocyte globulin. lymphocyte immune globulin (antithymocyte globulin equine, ATG, ATG equine, LIG) Atgam Pharmacologic class: Immunoglobulin Therapeutic class: Immunosuppressant ). Together with the recently announced Statemate MAGNUM Model Checking functionality, it is intended to give design engineers access to a suite of formal verification
In the context of hardware and software systems, formal verification and testing tools for embedded systems Embedded systems Computer systems that cannot be programmed by the user because they are preprogrammed for a specific task and are buried within the equipment they serve. design. It enables design engineers to capture system requirements To be used efficiently, all computer software needs certain hardware components or other software resources to be present on a computer system. These pre-requisites are known as (computer) system requirements and are often used as a guideline as opposed to an absolute rule. using UML (Unified Modeling Language) An object-oriented analysis and design language from the Object Management Group (OMG). Many design methodologies for describing object-oriented systems were developed in the late 1980s. 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 can be used to both validate that the specification meets the requirements, and changes to the specification do not break functionality. Also that the final system, sub-systems, components and code units meet the requirements as well as the specification. www.ilogix.com |
|
||||||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion