Filters








1,162,206 Hits in 7.0 sec

Adapting TDL to Provide Testing Support for Executable DSLs

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé
2021 Journal of Object Technology  
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

Stefan Baerisch
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  
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

Matthias Schur
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
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

Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj
2009 2009 Ninth International Conference on Quality Software  
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]

Marco A. Wehrmeister, Gian R. Berkenbrock
2013 IFIP Advances in Information and Communication Technology  
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

Thibault Béziers la Fosse, Jean-Marie Mottu, Massimo Tisi, Sunyé Sunyé
2019 Journal of Object Technology  
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)

Dongjiang You, Sanjai Rayadurgam, Mats P. E. Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
2015 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
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]

Kari Kähkönen, Keijo Heljanko
2014 Lecture Notes in Computer Science  
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

Christopher Gerking, Jan Ladleif, Wilhelm Schäfer
2015 Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015  
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

Laisa H. O. do Nascimento, Patricia D. L. Machado
2007 Workshop on Domain specific approaches to software test automation in conjunction with the 6th ESEC/FSE joint meeting - DOSTA '07  
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]

Bruno Lima, João Pascoal Faria
2016 Communications in Computer and Information Science  
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

Bruno Lima, João Pascoal Faria
2015 Proceedings of the 10th International Conference on Software Engineering and Applications  
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]

Kristof Böhmer, Stefanie Rinderle-Ma
2015 arXiv   pre-print
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

Benedikt Hauptmann
2011 Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement - Profes '11  
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]

Andreas Heinecke, Tobias Griebe, Volker Gruhn, Holger Flemig
2011 Lecture Notes in Business Information Processing  
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