Sökning: "white box"

Visar resultat 1 - 5 av 14 avhandlingar innehållade orden white 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. 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

4. 3. Data-driven Ship Performance Models - - Emphasis on Energy Efficiency and Fatigue Safety

   Författare :Xiao Lang; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; semi-empirical; energy efficiency; fatigue assessment; grey-box; full-scale measurements; speed-power relationship; added resistance due to waves; ship performance; machine learning;

   Sammanfattning : Due to digitalization in the maritime industry, a huge amount of ship operation-related data has been collected. The main objective of this thesis is to exploit machine learning/big data analytics to build data-driven ship performance models, focusing on speed-power relationship modeling, and fatigue accumulation assessment during a ship’s operation at sea. LÄS MER

5. 4. Following the white rabbit : release and regulation of HMGB1 in inflammation

   Författare :Agnieszka Sowinska; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :;

   Sammanfattning : Dysregulated inflammatory responses are characterized by excessive release of endogenous pro-inflammatory molecules, danger-associated molecular patterns (DAMPs). A prototypical DAMP, High Mobility Group Box 1 protein (HMGB1), is primarily bound to DNA in the nucleus of most eukaryotic cells. LÄS MER

7. 5. Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning

   Författare :Stefan Marksteiner; Marjan Sirjani; Mikael Sjödin; Mohammad Reza Mousavi; Mälardalens universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Sammanfattning : Automotive systems are not only becoming more open through developments like advanced driving assistance functions, autonomous driving, vehicle-to-everything communication and software-defined vehicle functionality, but also more complex. At the same time, technology from standard IT systems become frequently adopted in this setting. LÄS MER