Avancerad sökning

Visar resultat 1 - 5 av 3251 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Testing for ASP—ASP for Testing

   Författare :Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Logic Programming; Answer-Set Programming; Mutation Testing; Random Testing; Structural Testing; Unit Testing; Program Annotations; Combinatorial Interaction Testing; Event-Sequence Testing; Programming Support;

   Sammanfattning : Answer-set programming (ASP) is a prominent approach for declarative problem solving with roots in non-monotonic reasoning, knowledge representation, and logic programming. As a problem solving paradigm, it means that properties of problem solutions are modelled using declarative rules so that an ASP solver can then be used to search for solutions which are referred to as answer sets. LÄS MER

3. 2. Towards Collaborative GUI-based Testing

   Författare :Andreas Bauer; Emil Alégroth; Mikael Svahnberg; Gregory Gay; Blekinge Tekniska Högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software testing; GUI testing; GUI-based testing; collaborative testing; code review; Systemteknik; Systems Engineering;

   Sammanfattning : Context:Contemporary software development is a socio-technical activity requiring extensive collaboration among individuals with diverse expertise.Software testing is an integral part of software development that also depends on various expertise. LÄS MER

4. 3. Towards feminist health empowerment for self-testing apps : testing for dementia

   Författare :Alexandra Kapeller; Jelmer Brüggemann; Lisa Guntram; Kristin Zeiler; Federica Lucivero; Linköpings universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Self-testing apps; MHealth; Empowerment; Phenomenology; Dementia; Självtest-appar; Mobilhälsa; Empowerment; Fenomenologi; Demens;

   Sammanfattning : Health empowerment, the idea to enable people to assume more control over their health decisions, has been a buzzword in health care organisation and has recently received even more attention through the popularisation of mobile health (mHealth) apps. One form of mHealth are self-testing apps, which offer users to test themselves for medical conditions as severe as dementia and Parkinson’s disease. LÄS MER

5. 4. Distributed vehicle testing : dynamic simulation for automotive winter testing

   Författare :Mikael Nybacka; Luleå University of Technology; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Today, rather than provide parts similar to their competitors and rely on one or two automakers, successful automotive component suppliers focus heavily on innovation and collaboration with several manufacturers in a global market. In this thesis, an as-is scenario for automotive winter testing is presented. LÄS MER

7. 5. Distributed vehicle testing : dynamic simulation for automotive winter testing

   Författare :Mikael Nybacka; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Funktionella produkter; Functional Product Development;

   Sammanfattning : Today, rather than provide parts similar to their competitors and rely on one or two automakers, successful automotive component suppliers focus heavily on innovation and collaboration with several manufacturers in a global market. In this thesis, an as-is scenario for automotive winter testing is presented. LÄS MER