Mannequin-based testing is a software program testing method that’s primarily based on fashions of the system underneath check and its setting to outline, manually or robotically, the check instances.
The fashions explicitly characterize the meant conduct of a system and its setting. Using express fashions is aimed to keep away from the issues brought on by a conventional means of defining assessments instances that tends to be unstructured, missing express motivations, not reproducible, not documented, and largely influenced by the extent of expertise of software program testers.
Mannequin-based testing instruments permit defining the mannequin of the system and supply an automated technology of the check instances derived from this mannequin. This text lists the principle open supply model-based testing instruments obtainable and just lately maintained as we speak. Use our contact type to make us conscious of some open supply check automation instruments for model-based testing that we must always add to this checklist.
Fastbot
Fastbot is an open supply model-based testing instrument for modeling GUI transitions to find app stability issues in Android and iOS purposes. The mannequin is construct through graph transition with the consideration of excessive reward selection choice. Fastbot combines machine studying and reinforcement studying methods to help discovery in a extra clever means. Fastbot is suitable with a number of Android OS techniques, together with unique Android, Android 5-12 and a variation of modified Android-based system by home producers. Inherited from unique Monkey, Fastbot permits for quick motion insertion as excessive as 12 actions per second. Professional system is supplied with the power to customise deeply primarily based on wants from completely different enterprise traces.
Web sites: https://github.com/bytedance/Fastbot_Android, https://github.com/bytedance/Fastbot_iOS
GraphWalker
GraphWalker is an open supply Mannequin-Based mostly testing instrument. It reads fashions within the form of directed graphs, and generates [test] paths from these graphs. GraphWalker presents an editor referred to as the Studio wherein fashions may be created and edited. However Studio can do extra than simply modifying. Within the instrument, the fashions may be verified by operating check path generations, so the person can confirm the correctness of the fashions.
Web site: https://github.com/GraphWalker/graphwalker-project, http://graphwalker.org/
Modelator
Modelator is an open supply instrument that facilitates technology and execution of assessments. Moreover different options, Modelator supplies:
* straightforward number of a mannequin checker to execute (Apalache or TLC)
* automated enumeration of assessments in TLA+ information
* technology of a number of check executions from the identical check assertion
* interfaces for execution of generated assessments in goal languages (at the moment Rust and Go
Web sites: https://github.com/informalsystems/modelator, https://mbt.casual.techniques/
OSMO MBT Device
OSMO MBT is an open supply instrument for producing and executing check instances. Check fashions are expressed as Java packages, which the check generator executes primarily based on annotations outlined within the mannequin. The check generator may be configured with completely different algorithms to generate assessments in numerous methods. The primary level with this method is a scientific method to undergo the specification and outline it extra formally within the type of a check mannequin from which the instrument can then be used to robotically generate assessments. OSMO MBT supplies an automatic technology of huge variety of assessments for degree of protection not practical for handbook check creation. The set of protection components supported:
Web site: https://github.com/mukatee/osmo
SICOPE Mannequin
SICOPE Mannequin is an open supply model-based testing instrument that makes use of a single coloration Petrinet mannequin. SICOPE Mannequin was designed from the bottom as much as be simply used to mannequin and check your web site. No code is required. SICOPE Mannequin helps you to give attention to modeling your net software and managing bugs, and we’ll do the chores. Go forward and create some fashions and duties.
Web sites: https://github.com/sicope-model/sicope-model, https://sicope-model.github.io/
TorXakis
TorXakis is an open supply model-based testing instrument. The TorXakis modelling language is highly effective sufficient to seize the conduct of high-tech embedded techniques, together with communication, synchronization, sequence, parallelism, non-determinism, decisions, states, and constraints. Based mostly on the mannequin, TorXakis robotically generates and executes check instances. consequently, every time the system adjustments, testers solely want to change the mannequin to have the ability to check the modified system.
Web sites: https://github.com/TorXakis/TorXakis, https://torxakis.org/
Tcases
Tcases is a instrument for designing assessments. It doesn’t matter what sort of system you’re testing — UI, command line, REST-ful API, or backend. Nor does it matter what degree of the system you’re testing — unit, subsystem, or full system. You should utilize Tcases to design your assessments in any of those conditions. With Tcases, you outline the enter house to your system-under-test and the extent of protection that you really want. Then Tcases generates a minimal set of check instances that meets your necessities. Tcases is primarily a instrument for black-box check design. For such assessments, the idea of “protection” is completely different from structural testing standards corresponding to line protection, department protection, and many others. As an alternative, Tcases is guided by protection of the enter house of your system. Tcases provides you a option to outline the enter house to your system in a type that’s concise however complete. Then Tcases lets you management the variety of check instances in your pattern subset by specifying the extent of protection you need. You can begin with a primary degree of protection, and Tcases will generate a small set of check instances that touches each vital factor of the enter house. Then you may enhance your assessments by selectively including protection in particular high-risk areas. For instance, you may specify pairwise protection or higher-order combos of chosen enter variables.
Web site: https://github.com/Cornutum/tcases
Extra sources on Mannequin-Based mostly Testing
Mannequin-based testing on Wikipedia
A Taxonomy Of Mannequin-Based mostly Testing (PDF)
Mannequin-based Testing: Stateful and Mannequin-based Properties with Examples in Java
Mannequin Based mostly Testing – An Introduction to Mannequin-Based mostly Testing and Spec Explorer
Mannequin-based testing (MBT)
Mannequin-Based mostly Testing Provides Worth
