A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Adapting TDL to Provide Testing Support for Executable DSLs
2021
Journal of Object Technology
Preserved Fulltext
The application of our approach on 5 different xDSLs shows its generality and that it can successfully be used for testing executable models. ...
Unfortunately, TDL does not provide the domain-specific concepts required to write test cases for a given xDSL and does not include any model execution facilities. ...
At the center, the domain expert uses the provided xDSL to define an executable model and wishes to write TDL test cases for this model. ...
doi:10.5381/jot.2021.20.3.a6
fatcat:dtt6n6wtrrbhnovrvmpnj76gqi
Model-driven test-case construction
2007
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we present an approach that decouples test specification and test execution by using system models and test models for the representation of systems under test and tests. ...
We motivate the use of abstract test models and system models, introduce the relevant concepts of our approach and discuss the relationship to relevant fields. ...
We consider two approaches to combine information from the two types of models: • In an early binding approach, system models for one or multiple SUTs are used to instantiate a specific test metamodel ...
doi:10.1145/1287624.1287717
dblp:conf/sigsoft/Baerisch07
fatcat:tylnoh37lrhqjfya2a42shpxmy
Experimental specification mining for enterprise applications
2011
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper proposes an approach for inferring models of built-in processes in enterprise systems based on systematic scenario test generation. ...
Whereas inductive approaches to specification mining rely on a given set of execution traces, experimental approaches systematically generate and execute test cases to infer rich models including uncommon ...
I would like to thank Andreas Zeller, Andreas Roth, Sebastian Wieczorek, Wei Wei and the anonymous reviewers for their valuable comments. ...
doi:10.1145/2025113.2025169
dblp:conf/sigsoft/Schur11
fatcat:pa5t6ukfbbddfgmy5a5ebi66mq
A Survey of Model-Driven Testing Techniques
2009
2009 Ninth International Conference on Quality Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
For such systems, a model-based testing approach is much recommended since it is aligned with the new model-driven development paradigm that favors models over code with the objective being to reduce time ...
We compare these techniques according to specific criteria including the modeling language used to represent the system design artifacts, the ability to automatically generate test cases, the testing target ...
Mingsong et al. present an approach that uses UML activity diagrams to generate test cases for Java programs [12] . ...
doi:10.1109/qsic.2009.30
dblp:conf/qsic/MussaOSH09
fatcat:mudyu6ncivcelj7tw24oqlrvae
Automatic Execution of Test Cases on UML Models of Embedded Systems
[chapter]
2013
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The Automated Testing for UML (AT4U) approach proposes the automatic execution of test cases on the behavioral diagrams of an UML model. ...
It is worth noting that an important issue of any automated testing approach is to provide the feedback on the executed test cases. ...
doi:10.1007/978-3-642-38853-8_4
fatcat:rzy5ils6eret7bwfuvtjgndoau
Source-Code Level Regression Test Selection: the Model-Driven Way
2019
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
RTS reduces the duration of regression testing and hence its cost. In this paper, we present a model-driven approach for RTS. ...
We use this resulting model to identify and select all the test cases that have been impacted by changes between two revisions of the program. ...
Figure 1 presents an example that is used to define the context of our model-driven approach for RTS. ...
doi:10.5381/jot.2019.18.2.a13
fatcat:egsoc7llf5ewbi56rmvsivnusm
Executing Model-Based Tests on Platform-Specific Implementations (T)
2015
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Testing an implementation to expose nonconformance to such a model requires reconciling differences arising from these abstractions. ...
Testing an implementation to expose non-conformance to such a model requires reconciling differences arising from these abstractions. ...
ACKNOWLEDGMENT We would like to thank Anitha Murugesan at the University of Minnesota, for providing support for the Simulink and Stateflow models. ...
doi:10.1109/ase.2015.64
dblp:conf/kbse/YouRHKKS15
fatcat:qh6ocqdd4jblfmjriasuwehzvm
Lightweight State Capturing for Automated Testing of Multithreaded Programs
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Our approach is based on modeling states that are observed during the test executions as a Petri net. This model is then used to determine if some execution paths lead to an already explored state. ...
We present a lightweight approach to capture abstract state information that can be used to avoid testing redundant interleavings of multithreaded programs. ...
Lightweight State Capturing for Automated Testing ...
doi:10.1007/978-3-319-09099-3_15
fatcat:24sh4gq4ene7rmsouydwqh7rea
Model-driven test case design for model-to-model semantics preservation
2015
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Our language enables an immediate execution of test cases with precise validation feedback. ...
In this paper, we apply the approach of model-driven testing to the domain of model transformation. ...
Based on this modeling approach, Section 2.2 describes the execution of test cases and how to determine the result of an execution. ...
doi:10.1145/2804322.2804323
dblp:conf/sigsoft/GerkingLS15
fatcat:i27n65r3snhvfl6knqdi2bmke4
An experimental evaluation of approaches to feature testing in the mobile phone applications domain
2007
Workshop on Domain specific approaches to software test automation in conjunction with the 6th ESEC/FSE joint meeting - DOSTA '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
From the results obtained and conclusions reached, an approach to feature testing is proposed. ...
This paper presents results from an experimental evaluation of the use of model-based testing and the use of exploratory testing in the context of feature testing for mobile phone applications. ...
An evaluation model is proposed for comparing the approaches. Also, it applies the testing approaches to real features. ...
doi:10.1145/1294921.1294926
dblp:conf/sigsoft/NascimentoM07
fatcat:lds7jo4rp5ckdean77wvlahrvm
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
[chapter]
2016
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Hence, we propose an approach and toolset architecture for automating the testing of end-to-end services in distributed and heterogeneous systems, comprising a visual modeling environment, a test execution ...
The only manual activity required is the description of the participants and behavior of the services under test with UML sequence diagrams, which are translated to extended Petri nets for efficient test ...
Our approach has the ability to test non-deterministic SUT behaviors, using an online, adaptive, test generation strategy. ...
doi:10.1007/978-3-319-30142-6_21
fatcat:m54udtbenjbonbjp3ora7h3iki
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
2015
Proceedings of the 10th International Conference on Software Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Hence, in this paper, we propose an approach and a toolset architecture for automating the testing of end-to-end services in distributed and heterogeneous systems. ...
The tester interacts with a visual modeling frontend to describe key behavioral scenarios, invoke test generation and execution, and visualize test results and coverage information back in the model. ...
the previous layer, and a test execution manager, responsible for initiating test execution (using the services of the next layer), forward execution events (received from the next layer) to the model ...
doi:10.5220/0005558602410250
dblp:conf/icsoft/LimaF15
fatcat:raekeqwlsndvtouyli65xujzfe
A systematic literature review on process model testing: Approaches, challenges, and research directions
[article]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Hence, a systematic literature review is conducted to identify interesting areas for future research and to provide an overview of existing work. ...
Several open research questions are identified, for example, how to apply testing to cross-organizational or legacy processes and how to adequately include users into the testing methods. ...
During the test-case execution an instance of the process model is created and instrumented using the test-case input data. ...
arXiv:1509.04076v1
fatcat:7yx4ksziyfdl3kpnhkjj6wlhei
Model-based test instantiation for applications with user interfaces
2011
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement - Profes '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present the goals of our research project and discuss a model-driven approach to ease instantiation of tests on the system level. ...
Tests are defined on an abstract, functional level, abstracting away UI usage. During test execution, abstract tests are enriched with UI information and executed against the system. ...
To execute these UI independent test cases, we reconstruct the necessary information by using a generic test adapter which instantiates test cases using the UI information stored in the UI model for a ...
doi:10.1145/2181101.2181108
fatcat:6ugiw5a5bnc4toirbidgkvbjya
Business Process-Based Testing of Web Applications
[chapter]
2011
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
In this paper we propose an approach that enables domain experts to generate test cases alongside business processes. ...
Our contribution targets a holistic approach that supports the modelling of the graphical user interface (GUI) for web-based information systems, the generation of test cases from modelled business processes ...
In this paper an approach to automatically generate and execute test cases for web applications is proposed. ...
doi:10.1007/978-3-642-20511-8_55
fatcat:4bbw7erbfzebtpdhfx3xcsiumu
« Previous
Showing results 1 — 15 out of 1,162,206 results