Confirmed users
699
edits
IPDL: Difference between revisions
no edit summary
m (typo fix) |
No edit summary |
||
| Line 11: | Line 11: | ||
# <font color="gray">Static analysis of code implementing IPDL interfaces</font> | # <font color="gray">Static analysis of code implementing IPDL interfaces</font> | ||
# <font color="gray">Model checking of inter-protocol interactions</font> | # <font color="gray">Model checking of inter-protocol interactions</font> | ||
== Other projects == | |||
* [[IPDL/Unit test generation]]: use IPDL specifications to generate unit tests that "extensively" explore the protocol-level interaction of two (or more) actors. The unit tests are intended to check the C++ implementation(s) of the actor interfaces. | |||
== Reference == | == Reference == | ||