71,687 Hits in 5.3 sec

Model transformation testing

Gehan M. K. Selim, James R. Cordy, Juergen Dingel
2012 Proceedings of the First Workshop on the Analysis of Model Transformations - AMT '12  
In this paper, we survey the model transformation testing phases and the approaches proposed in the literature for each phase.  ...  A key part of MDD is the notion of automated model transformation, in which models are stepwise refined into more detailed models, and eventually into code.  ...  [4] propose a combined specification-based coverage approach for testing a transformation chain, where contract-based and metamodel-based adequacy criteria were generated from the transformations in  ... 
doi:10.1145/2432497.2432502 dblp:conf/models/SelimCD12 fatcat:tmlvvi355ndt7ezzpbb4wbwska

Model transformation impact on test artifacts

Anders Eriksson, Birgitta Lindström, Sten F. Andler, Jeff Offutt
2012 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12  
., predicates and clauses, are used to satisfy the structural code coverage criterion, in this case MCDC, which is required by the US Federal Aviation Administration.  ...  Therefore, structural coverage at the model level may not guarantee coverage of the implementation.  ...  ACKNOWLEDGEMENTS This work was supported in part by the Research Grant 2010-01252 from the VINNOVA (Swedish Governmental Agency for Innovation Systems).  ... 
doi:10.1145/2427376.2427378 fatcat:gmlaizacpvdttocvpxn4au2rri

Transformation Rules for Platform Independent Testing: An Empirical Study

Anders Eriksson, Birgitta Lindstrom, Jeff Offutt
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation  
The fact that full coverage at the design model level does not guarantee full coverage at the code level indicates that there are semantic behaviors in the model that model-based tests might miss, e.g.  ...  This combination makes designing tests hard, time consuming and expensive to design.  ...  ACKNOWLEDGMENT This work was supported in part by Research Grant 2010-01252 from the VINNOVA (Swedish Governmental Agency for Innovation Systems).  ... 
doi:10.1109/icst.2013.28 dblp:conf/icst/ErikssonLO13 fatcat:ezdtyhcwknclngrgpnnudhjq3u

Model Based Analysis and Test Generation for Flight Software

Corina S. Pasareanu, Johann Schumann, Peter Mehlitz, Mike Lowry, Gabor Karsai, Harmon Nine, Sandeep Neema
2009 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology  
We describe a framework for model-based analysis and test case generation in the context of a heterogeneous modelbased development paradigm that uses and combines Math-Works and UML 2.0 models and the  ...  The framework is based on a common intermediate representation for different modeling formalisms and leverages and extends model checking and symbolic execution tools for model analysis and test case generation  ...  Conclusion We described a framework for model based analysis and test case generation based on Simulink/Stateflow and UML representations.  ... 
doi:10.1109/smc-it.2009.18 fatcat:iggsnqzubjdz3k6crjl3ewfply

Gray Box Coverage Criteria for Testing Graph Pattern Matching

Martin Wieber, Andy Schürr
2012 Electronic Communications of the EASST  
This work presents a new gray box coverage approach for systematic testing of GT-based MT implementations and pattern specifications.  ...  Model transformations (MT) are a core building block of Model-Driven Engineering. The quality of MT specifications and implementations is vital to their success.  ...  We used Cobertura 3 , which supports basic block coverage and branch coverage, to measure code-based coverage figures for the example.  ... 
doi:10.14279/tuj.eceasst.54.772 dblp:journals/eceasst/WieberS12 fatcat:a5mjozp4qjfohjv4kgq6nto55u

Operational abstractions of model transforms

Vibha Singhal Sinha, Pankaj Dhoolia, Senthil Mani, Saurabh Sinha
2014 Proceedings of the 7th India Software Engineering Conference on - ISEC '14  
We implemented our approach for XSLT-based model transforms and conducted empirical studies.  ...  However, examining the transform code to obtain such understanding can be cumbersome and impractical. To address this, we present an operational abstraction of model transforms.  ...  Overview of Results We implemented our technique for XSLT-based transforms that generate text output (e.g., Java code and configuration files).  ... 
doi:10.1145/2590748.2590751 dblp:conf/indiaSE/SinhaDMS14 fatcat:a2lxoomguvbjhdfuxq7pe77upu

On the Importance of Tailorable Processes in the Development of Embedded Industrial Automation Systems

Philipp Nenninger, Detlef Streitferdt
2008 IFAC Proceedings Volumes  
In this paper, testing of embedded systems is taken as an example of how the increase in complexity drives the need for new approaches and how model-based testing can be employed to offset these effects  ...  For future generations of devices, it is therefore necessary to adapt the development process in order to be able to deliver the reliability required for these devices.  ...  MeDUSA is based on the COMET method Gomaa (2000) and has been tailored to be object-based instead of object-oriented since this allows for a smoother transition between models and C-code.  ... 
doi:10.3182/20080706-5-kr-1001.00382 fatcat:dl7otw2vrvf4fgpedi722brshe

Veritas - a versatile modeling environment for test-driven agile simulation

Anatoli Djanatliev, Winfried Dulz, Reinhard German, Vitali Schneider
2011 Proceedings of the 2011 Winter Simulation Conference (WSC)  
The methodology is realized by combining appropriate tools and new software components based on the Eclipse RCP.  ...  An approach is presented in which both simulation and testing based on UML are combined in one framework to achieve an improved overall quality.  ...  TEST-DRIVEN AGILE SIMULATION As mentioned before, UML-based models are growing in popularity for system modeling as well as for test specifications.  ... 
doi:10.1109/wsc.2011.6148059 dblp:conf/wsc/DjanatlievDGS11 fatcat:a2s35jkvwvfr3pl7d3ktxefszu

How did you specify your test suite

Andreas Holzer, Michael Tautschnig, Helmut Veith, Christian Schallhart
2010 Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10  
For instance, we can use concise specifications of missing test cases as inputs for a heavy-weight tool such as a model checker.  ...  We can determine coverage with respect to an FQL query achieved by other test methods, e.g., directed, model-based, or manual testing.  ...  As PicoSAT has a larger code base, the experiments for basic block coverage and condition coverage took up to ten minutes and required up to 550 MB.  ... 
doi:10.1145/1858996.1859084 dblp:conf/kbse/HolzerTVS10 fatcat:i7475idivrag7bytwxmd7iesla

Assessing and improving quality of QVTo model transformations

Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
2015 Software quality journal  
We then implemented and evaluated one of the tools, namely a code test coverage tool. In designing the tool, code coverage criteria for QVTo model transformations are also identified.  ...  The primary contributions of this paper are a QVTo quality model relevant to QVTo practitioners and an open-source code coverage tool already usable by QVTo transformation developers.  ...  In MDE, models are created by domain experts and then transformed into other models or code using model transformations.  ... 
doi:10.1007/s11219-015-9280-8 fatcat:ksygotajnnbj7mk6ps7q6sovqa

Experiences using Tedeso: an extensible and interoperable model-based testing platform

Roberto Silveira Silva Filho, William M. Hasling, Christof J. Budnik, Monica McKenna
2013 Automated Software Engineering : An International Journal  
and facilitated the adoption of model-based testing techniques in different business units in different sectors within SIEMENS.  ...  This paper discusses the design of Tedeso, an extensible and interoperable model-based testing platform developed to facilitate the automatic generation of tests, while supporting the needs of different  ...  Acknowledgements We would like to thank the many developers, and researches that contributed to this project.  ... 
doi:10.1007/s10515-012-0118-3 fatcat:63uf7oq2hzfenale2j4fzzfce4

Verification and Validation Integrated within Processes Using Model-Based Design

Brett Murphy, Chris Hayhurst, Jon Friedman, Coorous Mohtadi, Richard Anderson, Pieter Mosterman
2008 IFAC Proceedings Volumes  
With the advent of Model-Based Design as an alternative method for generating embedded software, the need for verification and validation remains and, up to the present, conventional approaches for doing  ...  However, conventional and new techniques fully integrated into Model-Based Design have the potential for greater returns, and will be presented in this paper.  ...  Source code-based testing has existed for many years, but new tools and techniques now allow for model testing and structural coverage, see Aldrich (2002) and Edwards (2004) .  ... 
doi:10.3182/20080706-5-kr-1001.00181 fatcat:bpi36tdu5rbspiyx257vjuh5ma

Using Logic Coverage to Improve Testing Function Block Diagrams [chapter]

Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson
2013 Lecture Notes in Computer Science  
Based on our experiments, this approach, supported by a tool chain, is an applicable and useful way of generating test cases for covering Function Block Diagrams.  ...  The logic coverage artifacts, i.e., predicates and clauses, are required for different logic coverage, e.g., MC/DC.  ...  The authors would like to thank Elaine Weyuker and Thomas Ostrand for their valuable comments on this work.  ... 
doi:10.1007/978-3-642-41707-8_1 fatcat:2h2muckhz5gs5fukc7jwsahqxy

Intertwining ROP Gadgets and Opaque Predicates for Robust Obfuscation [article]

Fukutomo Nakanishi, Giulio De Pasquale, Daniele Ferla, Lorenzo Cavallaro
2020 arXiv   pre-print
More importantly, we introduce a realistic and unified threat model to thoroughly evaluate ROPFuscator and provide principled reasoning on ROP-based obfuscation techniques that answer to code coverage,  ...  of ROP-based mechanisms against man-at-the-end (MATE) attacks.  ...  We identify ROP gadgets and combine underlying code into original instructions.  ... 
arXiv:2012.09163v1 fatcat:uvpg73ewxbh2xoooefkbuu4osm

Fine-grained static detection of obfuscation transforms using ensemble-learning and semantic reasoning

Ramtine Tofighi-Shirazi, Irina Măriuca Asăvoae, Philippe Elbaz-Vincent
2019 Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering - SSPREW9 '19  
To that end, we provide several studies for the best practices of the use of machine learning techniques for a scalable and efficient model.  ...  We present a novel approach that combines semantic reasoning techniques with ensemble learning classification for the purpose of providing a static detection framework for obfuscation transformations.  ...  ACKNOWLEDGMENTS We are much grateful to the referees comments and suggestions from the editorial board.  ... 
doi:10.1145/3371307.3371313 fatcat:x6d24qttkjh6hds5evndbc4awy
« Previous Showing results 1 — 15 out of 71,687 results