Introduction
As we become more dependent on computer systems, these are becoming more complex and the security they offer, crucial. A small bug which goes undetected can cost a lot of money in a billing system for example. Testing has been by far the most widely used technique for reducing bugs to date. It provides a cost-effective way to increase the confidence of the users of a system. However, it is almost the norm that a newly released software contains bugs. Furthermore, it is
not trivial to test software for complex properties (such as real-time properties) without adding a lot of extra code which is error-prone itself. The proposed approach is to provide a high-level diagrammatic approach to specify software such that the specification can be automatically compiled into assertions which are automatically inserted into the system code. This has the advantage of an easier way to specify properties, avoiding errors during testing, and also that the testing code can be left after deployment so that bugs are automatically detected in case they occur with live data.
Speaker
|
|
Christian Colombo is a PhD student and a research assistant at the University of Malta working in the area of runtime verification of compensating transactions. He has recently completed his masters degree in the same area. His work involves case studies in financial transaction systems in the local industry and the development of a tool called Larva for checking programs at runtime. Christian delivered the Java SCJP course for a private institution and teaches discrete mathematics as a part-time lecturer at the University of Malta.
 Related content
|
Venue
STC Training
Block A, Alamein Road,
Pembroke PBK1776
This page
Other pages
Account
Administration
