System for firmware verification
Institution: | Linnæus University |
---|---|
Department: | |
Year: | 2009 |
Keywords: | software verification; unit-testing; domain specific languages; embedded platform; firmware; testing framework; Natural Sciences; Computer and Information Science; Computer Science; Naturvetenskap; Data- och informationsvetenskap; Datavetenskap (datalogi); TECHNOLOGY; Information technology; Computer science; TEKNIKVETENSKAP; Informationsteknik; Datavetenskap; Computer Engineering; Datorteknik; teknik; Technology |
Record ID: | 1331480 |
Full text PDF: | http://urn.kb.se/resolve?urn=urn:nbn:se:hik:diva-2372 |
Software verification is an important part of software development and themost practical way to do this today is through dynamic testing. This reportexplains concepts connected to verification and testing and also presents thetesting-framework Trassel developed during the writing of this report.Constructing domain specific languages and tools by using an existinglanguage as a starting ground can be a good strategy for solving certainproblems, this was tried with Trassel where the description-language forwriting test-cases was written as a DSL using Python as the host-language.