Sökning: "Black box"

Visar resultat 1 - 5 av 99 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. Opening the black box of material criticality heterogeneity and interrelations of companies within and across industrial sectors

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Yulia Lapko; KTH.; [2018]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Critical materials; Identification; Mitigation; Company; Supply chain; Inter-sectoral competition; Buyer-supplier power relations; Industrial Economics and Management; Industriell ekonomi och organisation;

    Sammanfattning : The concept of ‘material criticality’ has been introduced to examine availability and accessibility of natural resources that underlie industrial competitiveness and deployment of strategic technologies, such as electric mobility or wind turbines. The academic and policy discourse conceptualised material criticality rather as a black box, assuming industrial sectors to be monolithic, homogeneous and independent entities, neglecting complexity of the company dimension. LÄS MER

  4. 4. 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

  5. 5. 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