ALL4TEC is a French-based company specialized in Process improvement, Safety engineering, System engineering and Testing of complex embedded systems.

The company was set up in 1998 with the overall objective to help clients increase their competitiveness on their markets by improving Productivity, Quality, Reliability and Safety.

A truly innovative company with extensive expertise and know-how, ALL4TEC provides value-added services to help clients bring their projects to a successful conclusion. With a team of 45 employees, ALL4TEC has become over the years a trusted business partner and has earned affirmatives by a large number of major companies in France and Germany. Among them are Renault, PSA Peugeot Citroen, Audi, Johnson Controls, Magneti Marelli, Valeo, Schneider Electric, EDF, Alstom Transport, Ansaldo, Thales, Safran, Banque de France, BNP etc.

MaTeLo (Markov Test Logic)

MaTeLo is a high-end test-case designer for functional black box testing developed by ALL4TEC. The solution implements, in a user-friendly environment, the Model-Based Testing approach by offering the following main functionalities:

• Usage Model Designer
• Test-case Generator
• Test Campaign Analysis

The mains benefits of the solution are:

• Enhanced test design efficiency
• Advanced test coverage
• Measured and fully automated process
• Effective collaborative work
• Traceability of all items in the whole cycle
• Proficient maintenance by regeneration

The test model is a dynamic representation of possible test scenarios for the system. Based on requirements, the modelling process ensures a total traceability between requirements and all test artefacts.

Test designers can drive an effective strategy by using various algorithms and models parameters (as profiles) to get the expected test cases for each product life cycle.

MaTeLo is natively compatible with commonly used tools such as IBM Doors© for requirements management and National Instruments TestStand© or MicroNova EXAM for the test automation.

As an enhanced solution, MaTeLo implements a measured process helping managers to efficiently drive their projects. For every test campaign, MaTeLo provides reports containing the current test coverage and trust indictors about the SUT (system under test) quality.

Actually, MaTeLo manages successfully test projects in the Automotive, Railway, Energy and IT industries by providing professional and valuable features for those markets.

• An editor to formalize the test target into usage models
• A support of requirements to associate with the model
• A test-case generator based on usage models
• Various test strategies depending on the product life cycle
• A possibility to define stopping criteria for the quality assurance
• The generation of reports with measurement of the SUT coverage
• The possibility to validate the SUT reliability and to calculate the MTTF (Mean Time To Failure)