Presentation is loading. Please wait.

Presentation is loading. Please wait.

ConTest SEGFAULT Arjun Bhasin Chakori Macherla Gunjan Raghav Jaideep Singh Vicky Sehrawat.

Similar presentations


Presentation on theme: "ConTest SEGFAULT Arjun Bhasin Chakori Macherla Gunjan Raghav Jaideep Singh Vicky Sehrawat."— Presentation transcript:

1 ConTest SEGFAULT Arjun Bhasin Chakori Macherla Gunjan Raghav Jaideep Singh Vicky Sehrawat

2 Introduction Advanced testing tool used to expose and eliminate concurrency-relates bugs Developed and supported by the IBMs Verification and Testing Technologies group in Hafia Systematically and transparently schedules the execution of the program thread Dramatically improves the quality of testing and reduces development expenses

3 Features Cause synchronization problems to appear in testing itself Support traditional and advanced coverage model Produces a lot of useful debugging information

4 Strengths Measure test coverage Aid in debugging Enable replay Present deadlock information

5 Limitations Pure Java application

6 Where to download? ConTest is available as an IBM ODIS (On Demand Innovation Services) offering. IBM ODIS (On Demand Innovation Services) offering ConTest for Java is also available for trial download from AlphaWorks. AlphaWorks

7 DEMO

8 References https://www.research.ibm.com/haifa/projects /verification/contest/ https://www.research.ibm.com/haifa/projects /verification/contest/ t t https://www.research.ibm.com/haifa/projects /verification/contest/papers/testingConcurren tJune2008ForMS.pdf


Download ppt "ConTest SEGFAULT Arjun Bhasin Chakori Macherla Gunjan Raghav Jaideep Singh Vicky Sehrawat."

Similar presentations


Ads by Google