Sökning: "test programs"
Visar resultat 1 - 5 av 168 avhandlingar innehållade orden test programs.
1. Thermal response test : numerical simulations and analyses
Sammanfattning : When constructing large borehole heat exchanger (BHE) systems, bedrock and borehole thermal properties are vital for a good design. Today's design programs presume conductive heat transfer in both borehole and bedrock. LÄS MER
2. Automatic test generation for industrial control software
Sammanfattning : Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. LÄS MER
3. Mechanistic-Empirical Modelling of Flexible Pavement Performance : Verifications Using APT Measurements
Sammanfattning : Mechanistic-Empirical (M-E) pavement design procedures are composed of a reliable response model to estimate the state of stress in the pavement and distress models in order to predict the different types of pavement distresses due to the prevailing traffic and environmental conditions. One of the main objectives of this study was to develop a response model based on multilayer elastic theory (MLET) with improved computational performance by optimizing the time consuming parts of the MLET processes. LÄS MER
4. Beyond “test and treat” : Malaria diagnosis for improved pediatric fever management in sub-Saharan Africa
Sammanfattning : This thesis examined malaria test use, adherence and integration into clinical practice for improved pediatric fever management in sub-Saharan African countries and explored Access, Facility Readiness and Clinical Practice bottlenecks to achieve this program goal.Study I examined diagnostic testing rates and its determinants for pediatric fevers across 13 countries in 2009-2012 including Access bottlenecks. LÄS MER
5. Lightweight verification of functional programs
Sammanfattning : We have built several tools to help with testing and verifying functional programs. All three tools are based on QuickCheck properties. Our goal is to allow programmers to do more with QuickCheck properties than just test them. LÄS MER