I received a Laura Specialistica
degree in December from Universitą degli Studi
di Pisa in Tecnologie Informatiche (Computer Technologies),
with full marks and honours (110/centodieci e Lode).
I received a PhD degree in December from Universitą degli Studi di Pisa. Title of the dissertation: "Software
Testing in the XXI Century: Methods, Tools and New Approaches
to Manage, Control and Evaluate This Critical Phase" [M03].
Advisor Ing. Antonia Bertolino. Abstract: In this Thesis I present
a journey through the world of Software Testing, ranging
over many fields from definition to organization, from its
applicability to analysis of its effectiveness, because
testing activity is not limited to the detection of "bugs".
The general aims are proposing both a global view of the
testing phase, wich exploits and unifies the knowledge from
the industrial reality and the research context and putting
research in practice. For this, starting from test planning
I analyze the different testing stages pointing out their
characteristic problems and presenting our original proposals
(methods, tools or new approaches based on UML specifications)
for solving them. In particular I also define procedural
strategies, which support suitable testing choices since
the first phases of development, and provide the reader
with practical and quantitative guidance all along the testing
All the proposal presented are the result of a strict collaboration with software developers looking for solutions for their problems and improvements in the different activities of the testing process.
This collaboration imposes two important constraints: usability,
i.e. the methodologies as far as possible must adapt themselves
to the modelling notations and procedures commonly used
by industries and real environment and not vice versa; and
automation, i.e., increasing as much as possible the mechanization
in test cases derivation, execution and validation, consequently
reducing the manual labor. I adopt therefore the leading
principle of providing readers with some easy-to-apply and
low-cost methodologies, which maximize the automation and
minimize as much as possible the required additional formalism
or ad-hoc effort specifically for testing purpose.
Moreover for completeness' sake for each topic treated we
provide both a detailed survey of the literature, useful
for knowing the state of the art and for comparing our solutions
with those provided by the research world, and the evaluation
of the methods purposed by means of case studies also taken
from a real industrial context.
From July 9th to July 22nd I attended the Twelfth
International School for computer Science Researchers, Lipari,
The topic of that year was "E-Commerce and On-line Algorithms"
and six courses on different aspects of the discipline have been
From May 17th to May 31st I attended the Scuola
Nazionale dei Dottorati di Informatica (National School for PhD
Students in Computer Science), Bertinoro (Italy).
The topic of that year was Language for object data base and three
courses on different aspects of the discipline have been held.
PhD Admission at Universitą degli Studi di Pisa.
I received a Laura degree in December from
Universitą degli Studi di Pisa in Scienze dell'Informazione (Computer
Science), with full marks and honours (110/centodieci e Lode).
Title of the dissertation: "Algoritmi di diagnosi
distribuita con osservatore esterno", ("Distributed
diagnosis algorithms with external observer").
Advisor Prof. Piero Maestrini.
In the thesis I overviewed the
main diagnosis algorithms and I developed an original one, which
is applicable for the distributed analysis. The aim was to discover
as many faults as possible using probe units.
I collaborated for a period of three
months, starting in December 1999, with Prof. Lorenzo Strigini
at the Centre for Software Reliability (CSR) of the City
University of London.
The research consisted on finding models for representing
the fault-removal ability of different testing approaches
with the aim of improving software quality.