Download fulltext - DiVA Portal

Abstract
Software verification is an important part of software development and the
most practical way to do this today is through dynamic testing. This report
explains concepts connected to verification and testing and also presents the
testing-framework Trassel developed during the writing of this report.
Constructing domain specific languages and tools by using an existing
language as a starting ground can be a good strategy for solving certain
problems, this was tried with Trassel where the description-language for
writing test-cases was written as a DSL using Python as the host-language.
Keywords: software verification, unit-testing, domain specific languages,
embedded platform, firmware, testing framework.
ii