Implementing extended functionality for an HTML5 client for remote desktops
Samuel Mannehed
Avancerad (30hp)
kl 13:15, Donald Knuth (In English)
[Abstract]The arising demand to be able to work and use applications where ever you go dictates the need to be able to connect remotely to desktops. This challenge is addressed by so called remote desktop applications that allows the user to locally view and control a remote computer. Such a solution requires installation of specialized software on both the remote computer and the local computer. The software on the local computer is the client software. Most implementations of such client software are native clients which are software packages installed on the client machine. A logical evolution path for remote desktop clients is the shift to a web browser version that will not require the installation of any specific software.
HTML5 is an upcoming standard and markup language for the world wide web. HTML5 brings new features which open up new possibilities for web developers. The potential of HTML5 technologies draw remote desktop developers' attention. New HTML5 versions of remote desktop clients have started to appear due to this.
However, these new realizations are limited and far from being powerful enough to replace native clients. Thus, it is still completely unknown whether an HTML5-based remote desktop client have possibilities to replace native remote desktop clients. The goal of this thesis was to address this knowledge gap. Essential technical features for remote desktop solutions were investigated in the context of an HTML5 client. Functionality was implemented and tested, and future development was evaluated.
The resulting features that were implemented along with the evaluated future features were subject to some limitations inherited by the HTML5 platform. As a result of this work, it was concluded that it is not possible to achieve features with the same level of functionality as the features seen in the native clients. In order to accomplish this, the browsers would have to implement specific interfaces for the required hardware and systems. These limitations prevent complete replacement of native remote desktop clients with a HTML5 based client in the near future. However, the HTML5 client have a dedicated area were it's features fill their purpose. The HTML5 client is available where the native clients are not. The browser platform bring unprecedented accessibility advantages. |
Improving Quality of Avionics Software Using Mutation Testing
John Törnblom
Avancerad (30hp)
kl 10:15, Muhammad al-Khwarizmi (In English)
[Abstract]Mutation testing is a powerful fault-based testing technique that makes syntactic changes to a program under test in order to simulate real faults otherwise caused by a programmer. Similar to structural coverage criteria such as statement coverage, mutation testing is used to assess the quality of a test suite. After a syntactic change has been made, the program is referred to as a mutant that either can survive a test suite, or be killed by one. If a mutant is killed, it means that the test suite has detected the syntactic change and reported it as an error, resulting in an increased mutation score. If a mutant survives, it means that the test suite failed to detect the fault and the mutation score is decreased.
Mutation testing is generally considered the strongest testing technique available in terms of fault detection, but also the most expensive one. However, thanks to recent research and the rapid development of computing hardware, the testing technique is starting to become feasible, motivating the creation of tools utilizing the power of mutation testing.
Saab AB, the Swedish aircraft manufacturer and stakeholder in this thesis, has experimented with mutation testing in the past, resulting in a tool called BAX that creates textual modifications of the original source code. The initial goal of this thesis is to provide a new tool that is faster than BAX, and that is more systematic in the way mutants are generated.
LLVM-P86, the main contribution of this thesis, is a compiler and mutation testing framework intended for the programming language Pascal-86. Unlike BAX, LLVM-P86 is able to encode several mutants into a single program, thus reducing the time spent on compiling source code. In the conducted experiments, LLVM-P86 processed mutants significantly faster than BAX, on average by a factor of 13.6.
Since LLVM-P86 is also a compiler, proper type information is available when mutants are generated. The additional type information allows LLVM-P86 to detect a significant amount of equivalent mutants, i.e. mutants that behave in the same way as the original program. When mutating relational operators found in approximately 10,000 lines of code, distributed amongst 18 different Pascal-86 modules, LLVM-P86 was able to reduce the total number of living mutants by 25%, or 5.7% of the complete set of mutants. |
Swedish web site
