Search for dissertations about: "Black-Box"
Showing result 1 - 5 of 140 swedish dissertations containing the word Black-Box.
-
1. Automating Black-Box Property Based Testing
Abstract : 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. READ MORE
-
2. Opening the black box of material criticality : heterogeneity and interrelations of companies within and across industrial sectors
Abstract : 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. READ MORE
-
3. Empirical Studies of Software Black Box Testing Techniques : Evaluation and Comparison
Abstract : 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. READ MORE
-
4. Opening the black box of mathematics teachers’ professional growth : a study of the process of teacher learning
Abstract : There is a lot of research done on professional development programs for teachers, especially with a focus on different characteristics of the program and whether it makes teachers change their teaching practice to such an extent that it enhances student achievement. However, there is not much research done on the learning process. READ MORE
-
5. Random Structured Test Data Generation for Black-Box Testing
Abstract : 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. READ MORE