Hei TestausOSYläiset!          (English summary below)

Shmuel Ur (IBM Haifa Research Lab) saapui meille vierailulle joulukuun alussa ja järjestimme Tampereen paikallissession OSYläisille. Shmuel on lupautunut esittämään seuraavista aiheista:
 

• Selective Homeworkless Reviews
• Tidbits Gleaned over Ten Years of Concurrent Software Testing Research

Aika: to 3.12. klo 14.00-17.00
Paikka: Tampereen teknillinen yliopisto, Tietotalo, Korkeakoulunkatu 1
Sali: TB222

Lisäksi halukkaat voivat tutustua etukäteen IBM alphaWorksistä löytyvään ConTest-työkaluun, joka liittyy jälkimmäiseen session aiheista (lisätietoja ennakkoon ilmoittautuneille):

http://www.alphaworks.ibm.com/tech/contest

Alla vielä tiivistelmät aiheista sekä Shmuelin bio.

Tervetuloa!

Mika.

ENGLISH SUMMARY

We are organizing a session targeted for Sytyke/FAST members in Tampere region, but all are welcome free of charge. Shmuel Ur from IBM Haifa Research Lab gives two presentations on the following topics:

-Selective Homeworkless Reviews
-Tidbits Gleaned over Ten Years of Concurrent Software Testing Research

Time: Thu Dec 3 14:00-17:00
Place: Tampere University of Technology, Tietotalo building, street
address: Korkeakoulunkatu 1 Auditorium: TB222

Registration is required by email: mika.katara at tut.fi

The latter presentation is related to the ConTest tool, which can be downloaded from the IBM alphaWorks site:

http://www.alphaworks.ibm.com/tech/contest

ABSTRACTS OF THE TALKS

Selective Homeworkless Reviews

In this talk we show a version of review/inspection called selective homeworkless review. In these reviews, moderators are taught how to select artifacts for review and review methodologies with little or no preparation. Many review and inspection methodologies are known in the literature and used in industry with very good results. The main issue we faced was not how to tune an existing inspection methodology, but rather how to get people to seriously and continuously inspect their artifacts. With the shrinking of the release cycle, people try to avoid front-loaded methodologies such as reviews, which seem to waste time early on. This is true both at the organizational level, where the overall cost is considered and at the day to-day level, where time for preparation needs to be found. Because the reasons for rejecting existing inspection techniques were more organizational than technical, the way our methodology overcomes these objections is as central to introducing selective homeworkless review methodology. We introduced selective homeworkless reviews four years ago. We now have convincing evidence that this methodology can be introduced even in organizations that are resistant to formal inspections, leading to significant improvements in quality.

Tidbits Gleaned over Ten Years of Concurrent Software Testing Research

In this talk, I will share our experiences with creating tools and a methodology for testing concurrent software during the last ten years. I will start by explaining why the problem is troublesome. Then, I will cover these topics:

-Using tools that increase the likelihood of test failure
-Unit and system test methodology
-Evaluating concurrent coverage
-Finding potential deadlocks
-Debugging aids for concurrent software
-Discovering bug location in code automatically -Healing concurrent programs

BIO:

Dr. Shmuel Ur is a research scientist in IBM research lab in Haifa Israel. He works in the field of software testing and concentrates on coverage and testing of multi-threaded programs. He is the technical lead of the area of Coverage in IBM and is also an IBM Master Inventor.

Shmuel teaches software testing in the Technion and Haifa University. He received his Ph.D. in Algorithms Optimization and Combinatorics in 1994 in Carnegie Mellon University. Shmuel has published more than 50 papers in the fields of hardware testing, artificial intelligence, algorithms, software testing and testing of multi-threaded programs. He has started working in the area of testing concurrent software more than 10 years ago and has published extensively in the field. Since 2003 he has been working on establishing a research community in this field and started the PADTAD workshop series, the first workshop dedicated to testing multi-threaded applications, and has chaired the first six. He has also started the Haifa Verification Conference, now in its six year.