Results 31 to 40 of about 5,519,312 (291)
ContextDrive: Towards a Functional Scenario-Based Testing Framework for Context-Aware Applications
Context-aware applications are emerging applications in the modern era of computing. These applications can determine and adapt to situational context to provide better user experience. Testing these applications is not straightforward.
Aamir Mehmood Mirza +6 more
doaj +1 more source
Model-Based Testing of Obligations [PDF]
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
A Tool Support for Model-Driven Development: An Industrial Case Study from a Measurement Domain
End-user programming may utilize Domain-Specific Modeling Languages (DSMLs) to develop applications in the form of models, using only abstractions found in a specific problem domain.
Tomaž Kos, Marjan Mernik, Tomaž Kosar
doaj +1 more source
UI-Design driven model-based testing [PDF]
Testing interactive systems is notoriously difficult. Not only do we need to ensure that the functionality of the developed system is correct with respect to the requirements and specifications, we also need to ensure that the user interface to the ...
Gabriele Taentzer +8 more
core +4 more sources
Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization
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
A subset of precise UML for Model-based Testing [PDF]
This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria.
Bouquet, Fabien +5 more
core +3 more sources
Automatic Test Data Generation Using the Activity Diagram and Search-Based Technique
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
Dynamic Infection Spread Model Based Group Testing
Group testing idea is an efficient approach to detect prevalence of an infection in the test samples taken from a group of individuals. It is based on the idea of pooling the test samples and performing tests to the mixed samples.
Batuhan Arasli, Sennur Ulukus
doaj +1 more source
Automating Test Case Generation for Android Applications using Model-based Testing
Testing of mobile applications (apps) has its quirks as numerous events are required to be tested. Mobile apps testing, being an evolving domain, carries certain challenges that should be accounted for in the overall testing process.
Usman Habib Khan +7 more
doaj +1 more source
Tester versus Bug: A Generic Framework for Model-Based Testing via Games [PDF]
We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternating ...
Bos, Petra van den, Stoelinga, Marielle
core +8 more sources

