Sökning: "Black-Box Testing"
Visar resultat 1 - 5 av 23 avhandlingar innehållade orden Black-Box Testing.
1. Automating Black-Box Property Based Testing
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
2. Towards Automated Software Testing : Techniques, Classifications and Frameworks
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. Empirical Studies of Software Black Box Testing Techniques : Evaluation and Comparison
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. Random Structured Test Data Generation for Black-Box Testing
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 thencompared the results of running them. LÄS MER
5. Model-Based Test Case Generation for Real-Time Systems
Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER