Sökning: "Test Case Generation"

Visar resultat 1 - 5 av 83 avhandlingar innehållade orden Test Case Generation.

1. 1. 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

3. 2. Reprocessing historical tailings for possible remediation and recovery of critical metals and minerals : The Yxsjöberg case

   Författare :Jane Mwaba Mulenshi; Jan Rosenkranz; Saeed Chehreh Chelgani; Urs Peuker; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mining waste; Historical tailings; Conceptual framework; Critical raw materials; Tungsten; Scheelite; Characterization; Mineral liberation analysis; Beneficiation; Reprocessing; Mineral Processing; Mineralteknik; Centrumbildning - Centrum för avancerad gruvteknik och metallurgi CAMM ; Centre - Centre for Advanced Mining Metallurgy CAMM ;

   Sammanfattning : With increasing consumption of primary mineral resources, the generation of mining wastes has also increased thus requiring the mining industry to address the growing environmental concerns. Waste rock and tailings are potential secondary sources of critical raw materials currently in short supply in the European Union, but also a source for environmental issues like acid mine drainage. LÄS MER

4. 3. Model-based test case selection and generation for real-time systems

   Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Testing is the dominating verification technique used in industry today, and many man-hours and resources are invested in the testing of software products. To cut down the cost of testing, automated test execution becomes more and more popular. LÄS MER

5. 4. Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning

   Författare :Stefan Marksteiner; Marjan Sirjani; Mikael Sjödin; Mohammad Reza Mousavi; Mälardalens universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning : Automotive systems are not only becoming more open through developments like advanced driving assistance functions, autonomous driving, vehicle-to-everything communication and software-defined vehicle functionality, but also more complex. At the same time, technology from standard IT systems become frequently adopted in this setting. LÄS MER

7. 5. Stimuli Generation Techniques for On-Chip Mixed-Signal Test

   Författare :Shakeel Ahmad; Jerzy Dabrowski; Torkel Arnborg; Linköpings universitet; []
   Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

   Sammanfattning : With increased complexity of the contemporary very large integrated circuits the need for onchip test addressing not only the digital but also analog and mixed-signal RF blocks has emerged. The standard production test has become more costly and the instrumentation is pushed to its limits by the leading edge integrated circuit technologies. LÄS MER