Sökning: "Property Based Testing"

Visar resultat 1 - 5 av 51 uppsatser innehållade orden Property Based Testing.

  1. 1. Java Auto Grader

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Shahm Abdulrazzak; Tor Mattsson; [2023]
    Nyckelord :Property-based Testing. JUnit Quick-Check. Automation. Auto grader. Test generator. Programming. Java.;

    Sammanfattning : The process of grading code submissions in programming courses is time-consuming and error-prone. To address this issue, we propose a project that automates the testing and grading process for Java code submissions at Halmstad University. LÄS MER

  3. 2. Method Development & Analysis of Seals using FEM

    Master-uppsats, KTH/Maskinkonstruktion

    Författare :Lovisa Svanborg Östlin; [2023]
    Nyckelord :FEM; guidelines; hyperelastic materials; hyperelastic material models; method development; seals; FEM; riktlinjer; hyperelastiska material; hyperelastiska materialmodeller; metodutveckling; tätningar;

    Sammanfattning : Hyperelasticity is a significant property of rubber, taken advantage of in engineering applications. A common application is the use of seals to prevent fluid transfer (liquid or gas) between solid regions. Volvo CE is often depending on external supplier when developing seals. LÄS MER

  4. 3. Evaluation of five hardwood species from Zambia to produce fuel pellets for cooking purposes : Study with a single pellet press including pellet production, post production testing and X-ray examinations

    Kandidat-uppsats, Karlstads universitet/Avdelningen för energi-, miljö- och byggteknik

    Författare :Annika Silvennoinen; [2023]
    Nyckelord :Pelletizing; Pellet Production; Wood Species; X-Ray examinations; Pelletisering; Pelletstillverkning; Träslag; Röntgenundersökningar;

    Sammanfattning : 81% of the population in sub-Saharan Africa relies on charcoal and firewood to cover their energy needs for cooking. In Africa charcoal is usually produced by burning tree in a traditional kilns and then the food is cooked with a carbon-fired stoves indoors. LÄS MER

  5. 4. Simulation and Testing of a MU-MIMO Beamforming System

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Nazyar Mehdishishavan; Zonghan Wang; [2023]
    Nyckelord :Multi-User Multiple-Input Multiple-Output MU-MIMO ; Beamforming; Sounding Reference Signal SRS ; Reciprocity-based; Butler matrix; Advanced Antenna System AAS ; Technology and Engineering;

    Sammanfattning : Multi-User Multiple-Input Multiple-Output (MU-MIMO) technology has become increasingly important in the field of wireless communication due to its ability to highly increase the capacity and efficiency of wireless networks [1]. Beamforming, as a technique used in MU-MIMO systems, improves network performance by improving signal quality and reducing interference. LÄS MER

  7. 5. The Paradigm Shift for Substations Technology within Wind Power Applications from Onshore to Floating

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Ahmad Talaat Hifzy; [2023]
    Nyckelord :Floating; offshore; substation; transformer; GIS; equipment; high-voltage; fatigue; Flytande; havsbaserad; station; transformator; GIS; utrustning; högspänning; utmattning;

    Sammanfattning : Floating wind turbines are attracting more attention as more than three-quarters of the total offshore technical potential is located in deep water, leading to a growing trend in floating wind farm projects. Consequently, it becomes necessary to develop Floating Offshore Substation (FOSS) to step up voltage and efficiently transmit power to the shore with minimal losses. LÄS MER