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.
Filters
A study on functional specification based test case generation for real-time systems
2016
International Journal of Engineering and Technology
Preserved Fulltext
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
2018
Information and Software 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 2021; you can also visit the original URL.
The file type is application/pdf.
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
2015
Computer Applications An International Journal
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.
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
2007
Journal of 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 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Proceedings of the 12th International Conference on Software Technologies
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.
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
2006
Proceeding of the 28th international conference on Software engineering - ICSE '06
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 2006; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Systems and 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.
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
2015
2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA)
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.
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
2012
Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)
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 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
2018
IEEE 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 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
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.
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)
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 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)
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 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
2013
Chinese Journal of Aeronautics
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.
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
2008
2008 International Conference on Software Testing, Verification, and Validation
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.
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