|Stable release||5.1 / September 2013|
|Operating system||Cross-platform, Windows|
|Website||TPT product page|
TPT (time partition testing) is a systematic test methodology for the automated software test and verification of embedded control systems or dataflow programs. TPT is specialized on testing and validation of embedded systems whose inputs and outputs can be represented as signals and is a dedicated method for testing continuous behavior of systems. Most control systems belong to this system class. The outstanding characteristic of control systems is the fact that they interact closely interlinked with a real world environment. Controllers need to observe their environment and react correspondingly to its behaviour. The system works in an interactional cycle with its environment and is subject to temporal constraints. Testing these systems is to stimulate and to check the timing behavior. Traditional functional testing methods use scripts – TPT uses model-based testing.
TPT combines a systematic and graphic modelling technique for test cases with a fully automated test execution in different environments and automatic test evaluation. TPT covers the following four test activities:
- test case modeling
- test execution in different environments (automated)
- test result analysis (test assessment (automated))
- test documentation (automated)
- test management
- 1 Graphic test cases
- 2 Test execution
- 3 Programmed test assessment
- 4 Test documentation
- 5 Test management
- 6 Requirements tracing
- 7 Application
- 8 References
- 9 External links
Graphic test cases
In TPT tests are modelled graphically with the aid of special state machines and time partitioning. All test cases for one system under test can be modeled using one hybrid automaton. Tests often consist of a sequence of logical phases. The states of the finite-state machine represent the logical passes of a test which are similar for all tests. Trigger conditions model the transitions between the test phases. Each state and transition of the automaton may have different variants. The combination of the variants model the individual test cases.
Natural language texts become part of the graphics, supporting the simple and demonstrative readability even for non-programmers. Substantial techniques such as parallel and hierarchical branching state machines, conditional branching, reactivity, signal description, measured signals as well as lists of simple test steps allow an intuitive and graphic modelling even of complex test cases.
Test´s complexity is hidden behind graphics. The lowest level signal description consists of either test step lists or so called direct definitions.
Modelling simple sequences: Test Step List
The Test Step List is a modelling technique that implies a number of predefined test steps or actions executed sequentially, thus ordered chronologically. This technique applies to tests cases which can be normally described in a sequence of steps, for example, the simulation of an emergency brake maneuver:
Start engine -> Accelerate until 50 km/h -> Emergency brake with steering wheel to the left -> Stop the car -> Engine off
A number of sequences are available, like setting a signal (Channel Set), ramp signal (Ramp Channel), set parameters (Set Parameters), compare (Compare), wait (Wait) and other conditional values, such as: if, else, if else value, etc. The test sequences can also be combined with other modeling methods.
Direct signal definition: Direct Definition
In addition to the Step Test List, the direct definition of signals is possible (thus this method is called Direct Definition). Every testlet that is specified using the “direct definition” method, consists of an ordered list of equations or a signal definition: one for every stimulation or local channel. Signals are defined as functions of time, past history and other signals. Importing signals or using a provided manual signal editor or a function wizard help in the process. Besides, the definition of formulas in a "C-Similar" notation makes the definition of signals an easier task.
Systematic test cases
TPT was developed specifically for testing of continuous and reactive behaviour of embedded systems. TPT can be seen as the extension of the Classification Tree Method in terms of timing behavior. Because of its systematic approach in test case generation, TPT even keeps track of very complex systems whose thorough testing requires a large amount of test cases thus making it possible to find failures in the system under test with an ideal amount of test cases.
The underlying idea of TPT’s systematic is the separation of similarities and differences among the test cases: most test cases are very similar in their structural process and can “only” be differentiated in a few, but crucial details. TPT makes use of this fact by jointly modelling and using joint structures. On the one hand, redundancies are thus avoided. On the other hand, it is made very clear what the test cases actually differ in – i.e. which specific aspect they respectively test. The comparability of test cases and thus the overview is improved in this approach and the attention of the tester is focused on the essential – the differentiating features of the test cases.
The hierarchical structure of the test cases makes it possible to break complex test problems down into sub-problems thus also improving the clarity and – as a result – the quality of the test.
These modelling techniques support the tester in finding the actually relevant cases, avoiding redundancies and keeping track of even large numbers of test cases.
With TPT, each test case can specifically react to the system’s behaviour during the testing process in real time – for instance in order to react on the system exactly when a certain system-state occurs or a sensor signal exceeds a certain threshold. If, for example, a sensor failure for an engine controller is to be simulated when the engine idling speed is exceeded, it has to be possible to react to the event “engine idling speed exceeded” in the description of the test case.
TPT test cases are made independent of its execution. The test cases can be executed in almost any environment due to the so called virtual machine (VM) concept also in real time environments. Examples are MATLAB/Simulink, TargetLink, ASCET, C-code, CAN, LIN, AUTOSAR, SystemDesk, DaVinci CT, LABCAR, INCA, Software-in-the-Loop (SiL) and HiL. Thus TPT is an integrated tool to be used in all testing phases of the development like unit testing, integration testing, system testing and regression testing.
TPT virtual machine
The modeled test cases in TPT are compiled and during test execution interpreted by the so called virtual machine (VM). The VM is the same for all platforms and all tests. Only a platform adapter realizes the signal mapping for the individual application. The TPT-VM is implemented in ANSI C and requires a memory of just a few kilobytes and can completely do without a dynamic memory allocation, allowing it to be applied in minimalist and environments with few resources too. There are also APIs for C and .NET.
TPT's Virtual Machine is able to process tests in real time with defined response behaviour. The response times of TPT test cases are normally given within micro seconds – depending on the complexity and test hardware.
Programmed test assessment
The expected system behaviour for individual test cases should also be automatically tested in order to assure efficient test processes. TPT offers the possibility to compute the properties for the expected behaviour online (during test execution) and offline (after test execution). While online evaluation uses the same modelling techniques as test modelling, offline evaluation offers decidedly more far-reaching possibilities for more complex evaluations, including operations such as comparisons with external reference data, limit-value monitoring, signal filters, analyses of state sequences and time conditions.
The offline evaluation is, technically speaking, based on the Python script language, which has been extended by specific syntactic language elements and a specialized evaluation library in order to give optimal support to the test evaluation. The use of a script language ensures a high degree of flexibility in the test evaluation: access to reference data, communication with other tools and development of one’s own domain-specific libraries for test evaluation is supported. Besides of the script based test result evaluation user interfaces provide simple access to the test assessments and help non-programmers to avoid scripting.
TPT test documentation according to IEEE 829 presents the result of the test evaluation to the tester in a HTML, report, in which not only the pure information “success”, “failed” or “unknown” can be depicted as the test result for each test case, but also details such as characteristic parameters or signals that have been observed in the test execution or computed in the test evaluation. Since the test assessment returns proper information about the timing and the checked behavior this information can be made available in the report. The content of the test documentation as well as the structure of the document can be freely configured with the help of a template.
TPT supports test management of TPT test projects with the following activities:
- Test case development in a test project
- Test planning through test set configuration and test execution configuration
- Automatic test execution and evaluation (assessment) in a Test campaign
- Test reporting (detailed for an individual test run)
- Test summary reporting over different release cycles and
- Traceability of requirements, tests, test runs, test results
Industry norms such as IEC 61508, DO-178B, EN 50128 and ISO 26262 require traceability of requirements and tests. TPT offers an interface to requirements tools like Telelogic DOORS in order to support these activities.
TPT is a model-based testing tool and is applied mainly in the automotive controller development and has originally been developed within Daimler AG for their own development. The first release of the test tool has been used in 2000. Daimler coordinated the development of the testing tool for years. Since 2007 PikeTec continues the development of the tool. TPT is used by many different other car manufacturers like BMW, Volkswagen, Audi, Porsche and General Motors as well as suppliers like Robert Bosch GmbH, Continental and Hella.
- "Justyna Zander-Nowicka, Abel Marrero Pérez, Ina Schieferdecker, Zhen Ru Dai: Test Design Patterns for Embedded Systems, In: 10th International Conference on Quality Engineering in Software Technology, CONQUEST 2007, Potsdam, Germany, September 2007" (PDF). Retrieved 2013-08-08.
- Karl J. Åström and Richard M. Murray (2008). Feedback Systems: An Introduction for Scientists and Engineers.. Princeton University Press. ISBN 0-691-13576-2.
- "Schieferdecker, Bringmann, Grossmann: Continuous TTCN-3: Testing of Embedded Control Systems, In: Proceedings of 28th International Conference on Software Engineering, Shanghai, China, 2006" (PDF). Retrieved 2013-08-08.
- "Bringmann, Krämer: Systematic testing of the continuous behavior of automotive systems In: International Conference on Software Engineering: Proceedings of the 2006 international workshop on Software, Shanghai, China, 2006" (PDF). Retrieved 2013-08-08.
- "Lehmann, TPT – Dissertation, 2003" (PDF). Retrieved 2013-08-08.
- "Lehmann: Time Partition Testing: A Method for Testing Dynamical Functional Behavior IN: Proceedings of Test2000, Lindon, Great Britain, 2000". Evotest.iti.upv.es. Retrieved 2013-08-08.
- "Grossmann, Müller: A Formal Behavioral Semantics for TestML; In:Proc. of ISOLA 06, Paphos, Cyprus, November 2006" (PDF). Immos-project.de.
- Bringmann, E.; Krämer, A. (2008). "Model-Based Testing of Automotive Systems". 2008 International Conference on Software Testing, Verification, and Validation. International Conference on Software Testing, Verification, and Validation (ICST). pp. 485–493. doi:10.1109/ICST.2008.45. ISBN 978-0-7695-3127-4.
- "Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler In: Informatik - Forschung und Entwicklung Volume 20, Numbers 1-2 (2005), 3-10; Springer Berlin / Heidelberg". Springerlink.com. 2001-07-09. Retrieved 2013-08-08.