Sökning: "white box"

Visar resultat 1 - 5 av 10 avhandlingar innehållade orden white box.

  1. 1. Towards Automated Software Testing : Techniques, Classifications and Frameworks

    Författare :Richard Torkar; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

    Sammanfattning : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. LÄS MER

  2. 2. Automating Black-Box Property Based Testing

    Författare :Jonas Almström Duregård; Chalmers University of Technology; []

    Sammanfattning : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. LÄS MER

  3. 3. Following the white rabbit : release and regulation of HMGB1 in inflammation

    Författare :Agnieszka Sowinska; Karolinska Institutet; Karolinska Institutet; []

    Sammanfattning : Dysregulated inflammatory responses are characterized by excessive release of endogenous pro-inflammatory molecules, danger-associated molecular patterns (DAMPs). A prototypical DAMP, High Mobility Group Box 1 protein (HMGB1), is primarily bound to DNA in the nucleus of most eukaryotic cells. LÄS MER

  4. 4. Parameter Estimation in Linear Descriptor Systems

    Författare :Markus Gerdin; Linköpings universitet; []
    Nyckelord :differential-algebraic equations; descriptor systems; identification; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Linear descriptor systems form the natural way in which linear models of physical systems are delivered from an object-oriented modeling tool like Modelica. Linear descriptor systems are also known as linear differential-algebraic equations in the continuous-time case. LÄS MER

  5. 5. Towards a Power and Performance Simulation Framework for Parallel DSP Architecture

    Författare :Minh Quang Do; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; DSP architecture; Power estimation models; Power estimation simulation;

    Sammanfattning : High performance, low power and low cost will continue to be driving factors for digital signal processor (DSP) and embedded computer systems of the future. Recent improvements of semiconductor technology have led to faster circuits, higher density, and smaller dimensions. LÄS MER