Sökning: "partition testing"

Visar resultat 1 - 5 av 12 avhandlingar innehållade orden partition testing.

  1. 1. Techniques for Automatic Generation of Tests from Programs and Specifications

    Författare :Jon Edvardsson; Mariam Kamkar; Maud Göthe-Lundgren; Jeff Offutt; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; testing; automatic test data generation; partition testing; constraint solving; program coverage; specification coverage; Software engineering; Programvaruteknik;

    Sammanfattning : Software testing is complex and time consuming. One way to reduce the effort associated with testing is to generate test data automatically. This thesis is divided into three parts. In the first part a mixed-integer constraint solver developed by Gupta et. LÄS MER

  3. 2. Programming Model and Protocols for Reconfigurable Distributed Systems

    Författare :Cosmin Ionel Arad; Seif Haridi; Gregory Chockler; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; distributed systems; programming model; message-passing concurrency; nested hierarchical composition; reactive components; software architecture; dynamic reconfiguration; multi-core; discrete-event simulation; peer-to-peer; testing; debugging; distributed key-value stores; data replication; consistency; linearizability; network partition tolerance; consistent hashing; self-organization; scalability; elasticity; fault tolerance; consistent quorums;

    Sammanfattning : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. LÄS MER

  4. 3. Induction Rules for Proving Correctness of Imperative Programs

    Författare :Angela Wallenburg; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program verification; software testing; interactive theorem proving; mathematical induction; customised induction rules;

    Sammanfattning : This thesis is aimed at simplifying the user-interaction in semi-interactive theorem proving for imperative programs. More specifically, we describe the creation of customised induction rules that are tailor-made for the specific program to verify and thus make the resulting proof simpler. LÄS MER

  5. 4. Essays on Epistemology and Evolutionary Game Theory

    Författare :Elias Tsakas; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Common knowledge; communication; consensus; betting; primitive propositions; negative introspection; information partition; projection; learning.;

    Sammanfattning : This thesis has two parts, one consisting of three independent papers in epistemology (Chapters 1-3) and another one consisting of a single paper in evolutionary game theory (Chapter 4): (1) “Knowing who speaks when: A note on communication, common knowledge and consensus” (together with Mark Voorneveld) We study a model of pairwise communication in a finite population of Bayesian agents. We show that, if the individuals update only according to the signal they actually hear, and they do not take into account all the hypothetical signals they could have received, a consensus is not necessarily reached. LÄS MER

  7. 5. Demonstrating reliableinstrumentation in theATLAS Tile Calorimeter : Fault tolerance and redundancy in hardware and firmwarefor the Phase-II Demonstrator project in preparation forHigh Luminosity LHC at CERN

    Författare :Henrik Åkerstedt; Samuel B. Silverstein; Jón E. Gudmundsson; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; CERN; ATLAS; Tile calorimeter; TileCal; FPGA; SEU; TMR; Kintex; Demonstrator; DaughterBoard; Radiation testing; Radiation tolerant; Physics; fysik;

    Sammanfattning : The Large Hadron Collider at CERN is scheduled to undergo upgrades in 2026-2028 to significantly increase its luminosity. These upgrades, while providing the experiments with a higher collision rate, pose a number of challenges to the design of the hardware and software in the detectors. LÄS MER