Input partitioning Flashcards
Input Domain
Contains all possible inputs to that program
IDM
Input Domain Model: o 1. Interface-based approach Develops characteristics directly from individual input parameters Simplest application Partially automated o 2. Functionality-based approach Develops characteristics from behavioural view of the program Harder to develop Better or fewer tests
- Candidates for characteristics:
o Preconditions and postconditions
o Relationships among variables
o Relationship with variables with special values (zero, null, blank)
- Identifying values for input domain
o Valid, invalid and special values
- Two types of constraints
o A block from one characteristic cannot be combined with specific block
o A block from one characteristic can ONLY BE combined with a specific block from another characteristics
Each Choice
o One Value from each block for each characteristics must be used in at least one test case
- Pair-Wise
o A value from each block for each characteristics must be combined with a value from every block for each other characteristcs
- TSC
o Terminal Symbol Coverage
o TR contains each terminal symbol
o Bound by the number of terminal symbols
o Equivalent to NC
- PDC
o Production Coverage o TR contains each production o PDC subsumes TSC o Bound by the number of productions o Equivalent to EC
- Input grammar Mutation operators
o Terminal / Nonterminal replacement
o Terminal and Nonterminal Deletion
o Terminal and Nonterminal Duplication
Partitioning Domain must satisfy two properties:
- blocks must be pairwise disjoint (no overlap)
2. together the blocks cover the domain D (complete)
Base choice:
one, and only one, base choice is selected for each characteristic
Multiple base choice:
With multiple-base choice coverage, at least one of the characteristics has more than one base choice
How the base tests are defined in the latter
With multiple base choice coverage the base tests are defined using each choice coverage over the base choices.
Define mutation score
The percent of mutants killed.