Results 251 to 260 of about 5,521,647 (293)
Some of the next articles are maybe not open access.
AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool
2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2021This paper presents an envisioned approach to AI-based enhancements of test models in the industrial model-based testing tool TEMPPO Designer. Based on an overview of the tool, we present the required data collector, the AI-based data analyzer and ways to integrate the results into TEMPPO Designer.
Stefan Mohacsi, Michael Felderer
openaire +1 more source
2014
Software more and more pervades our everyday lives. Hence, we have high requirements towards the trustworthiness of the software. Software testing greatly contributes to the quality assurance of modern software systems. However, as today's software system get more and more complex and exist in many different variants, we need rigorous and systematic ...
Malte Lochau +3 more
openaire +1 more source
Software more and more pervades our everyday lives. Hence, we have high requirements towards the trustworthiness of the software. Software testing greatly contributes to the quality assurance of modern software systems. However, as today's software system get more and more complex and exist in many different variants, we need rigorous and systematic ...
Malte Lochau +3 more
openaire +1 more source
Proceedings of the 3rd international workshop on Automation of software test, 2008
As reactive and embedded systems continuously interact with their environment, it is important to test as many as possible interactions. The use of qualitative models of the environment and hardware has the potential to provide test cases that might not be considered with traditional testing methods.
Harald Brandl +2 more
openaire +1 more source
As reactive and embedded systems continuously interact with their environment, it is important to test as many as possible interactions. The use of qualitative models of the environment and hardware has the potential to provide test cases that might not be considered with traditional testing methods.
Harald Brandl +2 more
openaire +1 more source
Model-Based Testing and Maintenance
IEEE Sixth International Symposium on Multimedia Software Engineering, 2005This paper presents a semantic software development model (SSDM) for object-oriented software. It organizes all the information generated during the software development lifecycle including requirements, design, implementation, testing, and maintenance.
D. Deng +3 more
openaire +1 more source
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering, 1999Model-based testing is a new and evolving technique for generating a suite of test cases from requirements. Testers using this approach concentrate on a data model and generation infrastructure instead of hand-crafting individual tests. Several relatively small studies have demonstrated how combinatorial test generation techniques allow testers to ...
Siddhartha R. Dalal +6 more
openaire +1 more source
Model-Based Testing and Model Inference
2012Model-based software testing is well established, and can be traced back to Moore's "Gedanken experiments" on finite state machines from 1956 [10]. The best known approaches involve the use of models (such as UML interaction diagrams or state machines) as the basis for selecting test inputs that seek to explore the core functionality of the system ...
Karl Meinke, Neil Walkinshaw
openaire +1 more source
Model Learning and Model-Based Testing
2018We present a survey of the recent research efforts in integrating model learning with model-based testing. We distinguished two strands of work in this domain, namely test-based learning (also called test-based modeling) and learning-based testing. We classify the results in terms of their underlying models, their test purpose and techniques, and their
Bernhard K. Aichernig +4 more
openaire +1 more source
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
Model-Based Testing and Some Steps towards Test-Based Modelling
2011Model-based testing is one of the promising technologies to increase the efficiency and effectiveness of software testing. In model-based testing, a model specifies the required behaviour of a system, and test cases are algorithmically generated from this model.
openaire +2 more sources
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