Establishing an Efficient Test Framework for Embedded Software Verification via Hardware-in-the-Loop Testing

2012 ◽  
Author(s):  
Daniel Kang ◽  
David Zhang ◽  
William Fleming ◽  
James Fron ◽  
Vivek Jaikamal
Keyword(s):  
Software Verification ◽  
Embedded Software ◽  
Hardware In The Loop ◽  
Efficient Test ◽  
Test Framework

Chapter 20. Software Verification

2021 ◽  
Author(s):  
Daniel Kroening
Keyword(s):  
Program Analysis ◽  
Software Verification ◽  
Embedded Software ◽  
Propositional Satisfiability ◽  
Low Level

This chapter covers an application of propositional satisfiability to program analysis. We focus on the discovery of programming flaws in low-level programs, such as embedded software. The loops in the program are unwound together with a property to form a formula, which is then converted into CNF. The method supports low-level programming constructs such as bit-wise operators or pointer arithmetic.

Efficient Test Method for Embedded Software Using Next Software Framework Test Service

2020 ◽  
Vol 47 (9) ◽  
pp. 804-813
Author(s):  
Dongeon Lee ◽  
Hyunggon Song ◽  
Junghun Jin ◽  
Kyutae Cho
Keyword(s):  
Embedded Software ◽  
Test Method ◽  
Software Framework ◽  
Efficient Test

The Research and Design of Distributed Automated Test Framework which is Oriented to Embedded Devices

2011 ◽  
Vol 121-126 ◽  
pp. 2998-3002
Author(s):  
Wei Hua Hu ◽  
Han Yun Yang
Keyword(s):  
Embedded Software ◽  
Software Test ◽  
Technology Research ◽  
Embedded Devices ◽  
Embedded Technology ◽  
Automated Test ◽  
Communication Devices ◽  
Test Framework ◽  
Distributed Test ◽  
Research And Design

With the development of embedded technology, research for embedded software test techniques and tools is a hot topic in the field of IT. To resolve the the two problems of scarcity of embedded devices and interacting directly with the device, we have designed a distributed automated test framework for embedded communication devices, It has a unique distributed engine to handle a variety of distributed test cases.To compare with the most popular automated test framework QTP (quicktest Professional),we find that our framework has the advantages of directly interact with the embedded devices, higher efficiency and higher accuracy.

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions

2006 ◽  
Vol 34 (1) ◽  
pp. 61-91 ◽  
Author(s):  
David Currie ◽  
Xiushan Feng ◽  
Masahiro Fujita ◽  
Alan J. Hu ◽  
Mark Kwan ◽  
...  
Keyword(s):  
Software Verification ◽  
Symbolic Execution ◽  
Embedded Software

scholarly journals AN INDUSTRIAL EMBEDDED CONTROL SYSTEM DESIGN PROCESS

2011 ◽  
Author(s):  
Pieter J. Mosterman ◽  
Sameer Prabhu ◽  
Tom Erkkinen
Keyword(s):  
Control Systems ◽  
Embedded Software ◽  
Control System Design ◽  
Hardware In The Loop ◽  
Embedded Control ◽  
Embedded Control System ◽  
Embedded Control Systems ◽  
Model Based ◽  
Powerful Means ◽  
Typical Design

Embedded software provides a flexible and powerful means to differentiate products and achieve competitive advantage. However, the design of embedded software tends to be difficult to manage. This paper describes the use of model-based design to help manage the design of embedded control systems. It presents typical design configurations, such as rapid prototyping, software-in-the-loop, processor-in-the-loop, and hardware-in-the-loop, and discusses their differences and usages. Finally, an overview of some of the aspects typical in developing embedded control systems using model-based design is given.

Sign in / Sign up

Export Citation Format

Share Document