TestingTech: TTModeler

TTmodeler integrates the model-based system and test design and creates a direct, automated connection to the powerful test development and execution environment TTworkbench.

Buy Cheap Software Microsoft Office 2000 Premium Edition Microsoft Office 2003 Professional Edition

The UML Testing Profile (UTP) defines additional model elements for UML, which allow to define specifications of test objectives, test procedures and test valuations for systems and system components. UTP is a vital component for the alignment of system and test development methods. It contributes to the concept of model-centric systems design: System models and test models can be developed and aligned in all system development phases.

Product Link: http://www.testingtech.com/products/ttplugins_modeler.php

SQS TestWORKFLOW

SQS TestWORKFLOW is a tool designed to support the entire software validation process, assisting the user in automated testing and the management of requirements, tests and documentation.

This tool integrates requirements definition and management, the organisation of the testing process, the automated execution of test programmes, the analysis of results, and the generation of multiple reports.

Traceability is provided throughout the process, on account of the recorded relationships between test cases, requirements and executions.

SQS TestWORKFLOW's intuitive interface enables every kind of user to understand the process and become familiar with the tool without being an IT specialist, while the systematic methodology which the tool implements accomplishes a good structured test process.

MessageMagic is a TTCN-3 test development and execution platform by Elvior. MessageMagic is a black-box test tool for testing software or hardware components in a wide range of industry sectors. Embedded and distributed applications can be tested with MessageMagic as the testing is based on TTCN-3.

MessageMagic is available from: http://messagemagic.elvior.ee.

MOTES - Elvior Test Generator generates TTCN-3 test cases from system under test state model. MOTES generates tests from deterministic extended finite state machines. State models of system under test are exported from Poseidon UML CASE tool in XMI. State model structural coverage criteria (visited states, transitions) can be used to define test objectives. Test interfaces and ports as well as test data instances are defined in TTCN-3. Generated TTCN-3 test cases can be executed by any TTCN-3 test executive.

Motes web site http://motes.elvior.ee.

NModel

NModel is an open-source model-based analysis and testing framework for model programs written in C#. It is explained and used in the book Model-based Software Testing and Analysis with C#.

The specification models are written as model programs. A model program acts as an executable specification for another program or system, called the implementation. Usually the model program is much smaller and simpler than the implementation. The model program can be analyzed to check for design errors in the implementation, can generate test cases for the implementation, and can serve as the oracle that provides the correct results when testing the implementation. The implementation does not have to be written in C# and does not have to use .NET. Also, .NET is not restricted to Microsoft platform, as the testing tools also work on other platforms, such as GNU/Linux and Solaris which support Mono.

The Department of Computer Science of the Tallinn University of Technology is involved in several case studies where NModel is applied and has also contributed code to the NModel project.

NModel web site http://www.codeplex.com/NModel.

Conformiq Qtronic

Conformiq Qtronic is an Eclipse® based tool to automate the design of functional tests for software and systems, a traditionally manual and time-consuming task. Conformiq Qtronic generates software tests from high-level system models without user intervention, complete with browsable test plan documentation, traceability matrices for requirements and state transitions, message sequence charts and executable test scripts in industry standard formats like Python, TCL and TTCN-3. The models describe the products or systems being tested and can be created in a fraction of the time needed to construct the corresponding test cases by hand. Conformiq Qtronic users can also define their own output formats, making seamless application on existing proprietary test execution and management platforms easy.

Conformiq Qtronic web site http://www.conformiq.com/qtronic.php.