This is an industrial experience report on a large semi-automated migration of legacy test code in C and C++. The particular was enabled by automating most the maintenance steps. Without automation this large-scale would not have been conducted, due to risks involved manual (risk introducing errors, risk unexpected rework, loss productivity). We describe evaluate method we used real-world case....

Most test-selection algorithms currently in use with probabilistic networks select variables myopically, that is, variables are selected sequentially, on a one-by-one basis, based upon expected information gain. While myopic test selection is not realistic for many medical applications, non-myopic test selection, in which information gain would be computed for all combinations of variables, wou...

In this paper we will describe our work on automatic generation of tests for Systems Under Test (SUT) described in the CO-OPN specification language that has been developed in our laboratory. CO-OPN (Concurrent Object Oriented Petri Nets) is a formalism for describing concurrent software systems that possesses most of the characteristics we can find in mainstream semi-formal modeling languages....

In this work, we describe our method for designing test cases based on high level functional specifications – business process models. Category Partition Method (CPM) is used to automatically create test frames based on possible paths, which are determined by business rules. The test frames can then be used in the process of test case design, together with filtering and prioritization also give...

â Novel method creates cases independent of the knowledge acquisition process â Such a creative approach is not doomed to reimplement incorrect knowledge possibly contained in the knowledge base, but may detect it â The morphing method is not performed as a single run but is an iterative process in order to achieve a sufficient test case coverage â Evaluation with medical consultation system: s...

This article describes an industrial application of the Genevieve test generation methodology. The Genevieve approach [1] uses formal techniques to generate test suites for specific design behaviour. The example, which is a part of the ST100 DSP, was chosen in order to highlight real life problems such as big data structures, complex control logic, and complex environments where it is difficult...