Concolic test generation and the cloud: Deployment and verification perspectives - Archive ouverte HAL Access content directly
Book Sections Year : 2014

Concolic test generation and the cloud: Deployment and verification perspectives

(1)
1

Abstract

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.
Not file

Dates and versions

cea-01818538 , version 1 (19-06-2018)

Identifiers

Cite

N. Kosmatov. Concolic test generation and the cloud: Deployment and verification perspectives. Cloud Technology: Concepts, Methodologies, Tools, and Applications, 1, IGI Global, pp.302-322, 2014, 9781466665408; 1466665394; 9781466665392. ⟨10.4018/978-1-4666-6539-2.ch014⟩. ⟨cea-01818538⟩

Collections

CEA DRT LIST
21 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More