Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Finding bugs is easy-with the right technology

IBM Haifa Labs News Center

Finding bugs is easy-with the right technology

Software testing has long been a part of the software development process. But as the design of applications becomes more and more complex, the importance of a high-quality software verification flow has become increasingly significant.

At the recent third annual IBM Haifa Software Testing seminar, held at the IBM Haifa Labs facility on the University of Haifa campus, testing professionals and researchers came together to discuss recent advancements and test strategies, metrics, and tools. Over eighty representatives of Israeli corporations and universities attended the seminar.

Orit Edelstein, manager of the Verification and Testing Solutions group at the IBM Haifa Labs, noted that the seminar focused on various aspects of software quality control used during the development stages of applications. The event was divided into three themes: Multi-threading, aspect-oriented programming (AOP), and industrial case studies.

"Lectures from IBM Haifa researchers and industry representatives addressed the need to simplify and improve the testing process," said Edelstein. "An example of this was the presentation delivered by Shady Copty, a researcher in our System Verification and Modeling Group, which examined the application of the AOP paradigm to testing."

Copty's presentation examined the use of Aspect J, an AOP implementation tool for Java. He showed how an Aspect J foundation enabled the use of an extremely small amount of code as a suitable testing tool for multithreading.

Another noteworthy presentation was delivered by Arie Hopfeld from the Israel Aircraft Industries' MBT space division. MBT is responsible for a variety of satellites, including the Amos 2 communications satellite. Hopfeld's presentation focused on the stringent demands of software testing in an application operating in a hostile, inaccessible environment.

Edelstein also noted that the seminar included a panel discussion for the first time. Representing several of the major testing research and deployment firms in Israel, such as Microsoft, Tesnet, and IBM, the panelists discussed ways to expand the use of testing tools in the industry, and issues concerning the development of new tools for software verification. Panelists suggested that to be successful, new testing tools should be fun to use, problem-free, similar to existing tools, and as automated as possible.

Abstracts and presentations from the lectures presented at the seminar are available from the IBM Haifa Labs Web site,


Document options
Print this page  

    About IBMPrivacyContact