Model-based test case generation using the example of an RBC function

摘要

While the execution of the functional tests for components or entire systems is nowadays mostly automated, the test design is usually performed manually by the tester. Despite some support from test management tools, this is a time-consuming and error-prone task, especially if changes need to be made to the test suite. The automatic generation of test cases from system models can help to improve the situation. This article presents one such approach. It specifically reports on the application of this approach to a selected function of a radio block centre (RBC), as well as the experiences gained.