Automated test generation for software components
| dc.contributor | Aalto-yliopisto | fi |
| dc.contributor | Aalto University | en |
| dc.contributor.author | Kähkönen, Kari | |
| dc.contributor.department | Department of Information and Computer Science | en |
| dc.contributor.department | Tietojenkäsittelytieteen laitos | fi |
| dc.contributor.school | Faculty of Information and Natural Sciences | en |
| dc.contributor.school | Informaatio- ja luonnontieteiden tiedekunta | fi |
| dc.date.accessioned | 2011-11-28T13:24:50Z | |
| dc.date.available | 2011-11-28T13:24:50Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | This report presents a method developed as a part of the LIME-project (Lightweight formal Methods for distributed component-based Embedded systems) for generating test cases for software components. The main technique employed in this work is dynamic symbolic execution, where a program is executed both concretely and symbolically at the same time. During an execution a set of symbolic constraints is collected describing the input values that will force the program to follow an unexplored execution path. By solving the collected constraints new input values are obtained allowing each test run to exercise different behaviour of the program. Based on the methods developed in this work, a tool has been implemented that can be used for automated testing of sequential Java programs. | en |
| dc.format.extent | 46 | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.isbn | 978-952-248-281-5 | |
| dc.identifier.issn | 1797-5042 | |
| dc.identifier.uri | https://aaltodoc.aalto.fi/handle/123456789/904 | |
| dc.identifier.urn | urn:nbn:fi:tkk-013096 | |
| dc.language.iso | en | en |
| dc.publisher | Helsinki University of Technology | en |
| dc.publisher | Teknillinen korkeakoulu | fi |
| dc.relation.ispartofseries | TKK reports in information and computer science | en |
| dc.relation.ispartofseries | 26 | en |
| dc.subject.keyword | automated testing | en |
| dc.subject.keyword | dynamic symbolic execution | en |
| dc.subject.other | Computer science | en |
| dc.title | Automated test generation for software components | en |
| dc.type | D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys | fi |
| dc.type.dcmitype | text | en |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- isbn9789522482815.pdf
- Size:
- 798.52 KB
- Format:
- Adobe Portable Document Format
