Skip to Main content Skip to Navigation
Book sections

Concolic test generation and the cloud: Deployment and verification perspectives

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.
Document type :
Book sections
Complete list of metadata
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Tuesday, June 19, 2018 - 11:24:11 AM
Last modification on : Saturday, June 25, 2022 - 9:11:29 PM





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⟩



Record views