Results 251 to 260 of about 5,519,312 (291)
Some of the next articles are maybe not open access.
Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002
Software engineering (SE) truisms capture broadly-applicable principles of software construction. The trouble with truisms is that such general principles may not apply in specific cases. This paper tests the specificity of two SE truisms: (a) increasing software process level is a desirable goal; and (b) it is best to remove errors during the early ...
Tim Menzies +4 more
openaire +1 more source
Software engineering (SE) truisms capture broadly-applicable principles of software construction. The trouble with truisms is that such general principles may not apply in specific cases. This paper tests the specificity of two SE truisms: (a) increasing software process level is a desirable goal; and (b) it is best to remove errors during the early ...
Tim Menzies +4 more
openaire +1 more source
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
Software Testing, Verification and Reliability, 2023
Yves Le Traon, Tao Xie 0001
openaire +1 more source
Yves Le Traon, Tao Xie 0001
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
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
2020
Software testing is the most important method for verifying the correctness of a system against its specification. This remains the case despite advances in formal verification methods such as model checking or theorem proving. Even if testing can not demonstrate the absence of errors, when carried out systematically it can increase our confidence that
Reiko Heckel, Gabriele Taentzer
openaire +1 more source
Software testing is the most important method for verifying the correctness of a system against its specification. This remains the case despite advances in formal verification methods such as model checking or theorem proving. Even if testing can not demonstrate the absence of errors, when carried out systematically it can increase our confidence that
Reiko Heckel, Gabriele Taentzer
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