Sökning: "Black box"

Visar resultat 1 - 5 av 93 avhandlingar innehållade orden Black box.

  1. 1. Automating Black-Box Property Based Testing

    Detta är en avhandling från Chalmers University of Technology

    Författare :Jonas Duregård; Chalmers tekniska högskola.; Chalmers University of Technology.; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    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 test cases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. LÄS MER

  2. 2. Towards Automated Software Testing Techniques, Classifications and Frameworks

    Detta är en avhandling från Karlskrona : Blekinge Institute of Technology

    Författare :Richard Torkar; Blekinge Tekniska Högskola.; [2006]
    Nyckelord :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

  3. 3. Empirical Studies of Software Black Box Testing Techniques : Evaluation and Comparison

    Detta är en avhandling från Karlskrona : Blekinge Institute of Technology

    Författare :Richard Torkar; Blekinge Tekniska Högskola.; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    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. Normally, a software engineer goes through a certain process to establish that the software follows a given specification. LÄS MER

  4. 4. Random Structured Test Data Generation for Black-Box Testing

    Detta är en avhandling från Chalmers University of Technology

    Författare :Michal H. Palka; Chalmers tekniska högskola.; Chalmers University of Technology.; [2014]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : We show how automated random testing can be used to effectively find bugs in complex software, such as an optimising compiler. To test the GHC Haskell compiler we created a generator of simple random programs, used GHC to compile them with different optimisation levels, and then compared the results of running them. LÄS MER

  5. 5. Opening the Black Box of Community-Based Injury Prevention Programmes Towards Improved Understanding of Factors that Influence Programme Effectiveness

    Detta är en avhandling från Institutionen för hälsa och samhälle

    Författare :Per Nilsen; Linköpings universitet.; Linköpings universitet.; [2006]
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Community-based; injury prevention; programmes; evaluation; effectiveness; Samhällsbaserad; skadeprevention; program; utvärdering; effektivitet; MEDICINE Social medicine Public health medicine research areas Public health science; MEDICIN Socialmedicin Folkhälsomedicinska forskningsområden Folkhälsovetenskap;

    Sammanfattning : Despite wide application of community-based programmes to prevent injuries and promote health over the last 25 years, there is a paucity of evaluations from which to obtain evidence regarding the effectiveness and critical factors contributing to achieving effectiveness of these programmes. Research on community-based injury prevention programmes thus far has been driven by the question “does it work?” However, merely establishing whether a programme works or not provides insufficient information to generate new knowledge about these programmes. LÄS MER