Sökning: "partition testing"
Visar resultat 1 - 5 av 11 avhandlingar innehållade orden partition testing.
1. Techniques for Automatic Generation of Tests from Programs and Specifications
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
2. Programming Model and Protocols for Reconfigurable Distributed Systems
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
3. Induction Rules for Proving Correctness of Imperative Programs
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
4. Essays on Epistemology and Evolutionary Game Theory
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
5. Contributions to program- and specification-based test data generation
Sammanfattning : Software testing is complex and time consuming. One way to reduce testing effort is to automatically generate test data. In the first part of this thesis we consider a framework by Gupta et al. for generating tests from programs. LÄS MER