El Terreny físico-químic en la tuberculosi

A la part superior de la portada: Laboratori de Bioquímica de l'Escola Superior d'AgriculturaBibliografi

The Search for the Laws of Automatic Random Testing

Can one estimate the number of remaining faults in a software system? A credible estimation technique would be immensely useful to project managers as well as customers. It would also be of theoretical interest, as a general law of software engineering. We investigate possible answers in the context of automated random testing, a method that is increasingly accepted as an effective way to discover faults. Our experimental results, derived from best-fit analysis of a variety of mathematical functions, based on a large number of automated tests of library code equipped with automated oracles in the form of contracts, suggest a poly-logarithmic law. Although further confirmation remains necessary on different code bases and testing techniques, we argue that understanding the laws of testing may bring significant benefits for estimating the number of detectable faults and comparing different projects and practices.Comment: 20 page

C to O-O Translation: Beyond the Easy Stuff

Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts? This paper presents a source-to-source translation of C code into Eiffel, a modern object-oriented programming language, and the supporting tool C2Eif. The translation is completely automatic and supports the entire C language (ANSI, as well as many GNU C Compiler extensions, through CIL) as used in practice, including its usage of native system libraries and inlined assembly code. Our experiments show that C2Eif can handle C applications and libraries of significant size (such as vim and libgsl), as well as challenging benchmarks such as the GCC torture tests. The produced Eiffel code is functionally equivalent to the original C code, and takes advantage of some of Eiffel's object-oriented features to produce safe and easy-to-debug translations

Fundamentals of cell polarity and motility

Cell polarity is a fundamental characteristic regarding cell motility and division. In this work, first we analyze polarization from a biological vantage point, namely which are the molecules taking part on it and how it is experimentally observed. Then, we evaluate this mechanism by implementing a simple mathematical model, so that the fundamental concepts can be understood, and afterwards, a more complex modelization is analyzed, involving the kinetics of two proteins, so that we show how a simplified two-variable model can reproduce the symmetry breaking needed for polarity. Finally, the validity of this model is considered2021/202

Aportacions experimentals a la fisiopatologia de la diabetis

A la part superior de la portada: Laboratori de Bioquímica de l'Escola Superior d'AgriculturaBibliografi