Using Symbolic Execution in Embedded Software Testing

2008 ◽  
Author(s):  
Hong Yu ◽  
Huang Song ◽  
Liu Xiaoming ◽  
Yu Xiushan
Keyword(s):  
Software Testing ◽  
Symbolic Execution ◽  
Embedded Software

Concolic Test Generation and the Cloud

2015 ◽  
pp. 302-322
Author(s):  
Nikolai Kosmatov
Keyword(s):  
Software Testing ◽  
Test Generation ◽  
Symbolic Execution ◽  
Major Obstacle ◽  
Testing Methods ◽  
C Programs ◽  
Security Issues ◽  
Efficient Alternative ◽  
Cloud Environments ◽  
Testing Techniques

Software testing in the cloud can reduce the need for hardware and software resources and offer a flexible and efficient alternative to the traditional software testing process. A major obstacle to the wider use of testing in the cloud is related to security issues. This chapter focuses on test generation techniques that combine concrete and symbolic execution of the program under test. Their deployment in the cloud leads to complex technical and security issues that do not occur for other testing methods. This chapter describes recent online deployment of such a technique implemented by the PathCrawler test generation tool for C programs, where the author faced, studied, and solved many of these issues. Mixed concrete/symbolic testing techniques not only constitute a challenging target for deployment in the cloud, but they also provide a promising way to improve the reliability of cloud environments. The author argues that these techniques can be efficiently used to help to create trustworthy cloud environments.

Design and Application of Real-Time Embedded Software Simulation Testing Object Framework

2010 ◽  
Vol 143-144 ◽  
pp. 152-155
Author(s):  
Yong Feng Yin ◽  
Bin Liu ◽  
Hong Ying Ni
Keyword(s):  
Software Testing ◽  
Real Time ◽  
Embedded Software ◽  
Automated Testing ◽  
Generation Process ◽  
Practical Application ◽  
The Real ◽  
Test Script ◽  
Simulation Testing ◽  
Testing Field

At present, the automated real-time embedded software testing is a hot topic. Automated testing is essentially based on user programming and how to build test script quickly and effectively is one of the key problems to be resolved. In this paper, the object-oriented and framework technologies are introduced into the real-time embedded software testing field and the real-time testing object framework (RT-TOF) is studied firstly. And then, the test script generation process based on RT-TOF is proposed. Furthermore, the design of RT-TOF is put forward. Finally, the test script sample of the avionics embedded software system testing is given. Practical application of RT-TOF in engineering shows that the method proposed in this paper can improve the efficiency of automated testing greatly and the test script based on RT-TOF has better maintainability and reusability.

Which Spot Should I Test for Effective Embedded Software Testing?

2008 ◽  
Author(s):  
Jooyoung Seo ◽  
Yuhoon Ki ◽  
Byoungju Choi ◽  
Kwanghyun La
Keyword(s):  
Software Testing ◽  
Embedded Software

Loop Transparency for Scalable Dynamic Symbolic Execution

2012 ◽  
Vol 201-202 ◽  
pp. 242-245
Author(s):  
Xiao Li Ji ◽  
Xiao Song Zhang ◽  
Ting Chen ◽  
Xiao Shan Li ◽  
Lei Jiang
Keyword(s):  
Software Testing ◽  
Symbolic Execution ◽  
Test Program ◽  
New Approach ◽  
Code Coverage ◽  
Testing Tool ◽  
Dynamic Symbolic Execution ◽  
Decision Graph ◽  
Dynamic Software ◽  
Number Of Iterations

Dynamic symbolic execution is a promising approach for software analyzing and testing. However, it fails to scale to large programs due to the exponential number of paths to be explored. This paper focus on tackling loop caused path explosion problems and proposes a new approach to reduce paths that produce the same effects. We present a loop transparency strategy that makes use of the decision graph of under test program to discard constraints that produce paths with only a different number of iterations. A dynamic software testing tool LTDse based on loop transparency is designed and evaluated on three benchmarks. The experimental results show that our approach is effective since it can achieve better code coverage or require fewer program executions than traditional strategies.

Sign in / Sign up

Export Citation Format

Share Document