Expleo products
THE RIGHT TOOLS FOR …
… the development and test of software and systems. As engineering partner for various industrial sectors, finance, banking, and IT, our tools & products are used by leading companies worldwide. Our quality solutions range from specification and development of software and electronic systems to systematic & model-based test design, test automation and virtual validation.
TESTONA
Test design with the classification tree method

TESTONA is THE tool for systematic test design in the black-box-tests. All standard specification-based test methods are supported and represented in classification trees, e.g. equivalence class test, boundary value test, partition test, combinatorial test, classification tree method and statistical test. With TESTONA, complete and comprehensible test specifications can be generated easily, quickly and without redundancy. Various metrics and evaluations enable the user to assess the test scope and to detect missing or redundant tests.
TESTONA supports all test phases and is independent of industry or domain. Customers from different sectors, e.g. automotive, aviation, finance, telecommunications, and IT rely on this methodology. International test standards such as the ISTQB Certified Tester and ISO 29119, as well as leading test trainers recommend the test methods available in TESTONA.
- Express
- Node-Locked License: €2,090
- Floating License: N/A
- Support & Maintenance: €440/year
- Professional
- Node-Locked License: €3,190
- Floating License: €4,290
- Support & Maintenance: €880/year
- Enterprise
- Node-Locked License: N/A
- Floating License: Price on request
- Support & Maintenance: available only with the S&M package
- Add-Ons
- AUTOSAR Import, MATLAB Import, HP ALM Advanced, IBM Rational DOORS Advanced
- License (Node-Locked or Floating): €880 per add-on
- Support & Maintenance: €220/year per add-on
- Light
- Node-Locked License: free of charge
- Floating License: N/A
- Support & Maintenance: N/A
Highlights
- Clear, understandable and complete test specification
- Measurable assessment of the test coverage
- Support for all major specification-based test methods, e.g. according to ISO 29119, ISO 26262
- Tool coupling for requirements tracing
- Cost reduction through automated test generation and redundancy-free testing
- Universally applicable – independent of industry, domain or test phase
- Easy tool coupling and open interfaces
- Easy to learn
Systematic Test Generation
TESTONA automatically generates test cases according to several test methods with the desired test intensity, e.g. minimal coverage, pairwise. The activation of freely definable rules ensures that only test cases conforming to specifications are generated; negative tests are generated by deactivation.
Test Oracle
TESTONA supports the use of different test oracles (non-automated, implicit, derived, specified) to determine the expected test results.
Test Evaluation
TESTONA allows a template-based export of executable test scripts to target formats such as Shell, XML, Text, JUnit, SQL and avoids thereby the manual test implementation.
Requirements Tracing
TESTONA allows the linking of requirements with classification tree elements, test cases and test results. Changes in the specification are automatically recognized – affected elements and test cases are highlighted and collected in a checklist. In addition, a graphical visualisation of the requirements coverage facilitates the verification.
Tool Chains
Numerous import and export interfaces allow the use with AUTOSAR, MATLAB Simulink, IBM Rational DOORS, HP ALM, Atlassian Jira, Trello, Redmine, and others.
Systematic test case determination with classification trees
In the early 1990s Daimler’s R&D department developed the Classification Tree Method (CTM) for systematic test case development. The new millenium brought about an enhancement of this method. For a while now Expleo has been pushing the methodical and technical advancement.
The basic idea of the classification tree method is to separate the input data characteristics of the system under test into different classes that directly reflect the relevant test scenarios (classifications). Test cases are defined by combining classes of the different classifications. The main source of information is the specification of the system under test or a functional understanding of the system should no specification exist.
The method divides test case design into two significant phases:
The identification of relevant factors involves the determination and structuring of the relevant test scenarios and their interrelations to other parts of the system under test.
The test specifications combine the relevant factors needed in order to achieve the desired test coverage.

The classification tree editor TESTONA is a powerful tool for applying the Classification Tree Method, developed by Expleo. This context-sensitive graphical editor guiding the user through the process of classification tree generation and test case specification. By applying combination rules (e. g. minimal coverage, pair and complete combinatorics) the tester can define both test coverage and prioritization. Based on these combination rules the test cases are then being generated automatically.
Besides the well-engineered method and the large number of users, other prominent features of TESTONA are the good usability, the wide range of applications and the open interfaces of the tool.
- support_testona@expleogroup.com
- Customer Login: Here ➔
TESTONA LIGHT
Download Testona light free of charge
The following terms apply to all files associated with TESTONA Light unless explicitly disclaimed in individual files. These terms do not apply to additionally distributed libraries. For copying and distribution conditions of these libraries, please refer to the enclosed license documents.
We hereby grant permission to use, but not to edit or decompile, this software and its documentation. You may make one or more copies of TESTONA Light for security reasons but it is not allowed to copy and redistribute TESTONA Light to other users.
Under no circumstances shall the authors or distributors be liable to any party for any direct, indirect, special, incidental or consequential damage resulting from the use of this software, its documentation or any derivates thereof, even if the authors have been advised of the possibility of such damage.
POWERDIFF
Diff-tool for IBM@ Rational@ Statemate@ models

! DISCONTINUED SOFTWARE POWERDIFF
PowerDiff is THE graphical comparison tool for IBM Rational Statemate. PowerDiff can be used to track the consistency as well as the traceability of changes over the entire life cycle of the models. Logical analysis of the IBM@ Rational@ Statemate@ models allows PowerDiff to detect new, deleted or changed elements. This is essential for effective change management that optimally supports the IBM@ Rational@ Statemate@ user in the development of complex systems.
The user can interactively explore model changes and generate, at the press of a button, clearly structured change reports that also present complex changes in several models in a comprehensible manner. All model components are graphically represented, exactly representing the familiar appearance of IBM@ Rational@ Statemate@. A detailed structural view of the models provides fast access to the individual model components. The linking of reports in PDF format deserves particular emphasis. The user requires only one click to jump from a model component that is marked as changed to an accurate description of the change.
PowerDiff has also been optimised to generate reports on complex models with several thousand pages within a short time. The possibility of fully automated generation of change reports allows almost seamless integration of PowerDiff into the review and release process of complex projects.
- Comparison of IBM@ Rational@ Statemate@ models
- Flexible selection of the comparison criteria desired (e.g. short / long description, attributes)
- Simple compilation of IBM@ Rational@ Statemate@ model hierarchies with multiple import, export and editing functionalities
- Creation of change reports in PDF format
- No IBM@ Rational@ Statemate@ installation required
- Faster analysis of model changes
- Optimisation of configuration management
- Automated generation of change reports
- Increase of the transparency of changes
- Gap-free documentation of changes
- Validation of changes
Technical Support : support_powerdiff@expleogroup.com
License & Support Conditions : Download PDF ➔
POWERDIFFMERGE
Comparison & combination of IBM@ Rational@ Statemate@ models

! DISCONTINUED SOFTWARE POWERDIFF
PowerDiffMerge is a unique graphic tool for the comparison and combination of different versions of IBM@ PowerDiffMerge Rational@ Statemate@ models. Logical analysis of the IBM@ Rational@ Statemate@ models is used to detect new, deleted and changed objects, which are shown in representations of the model diagrams.
The user can easily combine these changes, either partially or as a whole, into a single result model and is informed about potential conflicts. A large part of this process can automatically be performed by PowerDiffMerge and only requires semantic acceptance by the user. This simplifies the very work-intensive and fault-prone manual combination of models, which otherwise has to be performed by using a text editor and without support for the IBM@ Rational@ Statemate@ Syntax. PowerDiffMerge further offers the option of compiling a protocol of the combining steps already performed or to validate the combined diagrams at any time.
All these characteristics make PowerDiffMerge an excellent tool for saving time and costs, in particular in complex and extensive projects with a large number of IBM@ Rational@ Statemate@ models.
- Visual comparison and combination of two or several IBM@ Rational@ Statemate@ models
- Automated combination of models
- Two types of combinations, including Delta-Merge
- Repeat / reverse function
- Storage and resumption of processing steps
- Filter functions
- Protocol generator for tracking changes
- Logical comparison and combination of IBM@ Rational@ Statemate@ diagrams
- Visualisation of differences in IBM@ Rational@ Statemate@ models
- Faster analysis and model differences
- Support in conflict resolution during combination
- Automated combination for most of the simple cases
Technical Support : support_powerdiff@expleogroup.com
Support per phone (09:00 – 17:00 MEZ): +49 89 608090-333
Offer and order contact : internal-sales-de@expleogroup.com
License & Support Conditions : Download PDF ➔



