Results 261 to 270 of about 5,521,647 (293)
Some of the next articles are maybe not open access.
The AGEDIS tools for model based testing
ACM SIGSOFT Software Engineering Notes, 2004We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution for distributed systems. The project includes an integrated environment for modeling, test generation, test execution, and other test related ...
Alan Hartman, Kenneth Nagin
openaire +1 more source
Test Oracle Strategies for Model-Based Testing
IEEE Transactions on Software Engineering, 2017Testers use model-based testing to design abstract tests from models of the system’s behavior. Testers instantiate the abstract tests into concrete tests with test input values and test oracles that check the results. Given the same test inputs, more elaborate test oracles have the potential to reveal more failures, but may also be more costly.
Nan Li 0008, Jeff Offutt
openaire +1 more source
2009
A reusable model-based testing method for software product lines (SPL) is used to create test specifications from use case and feature models, which can then be configured to test individual applications that are members of the SPL. This paper describes a feature-oriented model-based testing method for SPLs that can be used to reduce the number of ...
Erika Mir Olimpiew, Hassan Gomaa
openaire +1 more source
A reusable model-based testing method for software product lines (SPL) is used to create test specifications from use case and feature models, which can then be configured to test individual applications that are members of the SPL. This paper describes a feature-oriented model-based testing method for SPLs that can be used to reduce the number of ...
Erika Mir Olimpiew, Hassan Gomaa
openaire +1 more source
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012
The European ITEA2 project DIAMONDS (Development and Industrial Application of Multi-Domain Security Testing Technologies) develops under the direction of Fraunhofer FOKUS, Berlin efficient and automated security test methods for security-critical, networked systems in various industrial domains such as industrial automation, banking and ...
openaire +1 more source
The European ITEA2 project DIAMONDS (Development and Industrial Application of Multi-Domain Security Testing Technologies) develops under the direction of Fraunhofer FOKUS, Berlin efficient and automated security test methods for security-critical, networked systems in various industrial domains such as industrial automation, banking and ...
openaire +1 more source
Model-Based Testing with Spec#
2004This half-day tutorial introduces model-based testing, using the Spec# modeling language and the Spec Explorer test tool.
openaire +1 more source
Starting Model-Based Testing Based on Existing Test Cases Used for Model Creation
2011 IEEE 11th International Conference on Computer and Information Technology, 2011Model-based testing has a significant impact on test quality and test effort. However, many industrial projects still rely on the traditional testing methods. The biggest concerns against model-based testing are the need of formal knowledge and high initial costs for introducing the formal model.
Torens, Christoph +2 more
openaire +2 more sources
Model-Based Testing and the UML Testing Profile
2009The UML Testing Profile (U2TP) provides a means of using UML for test case specification. In this work we show how the concepts of model-based testing can be mapped to U2TP at the conceptual level. We discuss structural as well as behavioural issues that allow certain aspects of model-based testing to be considered an instance of U2TP. This is achieved
Krishnan, Padmanabhan, Pari-Salas, Percy
openaire +1 more source
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005., 2005
Model-based testing has become increasingly popular in recent years. Major reasons include: (1) the need for quality assurance for increasingly complex systems, (2) the emerging model-centric development paradigm, e.g., UML and MDA, with its seemingly direct connection to testing, and (3) the advent of test-centered development methodologies.
openaire +1 more source
Model-based testing has become increasingly popular in recent years. Major reasons include: (1) the need for quality assurance for increasingly complex systems, (2) the emerging model-centric development paradigm, e.g., UML and MDA, with its seemingly direct connection to testing, and (3) the advent of test-centered development methodologies.
openaire +1 more source
Heuristics for ioco-Based Test-Based Modelling
2007Model-based conformance testing provides a mathematically sound technique to assess the quality of systems and check the correctness of a system with respect to a model. Most systems, however, are built or modified without documenting the (new) specifications, thereby limiting the use of model-based testing techniques.
openaire +2 more sources
The Hubbard Model: A Computational Perspective
Annual Review of Condensed Matter Physics, 2022Mingpu Qin +2 more
exaly