Learn More
In this paper we present a probabilistic-timed process algebra , which tries to unify the best solutions of previous probabilistic and timed algebras. We provide an operational semantics for the new language (PTPA), and from this operational semantics we deene a testing semantics based on the probability with which processes pass tests. Af-terwards the(More)
The Test Driven Design (TDD) methodology [4, 23, 8] is currently a very common approach for programming and software engineering learning. On-line judges are widely used in everyday teaching, and their use in the scope of programming contests is currently especially well known. There are good tools and collections of programming problems available for exams(More)
In this paper we study the extension of classical testing theory to a probabilistic process algebra. We consider a generative interpretation of probabilities for a language with two choice operators (one internal and the other external), which are annotated with a probability p 2 (0; 1). We deene a testing semantics for our language, and we write P passp T(More)
In this paper we present a new kind of testing, namely friendly testing, which has been developed to obtain a satisfactory conformance relation sharing the good properties of the more popular conformance relations, that is mustt testing and conf , while avoiding their respective problems. In particular, our friendly tests cannot punish a process when it is(More)
A new model based testing theory built on simulation semantics is presented. At the core of this theory there is an input-output conformance simulation relation (iocos). As a branching semantics iocos can naturally distinguish the context of local choices. We show iocos to be a finer relation than the classic ioco conformance relation. It turns out that(More)
EXercita is a system designed to archive and publish programming exercises. It consists of a repository of structured documents, each describing an exercise, and several tools to manage it. Documents are marked-up with an extension of LaTeX we have designed, called eXercita, and can be automatically published as PostScript files or Web pages. In addition,(More)