ROSE  0.9.10.91
Public Types | Static Public Member Functions | List of all members
Rose::BinaryAnalysis::Concolic::TestSuite Class Reference

Description

Test suite.

A {test suite} is a coherent collection of test cases. The test suite usuall starts with a single "seed" test case and contains additional test cases generated by the symbolic executor. All test cases within a test suite use the same concrete executor and measure the same user-defined execution properties. For example, the database might contain one test suite based on "/bin/grep" and another test suite running "/bin/cat". Or it might have two test suites both running "/bin/grep" but one always using "--extended-regexp" and the other always using "--basic-regexp". Or it might have two test suites both running "/bin/cat" but one measures exit status and the other measures code coverage.

Definition at line 346 of file BinaryConcolic.h.

#include <BinaryConcolic.h>

Inheritance diagram for Rose::BinaryAnalysis::Concolic::TestSuite:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::Concolic::TestSuite:
Collaboration graph
[legend]

Public Types

typedef Sawyer::SharedPointer< TestSuitePtr
 Reference counting pointer to TestSuite. More...
 

Public Member Functions

std::string name () const
 Property: Name. More...
 
void name (const std::string &)
 Property: Name. More...
 
- Public Member Functions inherited from Sawyer::SharedObject
 SharedObject ()
 Default constructor. More...
 
 SharedObject (const SharedObject &)
 Copy constructor. More...
 
virtual ~SharedObject ()
 Virtual destructor. More...
 
SharedObjectoperator= (const SharedObject &)
 Assignment. More...
 

Static Public Member Functions

static Ptr instance (const std::string &name="")
 Allocating constructor. More...
 

Member Typedef Documentation

Reference counting pointer to TestSuite.

Definition at line 349 of file BinaryConcolic.h.

Member Function Documentation

static Ptr Rose::BinaryAnalysis::Concolic::TestSuite::instance ( const std::string &  name = "")
static

Allocating constructor.

std::string Rose::BinaryAnalysis::Concolic::TestSuite::name ( ) const

Property: Name.

Within a database, a test suite must have a unique non-empty name. However this is not a requirement when the test suite exists only in memory. The constraints are enforced when the test suite is added to the database.

Thread safety: This method is thread safe.

void Rose::BinaryAnalysis::Concolic::TestSuite::name ( const std::string &  )

Property: Name.

Within a database, a test suite must have a unique non-empty name. However this is not a requirement when the test suite exists only in memory. The constraints are enforced when the test suite is added to the database.

Thread safety: This method is thread safe.


The documentation for this class was generated from the following file: