Speaker: Itai Segall, IBM HRL

Title: MSD-based test generation for Software-intensive Systems

Abstract:
Software-intensive systems are increasingly adopted in a wide range of complex applications, from critical embedded systems
to large-scale distributed systems. They are designed, implemented, and maintained to react to complex events coming from
a highly dynamic and unpredictable environment. The generation of valid test cases is a crucial task for ensuring the quality of
such complex systems. However, current techniques for the automatic generation of tests are difficult to apply and the actual
practice shows how the process still involves highly costly, error-prone manual intervention.

This seminar presents a novel technique for the automatic generation of test cases driven by a scenario-based specification.
We introduce a new coverage criterion for tests, based on the concurrent activation of MSDs  - a lightweight formal version
of sequence diagrams, and present our approach for generating a suite of maintainable tests that play the role of the unpredictable
environment.

This is joint work with Valerio Panzica La-Manna and Prof. Joel Greenyer