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

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.

<p>This thesis concludes the evaluation of a new high level programming language for stream applications, StreamBits. The goal with the project is to evaluate the programmability, with the focus on expressing machine-independent parallelism and bit-level computations in StreamBits. As of now, the programming language is prototyped in a Java framework. This project also involves improvement and expansion of this framework.</p><p>An examination of the framework was conducted. The conclusions of this examination was the foundation of the changes implemented in the framework during the improvement and expansion part of this project. Evaluation experiments were done using the improved version of the framework. The evaluation was based on a comparison of programs implemented in StreamBits and another programming language typically used by industry for this kind of applications. The focus of the evaluation was to evaluate how well the new data-types and stream constructs of StreamBits can be used and expressed compared to other languages.</p><p>The results are partly the improvements and expansion of the framework, partly the results of the tests conducted during the evaluation. Results show that the new data-types and stream constructs of StreamBits are valuable additions to a stream programming language. The data-types and stream constructs assists the programmer to write source code that is not closely bound to a specific architecture.</p>

This thesis concludes the evaluation of a new high level programming language for stream applications, StreamBits. The goal with the project is to evaluate the programmability, with the focus on expressing machine-independent parallelism and bit-level computations in StreamBits. As of now, the programming language is prototyped in a Java framework. This project also involves improvement and expansion of this framework. An examination of the framework was conducted. The conclusions of this examination was the foundation of the changes implemented in the framework during the improvement and expansion part of this project. Evaluation experiments were done using the improved version of the framework. The evaluation was based on a comparison of programs implemented in StreamBits and another programming language typically used by industry for this kind of applications. The focus of the evaluation was to evaluate how well the new data-types and stream constructs of StreamBits can be used and expressed compared to other languages. The results are partly the improvements and expansion of the framework, partly the results of the tests conducted during the evaluation. Results show that the new data-types and stream constructs of StreamBits are valuable additions to a stream programming language. The data-types and stream constructs assists the programmer to write source code that is not closely bound to a specific architecture.