Presentation:

Issues in Testing Object Oriented Systemsby

James Gawn

Behrooz Nobakhtbnobakht@liacs.nl

LIACS

IntroductionMotivationTesting Types

Overview on Object-Oriented Paradigm

Issues on TestingTesting Levels in OO SystemsTesting Concerns in OO Systems

9/17/2009LIACS 2

Testing AchievementsGuaranteeIdentification

9/17/2009 LIACS 3

Functional TestingBlack-box TestingInputs vs. Outputs

Structural TestingWhite-box TestingLevel of Code Coverage

Which one?

9/17/2009LIACS 4

Data AbstractionEncapsulationInheritancePolymorphism

9/17/2009LIACS 5

9/17/2009 LIACS 6

InterfaceImplementation

9/17/2009 LIACS 7

Composite InheritanceMultiple Inheritance

9/17/2009 LIACS 8

Static BindingDynamic Binding

9/17/2009 LIACS 9

Complete an incomplete behaviorSpecialize previous (upper) behavior

9/17/2009 LIACS 10

Method TestingClass TestingIntegration TestingSystem Testing

9/17/2009LIACS 11

Method Functional SpecificationMethods' DependencyStubs

9/17/2009LIACS 12

Object Instantiation TestingMethods as a wholeIntra-class Testing: Method InteractionOther classesStubs

9/17/2009LIACS 13

Class Communication Concerns: FaultsInter-class Testing: Class InteractionStrategies:

Big BangBottom UpTop Down

9/17/2009LIACS 14

Program as a wholeSpecifications of the programFunctional Testing Criteria

9/17/2009LIACS 15

Access Control ChallengesRisks in Changing Object States

9/17/2009LIACS 16

Actual Features in Class HierarchyTesting Hierarchy: Re-testability, Re-usability, Testing Axioms: Anti-extensionality, Anti-decomposition, Anti-compositionClass Flattening

9/17/2009LIACS 17

Shape

Circle Rectangle

Square

Triangle

Safety Testing Goals:Complete Branch CoverageDynamically-Bound MethodsExternal Polymorphic Objects

9/17/2009LIACS 18

Automation: Test Case Extraction, Test Case Generation, Test Suite Framework, Test OraclesAlgorithms: Method Call Sequence Generation: Evolutionary AlgorithmsMethodology-oriented Testing

9/17/2009LIACS 19

9/17/2009 LIACS 20

Issues in Testing Object Orientated Systems, Gawn, James, 2007Automatic testing of object-oriented software, Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa (Ling) LiuSoftware Testing Research: Achievements, Achievements, Dreams, Antonia BertolinoTIOBE Index:http://www.tiobe.com/index.php/content/paperinfo/tpci/index.html

9/17/2009LIACS 21