Filters








91,921 Hits in 4.4 sec

A study on functional specification based test case generation for real-time systems

Mani P, Dr. Prasanna M
2016 International Journal of Engineering and Technology  
This paper aims to explicate the method for test case generation in real-time systems. In software engineering, software design phase has the diagrammatic way to understand the real-time systems.  ...  Keyword-Real -time system, Model based test case generation, Embedded system I. INTRODUCTION In the real-time digital world, the software has played an important role in our society.  ...  Software testing always has turned out to be the best solution for system verification. The techniques for test case generation are made either automated or manually.  ... 
doi:10.21817/ijet/2016/v8i4/160804414 fatcat:we42afvvubd3hhwl2kztafw2ea

Testing embedded software: A survey of the literature

Vahid Garousi, Michael Felderer, Çağrı Murat Karapıçak, Uğur Yılmaz
2018 Information and Software Technology  
Conclusion: The results of this review paper have already benefitted several of our industry partners in choosing the right test techniques / approaches for their embedded software testing challenges.  ...  To test embedded software in an effective and efficient manner, a large number of test techniques, approaches, tools and frameworks have been proposed by both practitioners and researchers in the last  ...  Test automation: Test automation is a very popular approach to reduce testing costs for testing different types of software including embedded software [55,70]. 148 of the 312 papers involved test automation  ... 
doi:10.1016/j.infsof.2018.06.016 fatcat:nye7v5keuvbvdnm3qnlkkfac5e

Model Driven Process for Real-Time Embedded Systems Software Development And Validation

Samaa A. Abdel Samie
2015 Computer Applications An International Journal  
For embedded systems development, it's really important to follow a more time efficient approach.  ...  Developing real-time embedded systems is significantly challenging to developers. Results need not be only correct, but also in a timely manner.  ...  PROPOSED APPROACH A technique to deploy MBV for embedded systems without affecting their real time behavior is poorly supported.  ... 
doi:10.5121/caij.2015.2105 fatcat:7agfn4l3v5bqnimvqstg5gcaru

A Case Study of Black-Box Testing for Embedded Software using Test Automation Tool

Changhyun Baek, Joongsoon Jang, Gihyun Jung, Kyunghee Choi, Seungkyu Park
2007 Journal of Computer Science  
We presented statistical analysis for the test results of the automated testing and defined the properties of the software bugs for the embedded system.  ...  The main result of the study were the following: (a) test case prioritization technique was needed because the review phase, in the test process, takes long time; (b) there are three types of software  ...  The conventional test automation tool for the embedded software usually was used for Unit Test. Also, many times of modification and adaptable periods were required to apply to specific system.  ... 
doi:10.3844/jcssp.2007.144.148 fatcat:yl6rmi5k4vhs7nhdeij7p2a4gy

Automated Unit Testing in Model-based Embedded Software Development

Christoph Luckeneder, Hermann Kaindl, Martin Korinek
2017 Proceedings of the 12th International Conference on Software Technologies  
Automating software tests is generally desirable, and especially for the software of safety-critical real-time systems such as automotive control systems.  ...  Automated Unit Testing in Model-based Embedded Software Development.  ...  This paper shows how to automate unit tests of such embedded software.  ... 
doi:10.5220/0006469604270434 dblp:conf/icsoft/LuckenederKK17 fatcat:rv6tszxy5vha5gwuzy3wfeoa7u

The first international workshop on automation of software test

Hong Zhu, Joseph R. Horgan, S. C. Cheung, J. Jenny Li
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
models, XML schemes, compilers, OS, real-time systems, concurrent and parallel systems, communication systems and protocols, embedded systems, etc.  ...  Therefore, it is timely and important for the development of software testing methodologies into a scientific discipline as a part of software engineering.  ...  models, XML schemes, compilers, OS, real-time systems, concurrent and parallel systems, communication systems and protocols, embedded systems, etc.  ... 
doi:10.1145/1134285.1134487 dblp:conf/icse/ZhuHCL06 fatcat:a4k2ygfmwrbzdfbkccfjth46qq

Special Issue on Dynamic Analysis and Testing of Embedded Software

W. Eric Wong, W.K. Chan, T.H. Tse, Fei-Ching Kuo
2012 Journal of Systems and Software  
The first paper, "InRob: An Approach for Testing Interoperability and Robustness of Real-Time Embedded Software" by F. Mattiello-Francisco, E. Martins, A.R. Cavalli, and E.T.  ...  A case study on the software embedded in a real-time space X-ray telescope is presented to evaluate the feasibility of the approach in practice.  ... 
doi:10.1016/j.jss.2011.09.044 fatcat:ugk5jprurnawrgnt3xmy3lysbm

Modeling distributed automation systems in cyber-physical view

Wenbin Dai, Valeriy Vyatkin, Cailian Chen, Xinping Guan
2015 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA)  
With increasing complexity of automation processes, distributed automation systems are required to meet real-time constraints of control and communication for processes.  ...  On the other hand, cyber-physical system is committed for solving complexities of networked embedded systems.  ...  One challenge of applying CPS in industrial automation is modeling techniques for distributed automation software with integrated physical processes [4] .  ... 
doi:10.1109/iciea.2015.7334251 fatcat:7tetnkzppze73jkdjr4n7rpy2m

Embedded simulation for automation of material manipulators in a PVD coating process

Gerhard Rath, Jurgen M. Lackner, Wolfgang Waldhauser
2012 Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)  
For the automation of a production system a hardware-in-the-loop (HIL) simulation model of the mechanical system was developed and embedded on the controller.  ...  With the increasing capabilities of modern simulation software and controller hardware it turns out, that virtual start-up, factory acceptance test and functional validation are practicable also for small  ...  The missing real-time property is not essential for the specification and design of the HMI software. THE SYSTEM AUTOMATION TASK The mechanical system to be automated consisted of three main parts.  ... 
doi:10.1109/wsc.2012.6465050 dblp:conf/wsc/RathLW12 fatcat:fyno644m6fb47dvknxet5qyfzu

What We Know about Testing Embedded Software

Vahid Garousi, Michael Felderer, Cagri Murat Karapicak, Ugur Yilmaz
2018 IEEE Software  
To test embedded software in a cost effective manner, a large number of test techniques, approaches, tools and frameworks have been proposed by both practitioners and researchers in the last several decades  ...  Innovations are increasingly triggered by software embedded in automotive, transportation, medical-equipment, communication, energy, and many other types of systems.  ...  embedded software, some techniques are domain-specific.  ... 
doi:10.1109/ms.2018.2801541 fatcat:3zmzpu2jq5c2dftcvuttfk4ou4

MEDS: Mockup Electronic Data Sheets for automated testing of cyber-physical systems using digital mockups

B. Miller, F. Vahid, T. Givargis
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
We summarize a case study showing the effectiveness of digital mockups and MEDS as a framework for test automation on a medical ventilator, resulting in 5x less time spent testing compared to methods requiring  ...  test automation.  ...  Complex models often can not meet real-time constraints using common simulation techniques like the popular Simulink software or custom-written C code.  ... 
doi:10.1109/date.2012.6176585 dblp:conf/date/MillerVG12 fatcat:c5cmj5dj4ffvxka6a6xmbj444m

Author index

2013 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)  
in Embedded Software Falessi, Davide Automated Classification of NASA Anomalies Using Natural Language Processing Techniques Fard, Amin Milani Feedback-directed Exploration of Web Applications to Derive  ...  A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services Vinod, Kishore A novel mechanism to continuously scan field logs and gain real-time feedback Reliability feedback  ... 
doi:10.1109/issrew.2013.6688827 fatcat:fezdd55oujclxoj5orb4am3iw4

Author index

2013 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)  
in Embedded Software Falessi, Davide Automated Classification of NASA Anomalies Using Natural Language Processing Techniques Fard, Amin Milani Feedback-directed Exploration of Web Applications to Derive  ...  A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services Vinod, Kishore A novel mechanism to continuously scan field logs and gain real-time feedback Reliability feedback  ... 
doi:10.1109/issre.2013.6698874 fatcat:vrmqtanuwzhghe52pq3n6yc3fm

Model-based robustness testing for avionics-embedded software

Shunkun Yang, Bin Liu, Shihai Wang, Minyan Lu
2013 Chinese Journal of Aeronautics  
Robustness testing for safety-critical embedded software is still a challenge in its nascent stages.  ...  , especially for testing complex embedded systems.  ...  It can realize not only the normal testing for embedded software, but also the robustness testing aimed for automated long-time and stressing testing from the aspects of timing, interface, data, state  ... 
doi:10.1016/j.cja.2013.05.004 fatcat:ifmjjh3hxbd7fcfyzjsvlamllm

Model-Based Testing of Automotive Systems

Eckard Bringmann, Andreas Kr
2008 2008 International Conference on Software Testing, Verification, and Validation  
TPT is based on graphical test models that are not only easy to understand but also powerful enough to express very complex, fully automated closed loop tests in real-time.  ...  In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mechanical engineering.  ...  for model-based automotive developments, and thereby 3. to provide an infrastructure for automated test execution and automated test assessments even for real-time environments.  ... 
doi:10.1109/icst.2008.45 dblp:conf/icst/BringmannK08 fatcat:ifxawpbzpjauxkmqljl5v4xkci
« Previous Showing results 1 — 15 out of 91,921 results