Automatic testing of StreamBits

This thesis aims to develop an automatic testing tool for StreamBits, a programming language for parallel stream processing, currently being developed by Jerker Bengtsson at Halmstad University as part of his PhD project. StreamBits is an extension of StreamIT, developed at Massachusetts Institute of Technology(MIT), to include features that make it more suitable for 3G baseband applications. The cost of verifying the functionality of software has lead to the development of several tools for automatizing the testing process. These tools are all language specific, therefore a tool for StreamBits needs to be developed. This is done by evaluating the techniques used in other test tools designed for other programming languages and use this information to create a test tool suitable for StreamBits. The goal is to make a user friendly tool with capability of performing both specification tests and verification of stream rates. The results of our project are a well functioning specification based testing tool implemented as a package in the Java StreamBits framework. The tool can test properties of programs using specifications written as Java predicates and can verify stream rates for single threaded parts of StreamBit programs. The tool can also handle, and perform tests on StreamBit programs that cause the framework to stall. For each test performed a detailed log is generated including results from the specification test and stream rate test