Results 41 to 50 of about 5,519,312 (291)
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
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
Comparison Test Based on Program Model and Design Document
IEEE Access, 2021 In software testing, one of the most important issues is to validate the consistency of program and design. Usually, this kind of design information is expressed by software related documents, such as software requirements, software design, etc ...
Shan-Ling Li +2 more
doaj +1 more source
Model-Based Testing of Probabilistic Systems [PDF]
Formal Aspects of Computing, 2016 AbstractThis work presents an executable model-based testing framework for probabilistic systems with non-determinism. We provide algorithms to automatically generate, execute and evaluate test cases from a probabilistic requirements specification. The framework connects input/output conformance-theory with hypothesis testing: our algorithms handle ...
Marcus Gerhold, Mariëlle Stoelinga
openaire +5 more sources
Efficient model-based bioequivalence testing [PDF]
Biostatistics, 2020 SummaryThe classical approach to analyze pharmacokinetic (PK) data in bioequivalence studies aiming to compare two different formulations is to perform noncompartmental analysis (NCA) followed by two one-sided tests (TOST). In this regard, the PK parameters area under the curve (AUC) and $C_{\max}$ are obtained for both treatment groups and their ...
Möllenhoff, Kathrin +10 more
openaire +4 more sources
IEEE Access, 2019 Since the emergence of web 2.0, the architecture of web applications has been transformed significantly and its complexity has grown enormously.
Nazish Yousaf +4 more
doaj +1 more source
Search-based reduction model for unit testing
Revista Facultad de Ingeniería Universidad de Antioquia, 2022 Software tests are fundamental in the reliability and quality of systems, contributing to their positioning in the market. Generating test data is a critical task, as exhaustive testing is costly in time and effort. An adequate design of the test cases,
Perla Beatriz Fernández-Oliva +3 more
doaj +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
AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing
IEEE Access, 2019 In the past few years, mobile devices have been increasingly replacing traditional computers, as their capabilities, such as CPU computation, memory, RAM size, and many more, are being enhanced almost to the level of conventional computers.
Ibrahim-Anka Salihu +4 more
doaj +1 more source
IEEE Access, 2018 MTTool is a novel model-based test tool. It is developed for modeling complex software behavior and generating test cases from the model. Different from existing model-based test tools, the proposed tool realizes the ERE-based testing, where the model is
Pan Liu, Zhenning Xu
doaj +1 more source