Sökning: "Automated Testing"

Visar resultat 16 - 20 av 138 avhandlingar innehållade orden Automated Testing.

  1. 16. On Subscale Flight Testing : Applications in Aircraft Conceptual Design

    Författare :Alejandro Sobron; Petter Krus; David Lundström; Zdobyslaw Goraj; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Downscaled physical models, also referred to as subscale models, have played an essential role in the investigation of the complex physics of flight until the recent disruption of numerical simulation. Despite the fact that improvements in computational methods are slowly pushing experimental techniques towards a secondary role as verification or calibration tools, real-world testing of physical prototypes still provides an unmatched confidence. LÄS MER

  3. 17. Automated static code analysis : A tool for early vulnerability detection

    Författare :Dejan Baca; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Software vulnerabilities are added into programs during its development. Architectural flaws are introduced during planning and design, while implementation faults are created during coding. Penetration testing is often used to detect these vulnerabilities. LÄS MER

  4. 18. Application of Automated Non-contact Resonance Testing for Low Temperature Behavior of Asphalt Concrete

    Författare :Abiy Bekele; Nils Ryden; Safwat Said; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resonance testing; stiffness modulus; asphalt concrete; Non-contact excitation; Resonance frequency; Civil and Architectural Engineering; Byggvetenskap;

    Sammanfattning : Impact resonance testing is a well-documented non-destructive testing method and its applications on asphalt concrete have also been implemented successfully. The test is carried out manually by inducing an impact in order to excite the test specimen and taking measurements of the vibrational response. LÄS MER

  5. 19. Automated System Level Software Testing of Networked Embedded Systems

    Författare :Per Erik Strandberg; Sundmark Daniel; Wasif Afzal; Elizabeth Bjarnason; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be reliable. LÄS MER

  7. 20. On Provably Correct Decision-Making for Automated Driving

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER