Technical papers

Based Testing, the Underlying Engine of Future Internet Testing - November 2011

The Future Internet will be a complex interconnection of services, applications, content and media, on which our society will become increasingly dependent. Time to market is crucial in Internet applications and hence release cycles grow ever shorter. This, coupled with the highly dynamic nature of the Future Internet will place new demands on software testing. Search–Based Testing is ideally placed to address these emerging challenges. Its techniques are highly flexible and robust to only partially observable systems. This paper presents an overview of Search–Based Testing and discusses some of the open challenges remaining to make search–based techniques applicable to the Future Internet. ...
Technical Paper (pdf) 


Integration of Functional Safety in the Development Process - October 2011

The new safety standard, ISO 26262, forces automotive electronic system manufacturers to align all their development processes with safety considerations. To date, safety activities are often still undertaken quite independently from the developers’ “normal” work, however, with the consequence of safety requirements entering the development process at an advanced state causing costly additional development work. A new methodology from Berner & Mattner now enables to integrate conventional systems development closely with safety activities with the help of tools, so incorporating safety into the system design right from the beginning.
Published in ATZelektronik, Issue No.: 2011-05
Technical paper (pdf)


High-quality interface specifications with SysML modelling - March 2011

Railway network operators are increasingly facing the challenge of integrating subsystems supplied by multiple manufacturers. Currently, many interfaces lack detailed specifications that manufacturers could use for guidance. As a result, entire systems are normally ordered from a single supplier. ...
Published in Signal + Draht, Special Reproduction 2011-03
Technical paper


Test management for powertrains in commercial vehicles with TESTUS - January 2011

Many ECUs, many functions, many variants, many test cases, manual test execution in test vehicles and automated test stands – these are only some of the requirements a test management system has to meet in the automotive sector. Together with the powertrain part of the commercial vehicles sector of Daimler, Berner & Mattner Systemtechnik GmbH has developed a tool suite to support the test process in an optimal and complemented way. ...
Published in ATZelektronik, Issue No.: 2011-01
799 KB pdf


Automated Test Case Generation Using Classification Trees - December 2010

Software testing is unfortunately one of the activities in which too few resources are invested. Considering a common industry-driven software development, there is often not enough time for testing, since the software under test may not be finished in time and the release date cannot be delayed. Ideally project teams should readjust the planning for their software projects to allow more time to be spent on testing; however, the product launch would be delayed too. ...


SysML models as a basis for automated document generation - November 2010

In the development of non-software systems, paper documents play a very important role. Even though model based processes are finding their way into the most diverse industries, and are showing the way to harness the complexity inherent to today’s products, traditional documents are still required by many stakeholders. Thus, although document-centric development processes are being complemented and augmented by model-based systems engineering (MBSE) approaches, documents still are an important building block that MBSE needs to address. ... 195 KB pdf


A cross-platform test system for evolutionary black-box testing of embedded systems -
May 2010

When developing an electonic control unit (ECU) in a domain like the automotive industry, tests are performed on several test platforms, such as model-in-the-loop, software-in-the-loop and hardware-in-the-loop in order to find faults in early development stages. ... 1,5 MB pdf


Evolutionary testing of software with function-assigned flags - October 2009

Evolutionary structural testing, an approach to automatically generate relevant unit test data, encounters difficulties when the software being tested contains boolean variables. This issue, known as the flag problem, has been studied by many researchers. However, previous work does not address the issue of function-assigned flags which constitutes a special type of flag problem that often occurs in the context of object-orientation. ...


Compare Notes: Berner & Mattner's PowerDiff Systems provides EADS Defence & Security with an automated change management program for Statemate models - September 2009

The Eurofighter from EADS Division Defence & Security (DS) is one of the most effective tactical aircraft in the world. From its conception plan drawn from pilot surveys in the 1970s, its rapid technological progress has posed constant challenges regarding requirements and specifications for the development teams using complex embedded systems. ... 299 KB pdf


Evolutionary Functional Testing of Continuous Control Systems - September 2009

Evolutionary functional testing is an approach to automatically generating test cases that violate a certain functional system requirement. This paper proposes an approach suitable for efficiently testing complex continuous control systems using an evolutionary testing framework that has been optimized for deployment in the industrial domain. ... 314 KB pdf, with image 539 KB


Automated test data generation for aspect-oriented programs - March 2009

Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no work on searchbased optimization for test data generation, an approach that has been shown to be successful in other programming paradigms. In this paper, we introduce a search-based optimization approach to automated test data generation for structural coverage of AOP systems. ...


Lifecycle management for more efficient ECU software development - March 2009

Still today there is a hard break between development and testing processes of ECU software. Lifecycle Management (LCM) can make a contribution to close this process gap for a more efficient development. Berner & Mattner features an approach which includes all processes from the specification of an ECU function to its test at the test bench. In doing so, the company deals with projects that already exist in part at German premium OEMs and suppliers. Production vehicles launched in 2009 profit from the LCM methods for the first time. ... 190 KB


Using communication coverage criteria and partial model generation to assist software integration testing - April 2008

This paper considers the problem of integration testing the components of a timed distributed software system. We assume that communication between the components is specified using timed interface automata and use computational tree logic (CTL) to define communication-based coverage criteria that refer to send- and receive-statements and communication paths. ...


Using Hardware-in-the-Loop Technology for Testing Telematics Components - April 2008

Telematics systems are considered state of the art in vehicle development today and are no longer limited to premium models. Latest-generation telematics systems are characterized by compact design and integrate many of the functions listed above in a single control unit, the head unit (HU). This article describes how Daimler AG expanded the HiL simulator used in the comfort and drivetrain department to include telematics. ... 312 KB


Evaluating evolutionary testability for structure-oriented testing with software measurements - March 2008

Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with the definition of appropriate, error-sensitive test data. Evolutionary testing is a promising approach for automating structure-oriented test case design completely. In many experiments, high coverage degrees were reached using evolutionary testing. However, evolutionary testing is not equally well applicable to different test objects. For example, evolutionary testing of a test object with complex predicates might fail. In order to assess the difficulty of a test object for evolutionary testing, software measures can be used. ...


Improving Evolutionary Testing in the Presence of Function-Assigned Flags - December 2007

Evolutionary structural testing, an approach to automatically generating relevant unit test cases, encounters difficulties when the tested software contains boolean variables. This issue, known as the flag problem, has been studied by many researchers. However, previous work does not address the issue of function-assigned flags which constitutes a special type of the flag problem that often occurs in the context of object-orientation. This paper elaborates on a new approach to the flag problem that can also handle function-assigned flags while being applicable to the conventional flag problem, as well. ... 509 KB


Scalable Test System modularHiL - November 2006

Berner & Mattner presents modularHiL – a powerful test system with decentralized system architecture for the early stage of ECU development. Because of the modular design it is very flexible and can be used for components as well as for the complete system. ... 1,1 MB

 
Berner & Mattner