forked from couchbase/kv_engine
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
7 changed files
with
588 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,117 @@ | ||
#!/usr/bin/env python | ||
|
||
import itertools | ||
|
||
class Condition(object): | ||
"""Something asserted to be true during the test. | ||
A given condition may be used as a precondition or a | ||
postcondition.""" | ||
|
||
def __call__(self, k, state): | ||
"""Called with a key and a state. True if the condition is met.""" | ||
return True | ||
|
||
class Effect(object): | ||
"""The affect an action will perform.""" | ||
|
||
def __call__(self, k, state): | ||
"""Called with a key and a state. | ||
The effect modifies the state as appropriate.""" | ||
|
||
class Action(object): | ||
"""Actions are the operations that will be permuted into test cases. | ||
Each action has a collection of preconditions and postconditions | ||
that will be evaluated for checking input and output state for the | ||
action. | ||
Action.preconditions is the collection of conditions that must all | ||
be true upon input to the action. If any condition is not true, | ||
the effect is not executed and the action state is considered | ||
"errored." | ||
Action.effect is the callable that is expected to alter the state | ||
to satisfy the postconditions of the action. | ||
Action.postconditions is the collection of conditions that must | ||
all be true after the effect of the action completes. | ||
""" | ||
|
||
preconditions = [] | ||
effect = None | ||
postconditions = [] | ||
enabled = True | ||
|
||
@property | ||
def name(self): | ||
"""The name of this action (default derived from class name)""" | ||
n = self.__class__.__name__ | ||
return n[0].lower() + n[1:] | ||
|
||
class Driver(object): | ||
"""The driver "performs" the test.""" | ||
|
||
def newState(self): | ||
"""Initialize and return the state for a test.""" | ||
return {} | ||
|
||
def preSuite(self, seq): | ||
"""Invoked with the sequence of tests before any are run.""" | ||
|
||
def startSequence(self, seq): | ||
"""Invoked with the sequence of actions in a single test | ||
before it is performed.""" | ||
|
||
def startAction(self, action): | ||
"""Invoked when before starting an action.""" | ||
|
||
def endAction(self, action, state, errored): | ||
"""Invoked after the action is performed.""" | ||
|
||
def endSequence(self, seq, state): | ||
"""Invoked at the end of a sequence of tests.""" | ||
|
||
def postSuite(self, seq): | ||
"""Invoked with the sequence of tests after all of them are run.""" | ||
|
||
def runTest(actions, driver, duplicates=3, length=4): | ||
"""Run a test with the given collection of actions and driver. | ||
The optional argument `duplicates' specifies how many times a | ||
given action may be duplicated in a sequence. | ||
The optional argument `length` specifies how long each test | ||
sequence is. | ||
""" | ||
|
||
instances = itertools.chain(*itertools.repeat([a() for a in actions], | ||
duplicates)) | ||
tests = set(itertools.permutations(instances, length)) | ||
driver.preSuite(tests) | ||
for seq in sorted(tests): | ||
state = driver.newState() | ||
driver.startSequence(seq) | ||
for a in seq: | ||
driver.startAction(a) | ||
haserror = not all(p(state) for p in a.preconditions) | ||
if not haserror: | ||
try: | ||
a.effect(state) | ||
haserror = not all(p(state) for p in a.postconditions) | ||
except: | ||
haserror = True | ||
driver.endAction(a, state, haserror) | ||
driver.endSequence(seq, state) | ||
driver.postSuite(tests) | ||
|
||
def findActions(classes): | ||
"""Helper function to extract action subclasses from a collection | ||
of classes.""" | ||
|
||
actions = [] | ||
for __t in (t for t in classes if isinstance(type, type(t))): | ||
if Action in __t.__mro__ and __t != Action and __t.enabled: | ||
actions.append(__t) | ||
return actions |
Oops, something went wrong.