Branch coverage is an important criteria used during the structural testing of programs. In this paper, we present a new program execution based approach to generate input data that exercises a selected branch in a program. The test data generation is initiated with an arbitrarily chosen input from the input domain of the program. A new input is derived from the initial input in an attempt to f...

{ Mutation testing is a technique for unit testing software that, although powerful, is computa-tionally expensive. Recent engineering advances have given us techniques and algorithms for signiicantly reducing the cost of mutation testing. These techniques include a new algorithmic execution technique called schema-based mutation, an approximation technique called weak mutation, a reduction tec...

Predicate constraint solving technique is an important method of automatic test data generation. By analyzing the properties and disadvantages of predicate constraint solving technique, three theorems are proposed and proved. Based on them, a new approach on automatic test data generation is presented. The linear predicate on a given path is used directly to construct the linear constraint syst...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x CHAPTER

Automatic test data generation leads to identify input values on which a selected point in a procedure is ex ecuted This paper introduces a new method for this problem based on constraint solving techniques First we statically transform a procedure into a constraint system by using well known Static Single Assignment form and control dependencies Second we solve this system to check whether at ...

Modern product lines typically generate large and complex software products. There is an associated cost increase from the need to test such products, especially for a safety-critical embedded system. We propose a method by which characteristics of the product line can be used as a way of reducing the test data search space and providing effective test data for relevant testing problems. We ill...

Testing is the most important analytic quality assurance measure for software. The systematic design of test cases is crucial for test quality. Structureoriented test methods, which define test cases on the basis of the internal program structures, are widely used. Evolutionary testing is a promising approach for the automation of structural test case design which searches test data that fulfil...

The work presented in this paper is devoted to establish the theoretical model for the evaluation of the behavior of redefined methods in a subclass with the behavior of the original methods in the super-class using the inheritance mechanism. We analyze firstly, how a redefined method can use the specification of its corresponding method in the super-class. Secondly, we present the relationship...

Testing exception scenarios is a challenging task in the context of test data generation based on symbolic execution. In such a context, test data is generated based on constraints explicitly declared in the code. However, constraints required to activate specific exceptions may not be directly declared in the code. In such a case, implicit constraints have to be inferred from exception handlin...