A Specification-Based Approach to Testing Polymorphic Attributes

Abstract

Abstract. The object-oriented features, such as aggregation, inheritance and polymorphism, facilitate software reuse and improve software quality. But those features also cause new problems that traditional testing techniques cannot resolve effectively. Existing researches on objectoriented software testing are mainly based on some graph representations and seldom consider the combinational effect of aggregation, inheritance and polymorphism. For some model-based specifications that do not include graph representations, it is difficult to use the graph based testing techniques to derive test cases. This paper provides an approach to deriving test cases for testing the combinational effect of aggregation, inheritance and polymorphism from a model-based class specification. This approach contains two techniques at intra-class and inter-class testing levels and is mechanized using the algorithms presented in this paper. Finally, through the experimental analysis, we present the effectiveness and applicability of our testing approach.

Software paradigms, assessment types and non-functional requirements in model-based integration testing

“…Summing up we can say that [2,3,8,11,33,35,36,50,56,62,68,77,78,88,93,95,97] use coverage criteria for the appropriate domain, [38,39,43] use metrics, [34,53] do monitoring of the testing progress, [57,63,74,81] combine different models or other data like usage profiles for doing the assessment of the test process, and [24,73] provide useful information, i.e. suggestions for the best integration order strategy for the tester.…”