Generating Test Cases for XMLbased Web Component Interactions Using Mutation Analysis

1
Generating Test Cases for XML-based Web Component
Interactions Using Mutation Analysis

• Ten-Yo Lin
• 2008/08/28

2
Outline

• Introduction
• Interaction Specification Model
• Interaction Mutation Analysis
• Mutation Operator
• Test Process
• Case Study
• Conclusion

3
Reference

• Generating Test Cases for XML-based Web Component
  Interactions Using Mutation AnalysisSuet Chun
  Lee, Jeff Offutt. The Twelfth IEEE International
  Symposium on Software Reliability Engineering
  (ISSRE 01), pages 200209, Hong Kong, PRC,
  November 2001.
• Integrity Constraints for XML

4
Introduction

• Web SW built with heterogeneous software
  components. They interact by passing message
  using XML.

5
Introduction -DTD

• In this paper, a test case is an XML file,
  created from DTD to evaluate the component
  interaction.
• Author extend their (Fan and Simeon) DTD
  structure and constraints to created ISM.

6
ISM definitions

• 1. DTD structure denoted by
• S (E, P, R), where
• E a finite set of element type.
• P a function from element type to element
  definition. Ex P(SIGNON REQUEST) (USER ID,
  PASSWORD)
• R a partial function from element name to
  attribute type.

7
ISM definitions (cont.)

• This paper introduce two new conatraints
• memberOf
• lenOf
• 2. memberOf constraints of LM
• tX? tY, where
• t, t ? E
• elem is a function maps vertices of data tree to
  labels and children
• X, Y a sequence of elements in elem(t)
• tX? tY, is ?x? ext(t) ?y ? ext(t)
  .xXyY
• ps. ext(t) is a set of nodes labeled t in the
  tree

8
ISM definitions (cont.)

• 3. lenOf constraints of LM
• lenOf(tX)K, where
• X is a sequence of elements in elem(t)
• K is an integer constant
• t? E
• ext(t) is a set of nodes labeled t in the tree
• For all x?ext(t), xXK

9
memberOf constraint

• t USER_ID ( parent node SIGNON_REQUEST)
• t USER_ID ( parent node AUTHORIZED_USER)
• elem(t) Jenny
• elem(t) Jeff
• X (Jenny)
• Y (Jeff)
• ext(t) USER_ID
• ext(t) USER_ID
• x USER_ID
• y USER_ID
• xX Jenny
• yY Jeff
• xX is not equal to yY, so the memberOf
  constraint is not satisfied

10
lenOf constraint

• t PASSWORD
• X (jen)
• ext(t) PASSWORD
• x PASSWORD
• xX jen
• xX 3
• If K 8, then xX is not equal to K, so the
  lenOf constraint is not satisfied.

11
ISM definitions (cont.)

• 4. The Interaction Specification Model (ISM) is
  define as
• ISM (S, M, S), where
• S is a DTD structure
• M is a pair of message, M(request, response)
• S is a set of basic XML constraints language LM

12
Interaction Mutation Analysis

• Interaction mutation differs from interface
  mutation, because author use well-defined
  semantic model (ISM).

13
Interaction Mutation Operator

• For IM analysis, author generate a set of mutant
  XML message by applying IMO.
• memberOf ? NOTmemberOf
• lenOf ? NOTlenOf

14
Interaction Mutation Analysis

• T is a set of test cases represented as XML
  message generated externally.

15
Interaction Mutation Test Process
16
Example Authentication
17
Example Authentication (cont.)
18
Example Authentication (cont.)

• S of ISM defines memberOf and lenOf constraints
  that are applicable to example.
• Mutation operator NOTmemberOf
• NOTmemberOf (S) SIGNON_REQUEST (USER_ID,
  PASSWORD) ? AUTHORIZED_USER (USER_ID, PASSWORD)
• Mutation operator NOTlenOf
• NOTmemberOf (S) PASSWORDString Value S?3

19
Test Case
20
Test Case (cont.)
21
Conclusion

• Author introduces a ISM for specifying web
  component interactions.
• Using ISM and IMO present the interaction
  mutation process to verify the correctness of web
  component interactions.

22

• Last weeK
• went to ???? exhibition
• Paper
• Generating Test Cases for XML-based Web Component
  Interactions Using Mutation Analysis
• Integrity Constraints for XML
• Next week
• to solve some SPMT problem
• Read at least one paper