<p> Object-oriented programs have many unique features that are not present in conventional programs, such as Inheritance, Polymorphism, Dynamic binding and Encapsulation, etc. Hence, testing object-oriented programs using only traditional techniques is unlikely to find the faults associated with these features. A study shows that approximately 40% of software errors can be traced to component interaction problems discovered during integration. Integration testing is an important part of the testing process. However, few integration testing techniques have been systematically studied or defined.</p> <p> The goal of this research is to develop an approach for automatic test case execution at the integration level. The approach is based on the concept of Coordination Contract, which was developed by J. Fiadeiro and L. Andrade. A coordination contract is a connection between a group of objects. Through contracts, rules and constraints are superposed on the behavior of the participants without interfering with their implementation. Due to the contract's character, integration test case execution and test result evaluation are suitably implemented by contracts. A tool has been developed to automatically generate the relevant contracts to implement integration test cases generated by some mechanism for test case generation.</p> <p> In recent years, more and more software developers use the Unified Modeling Language (UML) and corresponding visual modeling tools to design and develop their application software. So we are using UML sequence diagrams and class diagrams as integration testing specifications. Actually, there are few practical tools to generate test cases from UML, and even fewer tools to execute test cases. Therefore, the result of this research will play an important role in testing object-oriented programs at the integration level. Our accomplishment makes some progress in the integration testing for object-oriented programs.</p> / Thesis / Master of Science (MSc)

Visual modeling concept of integrated constructs (essence) of mathematical objects in teacher training of humanistic area is presented as technology of education in problem solving. The main goal of innovative approach is student’s activity in mathematics on generating of concrete essence manifestations on concepts, methods, theorems, algorithms, procedures and so on. Such student’s activity should be: · Success in an area of actual interests and person’s experience and reached by perception; · Have high level of variability in visual modeling; · Success in domain of reflection process stimulation. Similar creative behavior of persons is typical for actors, dancing, and figure skating and so on. Now we show that such technology will be fruitful for teacher training in mathematics for humanistic specialties.

Visual modeling concept of integrated constructs (essence) of mathematical objects in teacher training of humanistic area is presented as technology of education in problem solving. The main goal of innovative approach is student’s activity in mathematics on generating of concrete essence manifestations on concepts, methods, theorems, algorithms, procedures and so on. Such student’s activity should be: · Success in an area of actual interests and person’s experience and reached by perception; · Have high level of variability in visual modeling; · Success in domain of reflection process stimulation. Similar creative behavior of persons is typical for actors, dancing, and figure skating and so on. Now we show that such technology will be fruitful for teacher training in mathematics for humanistic specialties.