Search for dissertations about: "testing systems"

Showing result 1 - 5 of 805 swedish dissertations containing the words testing systems.

2. 1. Testing for ASP—ASP for Testing

   Author : Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
   Keywords : 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;

   Abstract : 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. READ MORE

4. 2. Falsification of Signal-Based Specifications for Cyber-Physical Systems

   Author : Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation-Based Verification; Testing; Falsification; 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

5. 3. Testing of Heterogeneous Systems

   Author : Nauman Ghazi; Blekinge Tekniska Högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Heterogeneous systems; Information sources; Test selection;

   Abstract : Context: A system of systems often exhibits heterogeneity, for instance in implementation, hardware, process and verification. We define a heterogeneous system, as a system comprised of multiple systems (system of systems) where at least one subsystem exhibits heterogeneity with respect to the other systems. READ MORE

6. 4. Strategic Planning of Knowledge Management Systems : A Problem Exploration Approach

   Author : Jan Aidemark; Harald Kjellin; Peter Révay; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap; Computer and Systems Sciences; data- och systemvetenskap; Knowledge management; Informatics; computer and systems science; Information Systems;

   Abstract : Knowledge management (KM) is focused on the problems and opportunities of using organizational knowledge as a resource. Information systems that are used to support KM processes are called knowledge management systems (KMS). READ MORE

7. 5. An Integrated System-Level Design for Testability Methodology

   Author : Erik Larsson; Zebo Peng; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Digital systems; Test design; System-on-chip; Hardware; Systems design; Testing; Dissertations; Hårdvara; Systemutveckling; Testning; Databehandling Systemutveckling; Computer and systems science; Data- och systemvetenskap;

   Abstract : HARDWARE TESTING is commonly used to check whether faults exist in a digital system. Much research has been devoted to the development of advanced hardware testing techniques and methods to support design for testability (DFT). READ MORE