Results 31 to 40 of about 5,521,647 (293)
Model-Based Testing of Obligations [PDF]
2014 14th International Conference on Quality Software, 2014 Obligations are mandatory actions that users must perform, addressing access control requirements. To ensure that such obligations are implemented correctly, an automated and systematic testing approach is often recommended. One such approach is Model-Based Testing (MBT) that allows defining cost-effective testing strategies to support rigorous testing
Iram Rubab +3 more
openaire +2 more sources
Taking HIV testing to families: designing a family-based intervention to facilitate HIV testing, disclosure and intergenerational communication [PDF]
, 2016 Introduction: Facility-based HIV testing does not capture many adults and children who are at risk of HIV in South Africa. This underscores the need to provide targeted, age-appropriate HIV testing for children, adolescents and adults who are not ...
Bland, Ruth +6 more
core +1 more source
The Role of Model-Based Testing [PDF]
, 2008 This position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a program verifier.
openaire +3 more sources
Model-based testing areas, tools and challenges: A tertiary study
CLEI Electronic Journal, 2019 Context: Model-based testing is one of the most studied approaches by secondary studies in the area of software testing. Aggregating knowledge from secondary studies on model- based testing can be useful for both academia and industry.
Leonardo Villalobos-Arias +3 more
doaj +1 more source
Abstractions for Model-Based Testing
Electronic Notes in Theoretical Computer Science, 2005 The idea of model-based testing is to compare the I/O behavior of an explicit behavior model with that of a system under test. This requires the model to be valid. If the model is a simplification of the SUT, then it is easier to check the model and use it for subsequent test case generation than to directly check the SUT.
Prenninger, Wolfgang +1 more
openaire +3 more sources
Automatic Test Data Generation Using the Activity Diagram and Search-Based Technique
Applied Sciences, 2020 In software testing, generating test data is quite expensive and time-consuming. The manual generation of an appropriately large set of test data to satisfy a specified coverage criterion carries a high cost and requires significant human effort ...
Aman Jaffari, Cheol-Jung Yoo, Jihyun Lee
doaj +1 more source
Model-based Testing of the Java Network API [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Testing networked systems is challenging. The client or server side cannot be tested by itself. We present a solution using tool "Modbat" that generates test cases for Java's network library java.nio, where we test both blocking and non-blocking network ...
Cyrille Artho, Guillaume Rousset
doaj +1 more source
Nondestructive testing of metallic cables based on a homogenized model and global measurements [PDF]
, 2010 We propose a simple, quick, and cost-effective method for nondestructive eddy-current testing of metallic cables. Inclusions in the cross section of the cable are detected on the basis of certain global data: hysteresis loop measurements for different ...
Melicher, Valdemar, Sergeant, Peter
core +4 more sources
Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization
Applied Sciences, 2019 Fault localization techniques reduce the effort required when debugging software, as revealed by previous test cases. However, many test cases are required to reduce the number of candidate fault locations.
Yoo-Min Choi, Dong-Jin Lim
doaj +1 more source
Model-based Testing: Next Generation Functional Software Testing [PDF]
, 2010 The idea of model-based testing is to use an explicit abstract model of a SUT and its environment to automatically derive tests for the SUT: the behavior of the model of the SUT is interpreted as the intended behavior of the SUT.
Legeard, Bruno
core +1 more source