Showing papers by "Nicolae Goga published in 2006"

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking

Abstract: Railway control systems are safety-critical, so we have to ensure that they are designed and implemented correctly. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested separately from the hardware. The interlocking is a layer of railway control systems that guarantees safety. It allows to execute commands given by a user only if they are safe; unsafe commands are rejected. Railway interlockings are central to efficient and safe traffic management for railway infrastructure managers and operators. European integration requires new standards for specification and testing interlockings. Here we propose an approach to testing interlockings with TTCN-3 and give an example for its application. The code of interlockings is simulated during test execution. For assessing the quality of the tests, we propose an approach inspired by the Classification Tree Method.

Test Selection and Coverage Based on CTM and Metric Spaces

Abstract: One of the main open issues in testing and in particular in conformance testing is finding a good way of measuring the quality of the testing activity. With other words after performing a given quantity of tests, how much it is covered from the number of potential errors of the implementation under test (IUT). The present paper tries to build up a solution for this necessity. In (L. Feijs et al., 2002, N. Goga et al., 2004) we proposed a general framework for defining a coverage measure based on a distance measure between different behaviors of a system under test. In the current paper we apply this general theory to another domain, namely to CTM (classification tree method) that is usually used for the selection of the data for testing. As a case study we apply this technology for testing a software tool used for computer music generation