40 likes | 136 Views
An EOI to join DESIRE IP. Dependable Integration of Components through Testing. Antonia Bertolino ISTI-CNR bertolino@iei.pi.cnr.it http://www.iei.pi.cnr.it/~antonia. Rationale. Background: Software Testing is an essential means for achieving and evaluating dependability
E N D
An EOI to join DESIRE IP Dependable Integration of Components through Testing Antonia Bertolino ISTI-CNR bertolino@iei.pi.cnr.it http://www.iei.pi.cnr.it/~antonia
Rationale • Background: Software Testing is an essential means for achieving and evaluating dependability • Gap between state of art (what could be done) and state of practice (what is done in industry) • DESIRE IP as a not-to-be-missed opportunity to have advanced test methodologies applied in cost/effective way • Emerging paradigm: Component-based development of systems and pervasive ubiquitous components • Component developer vs component user exigencies and responsibilities • Need of adaptable methods for evaluating component interactions dependability • Composable verification and evaluation techniques (including testing) • Quantitative evaluation: ways to link a test campaign with product characteristics • Empirical investigation of relationship between systematic test techniques (e.g., coverage) and software reliability • Measures of effectiveness of tests Technology Transfer Technology Research Basic Research
Objectives • Sound&reliable test methodology within a CB process • Test composition framework allowing for integration testing and for test re-use • Integrated test environment for deployment testing at the component user site • Directives for the component developer to improve testability of components • Methods for testing dynamic interactions between pervasive components • Statistical methods to get quantitative interpretations of test results relatively to dependability attributes (reliability)
Contribution of ISTI-CNR SE Group to DESIRE • Our partnership: • Strict collaborations with industrial partners interested to join us in this IP : • Ericsson Lab Italy (Rome), excellence center of Ericsson • Balthazar Ltd (Budapest), test&analysis tool developer • What we intend to do: • UML and Java based prototype tools • Develop and validate test methodologies in CBD • What we bring in: • Background in software testing techniques at unit, integration and system level • Background in software reliability, testability, Bayesian • Small group of highly motivated researchers and students with focus on transferable techniques