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 concolic 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.
A Database has a "current test suite" set/queried by its testSuite method. Inserting new objects will insert them into the current test suite, and queries will return objects that belong to the current test suite.
Definition at line 552 of file BinaryConcolic.h.
#include <BinaryConcolic.h>
Public Types | |
| typedef Sawyer::SharedPointer< TestSuite > | Ptr |
| Reference counting pointer to TestSuite. More... | |
Public Member Functions | |
| std::string | printableName (const DatabasePtr &db=DatabasePtr()) |
| Returns printable name of test suite for diagnostic output. More... | |
| 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... | |
| SharedObject & | operator= (const SharedObject &) |
| Assignment. More... | |
| Public Member Functions inherited from Sawyer::SharedFromThis< TestSuite > | |
| SharedPointer< TestSuite > | sharedFromThis () |
Create a shared pointer from this. More... | |
| SharedPointer< const TestSuite > | sharedFromThis () const |
Create a shared pointer from this. 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 555 of file BinaryConcolic.h.
Member Function Documentation
|
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.
| std::string Rose::BinaryAnalysis::Concolic::TestSuite::printableName | ( | const DatabasePtr & | db = DatabasePtr() | ) |
Returns printable name of test suite for diagnostic output.
Returns a string suitable for printing to a terminal, containing the words "test suite", the database ID if appropriate, and the test suite name using C-style double-quoted string literal syntax if not empty. The database ID is shown if a non-null database is specified and this test suite exists in that database.
The documentation for this class was generated from the following file:
