Sökning: "Testing"

Visar resultat 21 - 25 av 3251 avhandlingar innehållade ordet Testing.

  1. 21. Testing an Optimising Compiler by Generating Random Lambda Terms

    Författare :Michal Palka; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming; software testing; random testing; type systems; lambda calculus;

    Sammanfattning : This thesis tries to improve on the relatively uncommon practice of random testing of compilers.Random testing of compilers is difficult and not widespread for two reasons. First, it is hard to come up with a generator of valid test data for compilers, that is a generator of programs. LÄS MER

  3. 22. Structural System-Level Testing of Embedded Real-Time Systems

    Författare :Daniel Sundmark; Henrik Thane; Hans Hansson; Andreas Ermedahl; Insup Lee; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; real-time systems; testing; monitoring; Computer science; Datavetenskap; Datavetenskap;

    Sammanfattning : People make mistakes. Software engineers are no exception to this fact. When software engineers make mistakes, these manifest in the form of buggy software - a major problem in today's industry. LÄS MER

  4. 23. Learning-based Software Testing using Symbolic Constraint Solving Methods

    Författare :Fei Niu; Karl Meinke; Reiner Hähnle; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Testing; Machine learning; Symbolic constraint solving; Model checking;

    Sammanfattning : Software testing remains one of the most important but expensive approaches to ensure high-quality software today. In order to reduce the cost of testing, over the last several decades, various techniques such as formal verification and inductive learning have been used for test automation in previous research. LÄS MER

  5. 24. Language-Based Techniques and Stochastic Models for Automated Testing

    Författare :Claudio Agustin Mista; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated testing; software testing; stochastic methods; meta-programming; functional programming;

    Sammanfattning : As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. LÄS MER

  7. 25. Well Testing, Methods and Applicability

    Författare :Jan-Erik Rosberg; Teknisk geologi; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; slug tests; well completion; re-injection; Well testing; pumping tests; injection tests; well development; pneumatic initiation; hydro-jetting; coiled tubing; tunnel lining; deep wells;

    Sammanfattning : Well testing is widely used today in water wells, oil and gas wells, for geothermal applications, within civil engineering projects, thermal storage and CO2 storage. The overall testing goal is to verify the productivity from a well and/or for characterization of hydraulic and thermal properties, as well as the spatial limitations of an aquifer. LÄS MER