Search for dissertations about: "computer testing"
Showing result 1 - 5 of 465 swedish dissertations containing the words computer testing.
-
1. Beyond-application datasets and automated fair benchmarking
Abstract : Beyond-application perception datasets are generalised datasets that emphasise the fundamental components of good machine perception data. When analysing the history of perception datatsets, notable trends suggest that design of the dataset typically aligns with an application goal. READ MORE
-
2. Server-Aided Privacy-Preserving Proximity Testing
Abstract : Proximity testing is at the core of many Location-Based online Services (LBS) which we use in our daily lives to order taxis, find places of interest nearby, connect with people. Currently, most such services expect a user to submit his location to them and trust the LBS not to abuse this information, and use it only to provide the service. READ MORE
-
3. Functional EDSLs for Web Applications
Abstract : This thesis aims to make the development of complex web applications easier, faster and safer through the application of strongly typed functional programming techniques. Traditional web applications are commonly written in the de facto standard language of the web, JavaScript, which, being untyped, provides no guarantees regarding the data processed by programs, increasing the burden of testing and defensive programming. READ MORE
-
4. Model-Based Protocol Testing in an Erlang Environment
Abstract : Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. READ MORE
-
5. Falsification of Signal-Based Specifications for Cyber-Physical Systems
Abstract : In the development of software for modern Cyber-Physical Systems, testing is an integral part that is rightfully given a lot of attention. Testing is done on many different abstraction levels, and especially for large-scale industrial systems, it can be difficult to know when the testing should conclude and the software can be considered correct enough for making its way into production. READ MORE