See: Description
Class | Description |
---|---|
TestBase |
Provide some useful functions as basis for tests.
|
TestCompiler |
Perform a series of tests on the code to check if there is any problem.
|
TryApgan |
This class tests the APGAN algorithm.
|
TryApplicationXML |
Test to see if XML parser can correctly build an application graph
|
TryBellmanFord |
This class tests the Bellman Ford Algorithm to find
the shortest or longest path.
|
TryExpression |
Tests the
Expression class with multiple test cases. |
TryFraction |
Tests the
Fraction class using small example. |
TryGenerateSdfXml |
Validate the generated XML file from a graph.
|
TryGraphClone |
Validate the cloning of graph object and insertion of new actor in the graph.
|
TryLiveness |
Demonstrates the checking of liveness property of
the SPDF graph.
|
TryParsePlatformXML |
Test the parsing of the hardware platform XML.
|
TryPrintGraph |
Validate the Dot File generation from Graph
|
TrySafety |
Test verification of safety property of an SPDF graph.
|
TrySolutions |
Test the balance equation solver using a cyclic graph
two sets of rates: consistent and inconsistent.
|
TrySpdf |
Purpose: Demonstrate the basic API and PEDF extension.
|
TryThroughput |
Test to verify throughput calculation of an example graph.
|
TryTransformSDFToHSDF |
Test conversion of SDF graph to HSDF graph with simple tests.
|
TestCompiler
class which calls
the top-level procedure for each of these tests.