Creates an AltWalker models file template.
Creates a dependency template. Dependency field is optional, it can be used to set dependencies and use them with dependency_edge_coverage.
Creates an edge template. An edge is an action that takes the system under tests form one state (vertex) to another.
Creates an example model with three vertices.
Creates a generator template. A generator is an algorithm that decides how to traverse a model. Different generators will generate different test sequences, and they will navigate in different ways.
Creates a guard template. Guard field is optional, it can be used to set a guard on this edge.
Creates a model template.
Creates a properties template. Properties field is optional, it can be used to store pairs of key/data.
Creates a requirements template. Requirements field is optional, it can be used to set tags on vertices and use them with requirement_coverage.
Creates a sharedState template. SharedState field is optional, it can be used to link to vertices from different models. Any vertices with the same value for sharedState are linked.
Creates a vertex template. A vertex is a state of the system under tests. In the test code this is the place where the actual test (asserts) takes place.
Creates a weight template. Weight field is optional, it can be used to set weights and use them with weighted_random.
For help with modeling you can read our guide here.
Join our Gitter chat room here to chat with us or with other members of the community.