Sökning: "Testning"

Visar resultat 1 - 5 av 82 avhandlingar innehållade ordet Testning.

  1. 1. An Integrated System-Level Design for Testability Methodology

    Författare :Erik Larsson; Zebo Peng; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Digital systems; Test design; System-on-chip; Hardware; Systems design; Testing; Dissertations; Hårdvara; Systemutveckling; Testning; Databehandling Systemutveckling; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : HARDWARE TESTING is commonly used to check whether faults exist in a digital system. Much research has been devoted to the development of advanced hardware testing techniques and methods to support design for testability (DFT). LÄS MER

  3. 2. Bordering through genetics : DNA testing, family reunification and Swedish migration control

    Författare :Disa Helander; Linda Berg; Aina Tollefsen; Anna Bredström; Irene Molina; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; DNA; family reunification; migration; borders; biometric technology; science; knowledge; feminist theory; queer; postcolonialism; ethnography; Sweden; genusvetenskap; gender studies;

    Sammanfattning : After people flee to Sweden and are granted asylum, their family members must apply to the Swedish migration authorities in order to be reunited with their loved ones in Sweden. As part of this process, some applicants must prove their relationships through DNA analysis. LÄS MER

  4. 3. Materials Reliability in PEM Fuel Cells

    Författare :Live Mølmen; Peter Leisner; Ulf Jansson; Jönköping University; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fuel cell; PEMFC; Bipolar plate; Catalyst; Electrodeposition; Corrosion; Stainless steel; Accelerated stress tests; bränsleceller; PEM; bipolära plattor; katalysator; elektroplätering; korrosion; accelererad testning;

    Sammanfattning : As part of the global work towards reducing CO2 emissions, all vehicles needs to be electrified, or fueled by green fuels. Batteries have already revolutionised the car market, but fuel cells are believed to be a key energy conversion system to be able to electrify also heavy duty vehicles. LÄS MER

  5. 4. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  7. 5. Understanding and Improving Continuous Experimentation : From A/B Testing to Continuous Software Optimization

    Författare :Rasmus Ros; Programvarusystem; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Controlled experiments (i.e. A/B tests) are used by many companies with user-intensive products to improve their software with user data. Some companies adopt an experiment-driven approach to software development with continuous experimentation (CE). LÄS MER