testing

Type Members

class ArrayBufferConfigSet[S] extends ConfigSet[S]

An implementation of ConfigSet based around an ArrayBuffer.
class BFSJITLinTester[S] extends GenericSolver[S, Event]

A tester for linearizabilty.
trait CompetitionLog[S1, S2, C] extends AnyRef

A log used by a competition tester.
class CompetitionSolver[E1 <: Event, E2 <: Event] extends AnyRef

Competition parallel competition of two solvers.
class CompetitionTester[S1, S2, E1, E2, C, L <: CompetitionLog[S1, S2, C]] extends AnyRef

A tester for linearizabilty.
abstract class CompetitionThreadLog[S1, S2, C] extends AnyRef

A log to be used by a single thread for a competition tester using an immutable and an undoable datatype.
trait ConfigSet[S] extends Iterable[Configuration[S]]

A trait representing a set of configurations.
class Configuration[S] extends AnyRef

A configuration of the testing automaton in the Linear Tester.
class DFSGraphJITLinTester[S] extends GenericSolver[S, Event]

A tester for linearizabilty.
class DequeueInvokeEvent extends QueueLinNode
class DequeueReturnEvent[A] extends QueueLinNode
class EnqueueInvokeEvent[A] extends QueueLinNode

Invocation events used in the queue linearization algorithm.
class EnqueueReturnEvent extends QueueLinNode

Return events used in the queue linearization algorithm.
class Event extends AnyRef

Events used for logging operation calls and returns.
abstract class GenericLog[S, C] extends AnyRef

A log to be used by several threads.
abstract class GenericSolver[S, E <: Event] extends Solver[E]

An abstract class for generic linearizability algorithms.
abstract class GenericThreadLog[S, C] extends AnyRef

A log to be used by a single thread.
case class InvokeEvent[S, A, B](t: Int, msg: String, op: (S) ⇒ B) extends Event with Product with Serializable

Events used for logging invocations of operations.
class JITLinUndoTester[S <: Undoable] extends GenericSolver[S, Event]

A linearizability tester based on just-in-time linearization, depth-first tree search, and an undoable sequential specification object.
class LLInvokeEvent[S, A, B] extends InvokeEvent[S, A, B] with LLNode

Invocation events used in a linked list.
trait LLNode extends AnyRef

Trait for linked list nodes.
class LLReturnEvent[A] extends ReturnEvent[A] with LLNode

Return events in a linked list.
class LinearizabilityTester[S, C, L <: GenericLog[S, C]] extends AnyRef

A tester for linearizabilty.
class MyBitMapSet extends AnyRef

An implementation of bit maps, with an efficient check for equality.
class QLTHistory[A] extends AnyRef

A history for the QueueLinTester.
abstract class QueueCompetitionLog[A, S, C] extends AnyRef

A log used by several threads for a competition tester combining a queue tester and a generic tester.
class QueueCompetitionTester[A, S, C, L <: QueueCompetitionLog[A, S, C]] extends AnyRef

A tester for linearizabilty.
abstract class QueueCompetitionThreadLog[A, S, C] extends AnyRef

A log to be used by a single thread for a cometition tester combining a queue tester and a generic tester.
class QueueLinNode extends Event

The superclass of all events in the linearization algorithm for queue histories.
class QueueLinSolver[A] extends Solver[QueueLinNode]

A class performing linearizability testing on concurrent queues.
class QueueLinTester[A, C] extends AnyRef

A class performing linearizability testing on concurrent queues.
abstract class QueueLog[A, C] extends AnyRef

A log to be used by several threads with a queue-oriented tester.
class QueueTSLog[A, C] extends QueueLog[A, C]

A log to be used by several threads with a queue-oriented tester, based on timestamping.
class QueueTSThreadLog[A, C] extends QueueThreadLog[A, C]

A log to be used by a single thread with a queue-oriented tester, based on timestamping.
abstract class QueueThreadLog[A, C] extends AnyRef

A log to be used by a single thread with a queue-oriented tester.
case class ReturnEvent[A](t: Int, result: A) extends Event with Product with Serializable

Event of a thread returning from an operation with result result.
class SetConfigSet[S <: AnyRef] extends ConfigSet[S]

An implementation of ConfigSet based around a mutable set.
class SharedCompetitionLog[S1, S2, C] extends CompetitionLog[S1, S2, C]

A shared log used by a competition tester.
class SharedLog[S, C] extends GenericLog[S, C]

A log to be used by several threads, based on a shared array.
class SharedQueueCompetitionLog[A, S, C] extends QueueCompetitionLog[A, S, C]

A log, based on a shared object, used by several threads for a competition tester combining a queue tester and a generic tester.
class SharedQueueLog[A, C] extends QueueLog[A, C]

A log to be used by several threads, with a queue-oriented tester, based on a shared array.
abstract class Solver[E <: Event] extends AnyRef

An abstract class for linearizability algorithms.
class StateWrapper[S] extends AnyRef

A wrapper around a state of type S, but allowing equivalence classes to be easily identified.
class TS[A] extends AnyRef

An object with a timestamp.
class TSCompetitionLog[S1, S2, C] extends CompetitionLog[S1, S2, C]

A timestamp-based log used by a competition tester.
class TSCompetitionThreadLog[S1, S2, C] extends CompetitionThreadLog[S1, S2, C]

A log to be used by a single thread for a competition tester using two generic solvers.
class TSLog[S, C] extends GenericLog[S, C]

A log to be used by several threads, based on timestamping.
class TSQueueCompetitionLog[A, S, C] extends QueueCompetitionLog[A, S, C]

A log, based on a timestamping, used by several threads for a competition tester combining a queue tester and a generic tester.
class TSQueueCompetitionThreadLog[A, S, C] extends QueueCompetitionThreadLog[A, S, C]

A log to be used by a single thread for a competition tester using a queue-oriented solver and a generic solver.
class TSThreadLog[S, C] extends GenericThreadLog[S, C]

A log to be used by a single thread, based on timestamping.
class ThreadStates[S] extends AnyRef

Each object of this class records the states of each thread within a configuration
class UndoConfig[S <: Undoable] extends AnyRef

A configuration, with undoing.
class WGGraph[S] extends GenericSolver[S, Event]

A tester for linearizabilty.
class WGLinearizabilityTester[S <: Undoable] extends GenericSolver[S, Event]

A linearization tester.

Value Members

object CompetitionTester
object GenericLog
object LLNode
object LinearizabilityTester
object MyBitMapSet
object QueueCompetitionTester
object QueueLinTester
object Solver
object TS
object ThreadStates

Types related to thread states.
object UndoConfig

package testing

Type Members

class ArrayBufferConfigSet[S] extends ConfigSet[S]

class BFSJITLinTester[S] extends GenericSolver[S, Event]

trait CompetitionLog[S1, S2, C] extends AnyRef

class CompetitionSolver[E1 <: Event, E2 <: Event] extends AnyRef

class CompetitionTester[S1, S2, E1, E2, C, L <: CompetitionLog[S1, S2, C]] extends AnyRef

abstract class CompetitionThreadLog[S1, S2, C] extends AnyRef

trait ConfigSet[S] extends Iterable[Configuration[S]]

class Configuration[S] extends AnyRef

class DFSGraphJITLinTester[S] extends GenericSolver[S, Event]

class DequeueInvokeEvent extends QueueLinNode

class DequeueReturnEvent[A] extends QueueLinNode

class EnqueueInvokeEvent[A] extends QueueLinNode

class EnqueueReturnEvent extends QueueLinNode

class Event extends AnyRef

abstract class GenericLog[S, C] extends AnyRef

abstract class GenericSolver[S, E <: Event] extends Solver[E]

abstract class GenericThreadLog[S, C] extends AnyRef

case class InvokeEvent[S, A, B](t: Int, msg: String, op: (S) ⇒ B) extends Event with Product with Serializable

class JITLinUndoTester[S <: Undoable] extends GenericSolver[S, Event]

class LLInvokeEvent[S, A, B] extends InvokeEvent[S, A, B] with LLNode

trait LLNode extends AnyRef

class LLReturnEvent[A] extends ReturnEvent[A] with LLNode

class LinearizabilityTester[S, C, L <: GenericLog[S, C]] extends AnyRef

class MyBitMapSet extends AnyRef

class QLTHistory[A] extends AnyRef

abstract class QueueCompetitionLog[A, S, C] extends AnyRef

class QueueCompetitionTester[A, S, C, L <: QueueCompetitionLog[A, S, C]] extends AnyRef

abstract class QueueCompetitionThreadLog[A, S, C] extends AnyRef

class QueueLinNode extends Event

class QueueLinSolver[A] extends Solver[QueueLinNode]

class QueueLinTester[A, C] extends AnyRef

abstract class QueueLog[A, C] extends AnyRef

class QueueTSLog[A, C] extends QueueLog[A, C]

class QueueTSThreadLog[A, C] extends QueueThreadLog[A, C]

abstract class QueueThreadLog[A, C] extends AnyRef

case class ReturnEvent[A](t: Int, result: A) extends Event with Product with Serializable

class SetConfigSet[S <: AnyRef] extends ConfigSet[S]

class SharedCompetitionLog[S1, S2, C] extends CompetitionLog[S1, S2, C]

class SharedLog[S, C] extends GenericLog[S, C]

class SharedQueueCompetitionLog[A, S, C] extends QueueCompetitionLog[A, S, C]

class SharedQueueLog[A, C] extends QueueLog[A, C]

abstract class Solver[E <: Event] extends AnyRef

class StateWrapper[S] extends AnyRef

class TS[A] extends AnyRef

class TSCompetitionLog[S1, S2, C] extends CompetitionLog[S1, S2, C]

class TSCompetitionThreadLog[S1, S2, C] extends CompetitionThreadLog[S1, S2, C]

class TSLog[S, C] extends GenericLog[S, C]

class TSQueueCompetitionLog[A, S, C] extends QueueCompetitionLog[A, S, C]

class TSQueueCompetitionThreadLog[A, S, C] extends QueueCompetitionThreadLog[A, S, C]

class TSThreadLog[S, C] extends GenericThreadLog[S, C]

class ThreadStates[S] extends AnyRef

class UndoConfig[S <: Undoable] extends AnyRef

class WGGraph[S] extends GenericSolver[S, Event]

class WGLinearizabilityTester[S <: Undoable] extends GenericSolver[S, Event]

Value Members

object CompetitionTester

object GenericLog

object LLNode

object LinearizabilityTester

object MyBitMapSet

object QueueCompetitionTester

object QueueLinTester

object Solver

object TS

object ThreadStates

object UndoConfig

Ungrouped