Sentence examples for model-based testing from inspiring English sources
noun
An application of model-based design for designing and optionally also executing artifacts to perform software testing.
On the verification side, a two-phase approach based on model-based testing and abstract interpretation has been followed to enforce functional correctness and runtime error freedom.
This happens because the modeling and model-validation stages of model-based testing raise questions about the requirements and can expose faults well before any tests are executed.
Unlike current model-based testing methods, which are generally based on requirements or design models, the proposed model is derived from the original user's needs in text through domain-specific ontology, and then used to generate validation tests systematically.
On one side, we count on deterministic approaches, among which we cite: data flow analysis [12], symbolic execution [13], dynamic partitioning [14], control flow graphs [15], textual differences in the code [16], model-based testing [17], and TC selection based on a similarity functions [11].
Porantim is based on a body of knowledge describing model-based testing approaches and their characterization attributes (identified by secondary and primary experimental studies), and a process to guide by adequacy and impact criteria regarding the use of this sort of software technology that can be used by software engineers to select model-based testing approaches for software projects.
In this paper, based on our earlier work, we introduce test model architecture for model-based testing through a GUI.
It is for these very reasons that I based my formal probabilistic, model-based tests of UCA on protein sequence data.
Subsequently, the requirement-based logical tests are re ned to executable model-based test scenarios.
We also present our work using machine learning to augment automatic model-based test case generation for graphical user interfaces (GUIs).
During an internship at Neopost Inc., of 14 weeks, we developed the server component of a software bus, called the XBus, using formal methods during the design, validation and testing phase: we modeled our design of the XBus in the process algebra mCRL2, validated the design using the mCRL2-simulator, and fully automatically tested our implementation with the model-based test tool JTorX.
By considering the use of models in the regression testing context, Korel et al. (2007 2008 200505) present two model-based test prioritization methods: selective test prioritization and model dependence-based test prioritization.
