1. Requirements

2. Defects

3. Object States

4. State characterization

5. Coverage

6. Example
     State Definition    State transition spanning tree  

7. See also

8. References

Object state testing is a formal white-box software test design method testing object state behavior. State testing is complementary to local error detection of functional and structural testing. Interaction of class member functions are tested through object state transitions..^[1] An object behavior is state based arranged due to method invocation sequence, which behavior is established due to parameter values and state, providing successor and return value. The ranges of values of a subset of member data of the object defines a state of an object. State transitions are deterministic finite due to the conditional execution of member functions. Object state tests can be determined from the source code (white-box) or from the specifications (black-box).

Requirements

1. Initial state
2. Parameter arguments
3. Expected return value
4. Expected object successor state

Defects

To ensure robustness, all void and valid method sequence invocation combinations need to be tested using state test cases^[2]. Testing the object state brings out below defects.

1. Missing state transition
2. Void transitions
3. Wrong return value
4. Void successor state

Object States

The behavior of a class object is definable characterized on inhabited data member values. The run time execution path is determined due to evaluating member and parameter values in decisions (condition), effecting the class object behavior. Object states are segmented in independent domain member data interval combinations leading towards different execution paths.

State characterization

1. Examine all path conditions of member functions for conditional literals
2. For each conditional literal found, form domain intervals such that the conditional literal is evaluated to either True or False for all values in the interval.

Coverage

The amount of states and paths are circumscribing test state coverage. Due to possible infinite cyclic path sequences the path length needs limitation. The amount of methods is a minimum criterion of path length for permutations of method sequences . Instead of limiting method permutation sequences an acyclic spanning tree is addressing systematically path length including negative and positive path combinations through a state space.

Example

A soda machine requires two 50c coins for a soda. It provides five methods and three class member variables. The variable tmp holds temporary coins till a customer withdraws a soda^[3]

1. !/anaconda/bin/python

class SodaMachine:

    total = 0    tmp = 0    withDraw = False

    def __init__(self):        self.reset()

    def add50c(self):        self.tmp = self.tmp + 1        if self.tmp > 1:            self.withDraw = True

    def return50cs(self):        self.tmp = 0

    def canWithDraw(self):        return self.withDraw

    def draw(self):        if self.withDraw:            self.total = self.total + self.tmp            self.tmp = 0            self.withDraw = False

    def reset(self):        self.total = 0        self.tmp = 0        self.withDraw = False

    if __name__ == '__main__':        sodaM = SodaMachine()        sodaM.add50c()        sodaM.add50c()        sodaM.draw()

State Definition

The class contains the conditions:

1. add50c(): if self.tmp > 1
2. draw(): if self.withDraw

The two conditions are segmenting the class member variable values into four states :

Member Interval
State	tmp	withDraw	validity
		False	✓
		True	✓
		True	✗
		False	✗

State transition spanning tree

See also

• Multiple condition coverage
• Control flow graph
• Decision to decision path
• Elementary comparison testing

References

• South Boulevard - Park Row Historic District
• South Boulevard station (CTA)
• South Boulevard station (CTA Purple Line)
• South Boulevard – Park Row Historic District
• Southbound (2015 film)
• Southbound (2016 film)
• Southbound (Carrie Underwood song)
• Southbound Fearing
• Southbound (film)
• Southbound Piano
• South Bowood
• South Braintree Square
• South Branch Black River
• South Branch Bowman Creek
• South Branch Eighteen Mile Creek
• South Branch Grass River
• South Branch Kedgwick River
• South Branch Little Salmon River
• South Branch, Minnesota
• South Branch Moose River
• South Branch (New York)
• South Branch Roaring Run
• South Branch Tunkhannock Creek
• South Branch West Canada Creek
• South Brazil