Avancerad sökning

Visar resultat 1 - 5 av 151 avhandlingar som matchar ovanstående sökkriterier.

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

3. 2. 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

4. 3. Opening the black box of material criticality : heterogeneity and interrelations of companies within and across industrial sectors

   Författare :Yulia Lapko; Cali Nuur; Paolo Trucco; Aristides Matopoulos; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Critical materials; Identification; Mitigation; Company; Supply chain; Inter-sectoral competition; Buyer-supplier power relations; Industriell ekonomi och organisation; Industrial Economics and Management;

   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

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

   Författare :Richard Torkar; []
   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

7. 5. Opening the black box of mathematics teachers’ professional growth : a study of the process of teacher learning

   Författare :Sara Engvall; Magnus Österholm; Christina Ottander; Björn Palmberg; Hanna Palmér; Umeå universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Teacher learning; professional growth; professional development program; formative assessment; motivation; mathematics teachers; secondary school teachers; pedagogiskt arbete; educational work;

   Sammanfattning : 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. LÄS MER