Sökning: "testing box"

Visar resultat 1 - 5 av 54 avhandlingar innehållade orden testing box.

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

   Författare :Richard Torkar; []
   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. 2. Property-based testing for functional programs

   Författare :Nicholas Smallbone; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

   Sammanfattning : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. LÄS MER

4. 3. Automating Black-Box Property Based Testing

   Författare :Jonas Almström Duregård; Chalmers tekniska högskola; []
   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 testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. LÄS MER

5. 4. Analysis of Response and Development of Permanent Deformation of Unbound Granular Materials Using a Testing Box Technique

   Författare :Ebrahim Parhamifar; Trafik och väg; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Unbound granular materials; testing box; response; permanent deformation;

   Sammanfattning : The main objective of this thesis is to study the response and development of permanent deformation in unbound granular materials, theoretically and experimentally. A testing box technique is used here to more closely simulate the behaviour of unbound aggregates subjected to external vertical loading. LÄS MER

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