Sökning: "property specification"

Visar resultat 1 - 5 av 36 avhandlingar innehållade orden property specification.

1. 1. Supporting the migration towards model-driven robotic systems

   Författare :Razan Ghzouli; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; empirical research; property specification; model-driven engineering; feature models; behavior trees;

   Sammanfattning : Robots are increasingly deployed to perform every-day tasks. It is crucial to implement reliable and reusable systems to reduce development effort. The complexity of robotic systems requires the collaboration of experts from different backgrounds. LÄS MER

3. 2. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

   Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

   Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. 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. 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

7. 5. Testing Safety-Critical Systems using Fault Injection and Property-Based Testing

   Författare :Benjamin Vedder; Magnus Jonsson; Andreas Johansson; Högskolan i Halmstad; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault Injection; FaultCheck; Property-Based Testing; Simulation; Fault Model; Quadcopter; E2E;

   Sammanfattning : Testing software-intensive systems can be challenging, especially when safety requirements are involved. Property-Based Testing (PBT) is a software testing technique where properties about software are specified and thousands of test cases with a wide range of inputs are automatically generated based on these properties. LÄS MER