Sökning: "Coverage Criteria"

Visar resultat 1 - 5 av 32 avhandlingar innehållade orden Coverage Criteria.

1. 1. Multi-Criteria Optimization of System Integration Testing

   Författare :Sahar Tahvili; Markus Bohlin; Franz Wotawa; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Testing; Optimization; Integration Testing; Decision Support System; Dependency; Test Scheduling; Requirement Coverage; Computer Science;

   Sammanfattning : Optimizing software testing process has received much attention over the last few decades. Test optimization is typically seen as a multi-criteria decision making problem. One aspect of test optimization involves test selection, prioritization and execution scheduling. LÄS MER

3. 2. Model-Based Test Case Generation for Real-Time Systems

   Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
   Nyckelord :Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

   Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER

4. 3. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

   Författare :Gabriele Paganelli; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

   Sammanfattning : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. LÄS MER

5. 4. Multispectral Remote Sensing and Deep Learning for Wildfire Detection

   Författare :Xikun Hu; Yifang Ban; Ioannis Gitas; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; active fire detection; biome; multi-criteria; Sentinel-2; Landsat-8; burned area mapping; deep learning; semantic segmentation; machine learning.; aktiv branddetektering; biom; multikriterietillvägagångssätt; Sentinel-2; Landsat-8; kartläggning av bränt område; djupinlärning; semantisk segmentering; maskininlärningsmetoderna; Geoinformatik; Geoinformatics;

   Sammanfattning : Remote sensing data has great potential for wildfire detection and monitoring with enhanced spatial resolution and temporal coverage. Earth Observation satellites have been employed to systematically monitor fire activity over large regions in two ways: (i) to detect the location of actively burning spots (during the fire event), and (ii) to map the spatial extent of the burned scars (during or after the event). LÄS MER

7. 5. Infrastructure deployment in unprofitable areas : A techno-economic model for multiple criteria decision analysis under the European Union telecommunications regulatory framework

   Författare :Marco Araújo; Love Ekenberg; João Confraria; Mats Danielsson; Aníbal Duarte; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Information Society; informationssamhället;

   Sammanfattning : In the European Union significant asymmetries prevail among member states in the most diverse areas. The telecom sector is no exception to this, with some members being much more advanced than others. Within the member states asymmetries also occur. LÄS MER