<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.

WebGL is a standard for drawing graphics in a web browser. Currently it isn’t widely understood how consistently WebGL performs across a majority of the de- vices that support it. Determining if an image looks correct to a human observer is an interesting problem. The solution for this is useful when developing WebGL applications, since a developer could make better informed decisions during de- velopment. The differences in capability between WebGL implementations are studied, and a few factors are selected that likely will contribute to variations in the rendered output. These factors are found by studying the WebGL specification documen- tation, and in the cases where it is ambiguous, further, authorative sources have contributed to the choice of factors studied. A prototype testing system is developed, including a tool for simulating imple- mentation differences. Two image processing algorithms are evaluated for their suitability in an automatic testing system. For testing, four test cases are devel- oped. The testing system is run with the test cases on wide range of devices, both mobile and desktop. The results show that image processing is not suitable alone the source for deter- mining a test success or failure. However, some promise is shown in using image processing as one component in a fully automatic testing system. Furthermore, developing test cases that perform as the test constructor intends is proven to be a challenge in itself.

Due to the huge amount of smart-phone applications available nowadays,there is a need to check them in order to know if they are trustworthy, efficientand reliable. Furthermore, research on smart-phones is really intensive,so it is important to be able to easily profile applications and collect datathat researchers can use. In this thesis we have focused on Android gamesas they represent a big portion of Android applications and Android is themost used mobile operative system nowadays. The thesis work can be divided in two main tasks. The first task consistsof research on Android games in order to know how they are developed,which game design engines are used nowadays and how can we automatisethe execution of Android applications and, in particular, games. The secondstep consists of development of a program called Monkey Gamer that canplay Android games automatically and collect execution traces of the game. The Monkey Gamer analyses the screen shown on a device, recognises theplaces where the user should touch, and interacts with them. Then, consideringeach screen as a state of a state machine, the program tries to coverthe whole game, generating the highest possible number of execution traces. In order to test our solution we have compared the traces generated bythe Monkey Gamer with the ones obtained by some real players, achievinga significant similarity. The tests were executed on three games, coveringdifferent categories and implementation solutions.

The development of software today, the company has their own test system usually. Because there has a few bugs in the every software. And it will make the damage of company¡¦s property or security of information. We can find the bugs in the software by the test systems. But the few bugs will appear repeatedly even if you have been fixed it. In this time, it will be effective if we use the automatic test systems. They can solve the waste of time and cost. Appearance of the automatic test system has been solved the defect of the test method in the past. In this paper will mention two kind of automatic test systems, one of them is concolic testing, and another is random testing. In the 2009, there had the few of evidence to discuss that the concolic testing was more effective than the random testing, but there wasn¡¦t have the enough demonstration. So I hope to prove that the effectiveness comparison between concolic and random testing by this paper.

Korat is an existing technique for test input generation using imperative constraints that describe properties of desired inputs written as Java predicates, termed RepOk methods, which are executable checks for those properties. Korat efficiently prunes the space of candidate inputs for the RepOk method by executing it on candidate inputs and monitoring the object fields that RepOk accesses in deciding if the properties are satisfied. While Korat generates inputs effectively, its correctness and efficiency rely on two assumptions about the RepOk methods. For correctness, Korat assumes the RepOk methods do not use the Java reflection API for field accesses; the use of reflection renders Korat unable to enumerate all desired inputs. For efficiency, Korat assumes the RepOk methods do not make unnecessary field accesses, which can reduce the effectiveness of Korat’s pruning. Our thesis addresses both these limitations. To support reflection, we build on the core Korat to enhance it such that it can monitor field accesses based on reflection. To assist the users with writing RepOk’s, we introduce a static analysis tool that detects potential places where the input RepOk may be edited to enhance performance of Korat. We also present experimental results using a suite of standard data structure subjects. / text

Thesis(M.S.)--Auburn University, 2005. / Abstract. Vita. Includes bibliographic references (p.91-96).

One of the problems when developing software is the difficulty of knowing how much that is done in a project. This is a basic condition to be able to estimate the remaining efforts with increased accuracy over time. To get accurate progress information it is important that the progress tracking is done in an objective way and also in an as simple way as possible. Our focus in this work has been software projects in general but a case study has also been performed at Ericsson Software Technology AB in Ronneby. We have studied the organization and performed interviews with project managers to find out if this really is a problem and if the process can be improved in some way to ease the task of progress tracking. This case study together with our literature study has resulted in a proposition for a solution. Our approach has been to use automated testing as a way to make progress tracking more objective. The result presented in this thesis is a base for a system that could ease the tracking of progress. In short, the system extracts information from an automated testing process and compares it with estimated figures to be able to automatically generate progress information. / 0708-574327

This work presents a novel methodology for evaluation of in service loads applied to the output shafts of automatic transmissions. It also presents a novel methodology of data reduction for shaft load signals as an alternative to the cycle counting methods. Current durability testing of automatic transmission output shafts uses 50 000 stall torque cycles from zero to wide open throttle. In the majority of cases, these requirements lead to an over design that can result in an unnecessarily bulky transmission system. As a solution to this problem a novel methodology for evaluation of loads applied to the output shafts of automatic transmissions was developed. The methodology is based on real world loading conditions and therefore leads to a more realistic estimation of the fatigue life of shafts. The methodology can be used as a tool for shaft optimisation in different drive conditions. Using the developed methodology the effects of different road conditions on the fatigue life of a transmission output shaft were compared. Four routes having differing driving conditions were investigated and of those routes, the route with most stop-start events resulted in the greatest reduction in fatigue life. A novel methodology of data reduction for shaft load signals was also developed. The methodology is based on knowledge of the bandwidth and dynamic range of the expected in-service load signal. This novel methodology allows significant reduction of the volume of data to be acquired. It preserves the time sequence of peaks and valleys of the signal, which is vital in the case of fatigue analysis. This is in contrast to current methods based on cycle counting. Cycle counting methods achieve high data reduction but do not preserve the time sequence of the signal. The developed novel methodology has been validated on the newly developed data acquisition system capable of real time data acquisition and compression of shaft torque signal. The performed tests show that the proposed one-channel low cost system equipped with 1 GB compact flash card can store well over 10 000 hrs of load history.

Thesis (M.S.)--Auburn University, 2008. / Abstract. Vita. Includes bibliographical references (p. 104-106).