Search for dissertations about: "path testing techniques"

Showing result 1 - 5 of 16 swedish dissertations containing the words path testing techniques.

  1. 1. Techniques for Automatic Generation of Tests from Programs and Specifications

    Author : Jon Edvardsson; Mariam Kamkar; Maud Göthe-Lundgren; Jeff Offutt; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; automatic test data generation; partition testing; constraint solving; program coverage; specification coverage; Software engineering; Programvaruteknik;

    Abstract : Software testing is complex and time consuming. One way to reduce the effort associated with testing is to generate test data automatically. This thesis is divided into three parts. In the first part a mixed-integer constraint solver developed by Gupta et. READ MORE

  2. 2. Path Integral studies of quantum systems at finite temperatures

    Author : Sergei Ivanov; Alexander Lyubartsev; Ben Leimkuhler; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; path integral; molecular dynamics; algorithms; quantum simulations; Physical chemistry; Fysikalisk kemi;

    Abstract : This thesis presents and develops the path integral simulation techniques in application to small quantum systems at finite temperatures. The first goal is to obtain exact thermodynamic expressions for systems of noninteractingThe rest and the major part of the thesis is dedicated to the development and testing of Bead-Fourier path integral molecular dynamics. READ MORE

  3. 3. Fracture and Delamination in Packaging Materials : A Study of Experimental Methods and Simulation Techniques

    Author : Md Shafiqul Islam; Sharon Kao-Walter; Christian Johansson Askling; Martin Kroon; Blekinge Tekniska Högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; packaging materials and laminates; shear test specimen; essential work of fracture; finite element simulation; optimization; tearing; peel; polymers; cohesive zone modelling;

    Abstract : Packages are the means of preservation, distribution and convenience of use for food, medicine and other consumer products. The introduction of a new package-opening technique for a better opening experience requires additional prototype development and physical testing. READ MORE

  4. 4. Multi-scale fabric evolution during hydro-mechanical probing of fine-grained soils

    Author : Georgios Birmpilis; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; X-ray Computed Tomography; clay fabric; geomechanical testing; sensitive clays; X-ray Scattering;

    Abstract : The majority of the studies on sensitive clays so far have focused on the hydro-mechanical response at engineering scale, using concepts from continuum mechanics. The fundamental mechanisms at particle scale, underpinning the emerging response, have so far been studied with post mortem analyses. READ MORE

  5. 5. Design of Functional Structures and Measurement Techniques for Electromagnetic Waves

    Author : Johan Lundgren; Teoretisk elektroteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; functional structures; frequency selective structures; polarization selectivity; metasurface; near-field measurements; antenna measurements; scattering measurement; power density; random media;

    Abstract : Electromagnetic fields exist all around us. Through evolution, nature has developed tools to interact and use these fields, where our eyes are a spectacular example. Humans have a long history of developing structures and objects of their own to alter and interact with these fields. READ MORE