Filters








789,219 Hits in 5.5 sec

A Systematic Literature Review of Automated Techniques for Functional GUI Testing of Mobile Applications [article]

Yauhen Leanidavich Arnatovich, Lipo Wang
2018 arXiv   pre-print
From efficiency, we conclude that testing techniques which implement code search-based testing approaches tend to be more efficient than those implementing GUI model-based.  ...  From effectiveness, we conclude that testing techniques which implement model-checking, symbolic execution, constraint solving, and search-based test generation approach tend to be more effective than  ...  It could be explained by the fact that code search-based testing approaches generate tests being guided by more simple and compact models inferred from the app code rather than app GUI.  ... 
arXiv:1812.11470v1 fatcat:n46izlcu6bedxe3y3sft5dtge4

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions [article]

Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder
2016 arXiv   pre-print
We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions.  ...  Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI.  ...  Acknowledgement: This work is part of the EPSRC-funded project "Trustworthy Robotic Assistants" (refs. EP/K006320/1 and EP/K006223/1).  ... 
arXiv:1511.01354v4 fatcat:5zqdyc4w3bcqto3ssf3bnwb3fa

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions [chapter]

Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder
2016 Lecture Notes in Computer Science  
We compare the merits of unconstrained, constrained and model-based test generation in achieving thorough exploration of the code under test, and interesting combinations of human-robot interactions.  ...  Our results show that CDV combined with systematic test generation achieves a very high degree of automation in simulation-based verification of control code for robots in HRI.  ...  Acknowledgement: This work is part of the EPSRC-funded project "Trustworthy Robotic Assistants" (refs. EP/K006320/1 and EP/K006223/1).  ... 
doi:10.1007/978-3-319-40379-3_3 fatcat:qfxne2lac5c73fnamz462rpxnq

Obtaining Statistically Random Information From Silicon Physical Unclonable Functions

Chi-En Yin, Gang Qu
2014 IEEE Transactions on Emerging Topics in Computing  
In this paper, we propose to decouple the unwanted systematic variation from the desired random variation through a regression-based distiller, where the basic idea is to build a model for the systematic  ...  In fact, when we apply NIST's statistical test suite for randomness against the random sequences generated from a population of 125 ring oscillator PUFs using classic 1-out-of-8 coding and neighbor coding  ...  REGRESSION-BASED DISTILLER When we apply polynomial regression models to capture the systematic variation trend, higher order models have better accuracy and generate smaller residual terms ( k,x,y 's  ... 
doi:10.1109/tetc.2014.2316497 fatcat:7tz3wsggjndt3kqc7eojhvxrti

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems

Susanne Kandl, Raimund Kirner, Peter Puschner
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
In model-based testing the test cases are derived from a model of the system under test.  ...  In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing.  ...  Systematic Testing: Systematic testing means that the test cases are generated according to specific test purposes. We create test cases based on the formalized properties to be tested.  ... 
doi:10.1109/wises.2006.329116 dblp:conf/wises/KandlKP06 fatcat:u6oxa4ytnbgu3apjanpzazw7ii

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems

Susanne Kandl
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
In model-based testing the test cases are derived from a model of the system under test.  ...  In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing.  ...  Systematic Testing: Systematic testing means that the test cases are generated according to specific test purposes. We create test cases based on the formalized properties to be tested.  ... 
doi:10.1109/wises.2006.237154 fatcat:ap7a7bmooja6dllwjzlotsq2mq

SYSMODIS: A Systematic Model Discovery Approach

Omer Korkmaz, Cemal Yilmaz
2021 Zenodo  
In this paper, we present an automated model discovery approach, called SYSMODIS, which uses covering arrays to systematically sample the input spaces.  ...  SYSMODIS discovers finite state machine-based models, where states represent distinct screens and the edges between the states represent the transitions between the screens.  ...  SYSMODIS Crawl the screens by interacting with UI, generate test values for the inputs, discover the model and execute the tests systematically and automatically.  ... 
doi:10.5281/zenodo.4661769 fatcat:2bid4aqgibgxxgrrfeluoifqvm

Systematic Testing of Software Architectures in the C2 Style [chapter]

Henry Muccini, Marcio Dias, Debra J. Richardson
2004 Lecture Notes in Computer Science  
We show how choosing a specific architectural style, which supports implementation and facilitates the mapping among SA-based and code-based test cases, a completely systematic SA-based testing approach  ...  The topic of software architecture (SA) based testing has recently raised some interest.  ...  Acknowledgments The authors gratefully acknowledge the Italian MIUR national project SAHARA and the National Science Foundation, both of which partially supported this work.  ... 
doi:10.1007/978-3-540-24721-0_22 fatcat:qguusker3jeo5mft3lkfzvphya

On Transforming Model-based Tests into Code: A Systematic Literature Review

Fabiano Ferrari
2022 Zenodo  
This set of files is complementary material of our systematic literature review.  ...  Specifically, the set of files includes a BibTeX file with references and summaries of studies we analyzed, a spreadsheet that reflects the study selection process and data classification, and a PDF with  ...  obtained with model-based test suites • Level of automation for model-based test generation • Level of automation for test re-execution (modelcode) • Level of traceability of model elements → code  ... 
doi:10.5281/zenodo.6327698 fatcat:btaeds6u7nbv3ocvi7il4tdyjq

Assessing model quality

Robert France, Bernhard Rumpe
2004 Journal of Software and Systems Modeling  
Systematic dynamic analysis of code (i.e., code testing) involves executing programs on a selected set of test inputs that satisfy some test criteria.  ...  In particular, innovative work on defining effective test criteria that are based on coverage of model elements and on the generation of modellevel test cases that provide desired levels of coverage is  ...  Systematic dynamic analysis of code (i.e., code testing) involves executing programs on a selected set of test inputs that satisfy some test criteria.  ... 
doi:10.1007/s10270-004-0068-8 fatcat:oeu6444xujhyzngifx3wgfzwjm

Development of PYMUS+ Code for Quantitative Evaluation of Nuclear Material Accounting (NMA) System

Byung Hee Won, Hee-Sung Shin, Se Hwan Park, Seong-Kyu Ahn
2019 Science and Technology of Nuclear Installations  
Furthermore, a user can make a static process model having simplicity and a matching NMA model based on the PYMUS+ code regardless of facility throughput and is not even required to have professional programming  ...  The most important feature of the PYMUS+ code is its capability to evaluate many process and NMA system model options that a user wants to evaluate.  ...  Generally, FAPs are considered to account for 5% of the error results of statistical tests in safeguards. So, in the PYMUS+ code, FAPs were set at 5% for each statistical test.  ... 
doi:10.1155/2019/8479181 fatcat:ptfnwnpykbfpvmtyix2bhiv2m4

Overview of existing safeguarding techniques for automatically generated code

Ingo Stürmer, Daniela Weinberg, Mirko Conrad
2005 Software engineering notes  
In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development. © ACM, (2005) This is the author's version of the work  ...  Code generators are increasingly used in an industrial context to translate graphical models into executable code.  ...  Acknowledgement The work described was partially performed as part of the IMMOS project funded by the German Federal Ministry of Education and Research (project ref. 01ISC31D). http://www.immosproject.de  ... 
doi:10.1145/1082983.1083192 fatcat:qkklasq3izgajirw4ilplpsyo4

Overview of existing safeguarding techniques for automatically generated code

Ingo Stürmer, Daniela Weinberg, Mirko Conrad
2005 Proceedings of the second international workshop on Software engineering for automotive systems - SEAS '05  
In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development. © ACM, (2005) This is the author's version of the work  ...  Code generators are increasingly used in an industrial context to translate graphical models into executable code.  ...  Acknowledgement The work described was partially performed as part of the IMMOS project funded by the German Federal Ministry of Education and Research (project ref. 01ISC31D). http://www.immosproject.de  ... 
doi:10.1145/1083190.1083192 fatcat:jurrd3ypqzfqddp7lrsyfjqk7q

INVESTIGATING SYSTEMATICITY IN THE LINEAR RAAM NEURAL NETWORK

I. FARKAŠ, M. POKORNÝ
2009 Connectionist Models of Behaviour and Cognition II  
(sparse) binary WordNet-based codes, compared to (symbolic) neutral and to (distributed) word co-occurrence based codes.  ...  Only with WordNet codes the model could generalize to processing structures that contain known words at new syntactic positions or contain novel words, as long as these shared semantic features with the  ...  Levels of systematicity In the original paper of Fodor and Pylyshyn, the use of concept of systematicity was rather vague, so it was difficult to test it in connectionist models.  ... 
doi:10.1142/9789812834232_0018 fatcat:xhojztiknvalni4dctjr34zyly

Model-based Software Design and Testing in Blockchain Smart Contracts: a Systematic Literature Review

N. Sanchez-Gomez, J. Torres-Valderrama, J.A. Garcia-Garcia, J.J. Gutierrez, M.J. Escalona
2020 IEEE Access  
In addition, the definition of these formal models facilitates the definition of transformation rules to generate a test case systematically and automatically, and even software code associated with these  ...  In this regard, the main benefit of using model-based development software is the auto-generation of code, which can eliminate human error and facilitate code reusability.  ... 
doi:10.1109/access.2020.3021502 fatcat:7heozxvgmbgmbnbf432x5mfc7u
« Previous Showing results 1 — 15 out of 789,219 results