Jinx Finds Concurrency Bugs and Improves Software Quality

Share Article

Software quality tools from Corensic help developers and quality assurance (QA) organizations accelerate their development and testing processes, increasing reliability of mission-critical applications and reducing overall test costs.

The testing methodologies and tools of the past don’t do a very effective job of finding complex concurrency errors in modern software. Jinx quickly identifies hard-to-find bugs and points out their cause.

Today, Corensic announced availability of Jinx 1.1, a software quality tool for Linux and Windows that will help developers, testers, and IT organizations improve the reliability of their mission-critical software. Jinx finds concurrency errors in parallel applications, a task that ordinarily requires numerous manual steps and a great deal of luck. Concurrency errors found in production software have contributed to numerous high-profile disasters, including the 2003 Northeastern United States Power Blackout and the deaths of patients using the Therac-25 radiation therapy device. Businesses that use Jinx see increased developer and QA organization productivity, reduced testing costs, and higher quality software.

When enabled, Jinx uses advanced heuristics to simulate numerous “alternate realities” of application execution in search of a particular “reality” that will cause a concurrency bug. When Jinx finds a concurrency error, it makes it happen on the developer’s desktop, during continuous integration, or during stress testing, and pinpoints the cause of the bug. In so doing, Jinx makes code “unlucky” and forces hidden bugs to occur during the development process so that they don’t occur in a production environment.

Jinx 1.1 now offers support for 32-bit Windows Vista and Windows 7, 32-bit Linux, automated stress test harnesses, continuous integration, and improved bug finding performance and reliability. With these improvements, Jinx can now be used with nearly all Windows and Linux development projects, deployed more effectively within a test lab, and more readily incorporated into a developer’s existing workflow and tools.

Jinx works the way developers and QA professionals do, and can be easily integrated into Visual Studio or Windows and Linux command line development and test processes. Jinx requires no changes to code and is operating system, application platform, and programming language agnostic. Jinx can be easily incorporated into automated testing and continuous integration processes so that developers and QA professionals can be assured that their code is always properly tested for concurrency errors, especially during source code check-ins, nightly builds, and stress tests. And, with Jinx there are no false positives: when Jinx finds a bug, it’s definitely a bug.

“Jinx should be an integral component of every software developer and QA professional’s development and testing process. The testing methodologies and tools of the past don’t do a very effective job of finding complex concurrency errors in modern software. Jinx helps developers and QA professionals quickly identify hard-to-find concurrency bugs and their cause, and verify that potential fixes work. With Jinx, developers and QA professionals can be more productive in finding and fixing bugs, and organizations can gain greater confidence in their software development processes,” said Peter Godman, Corensic Founder and VP of Engineering.

“Pixetell builds advanced on-demand screen recording software that helps increase the effectiveness and clarity of business communications. Our software is highly parallelized and searching for concurrency bugs has always been a tedious manual process. Now, we simply enable Jinx on our developers’ desktops and find bugs earlier in the development process. It was very easy for us to begin using Jinx and integrate it with our existing development methodology and tools. We are looking forward to using the new 32-bit version to deploy Jinx even more widely within our team,” said Sebastian Rapport, CEO of Pixetell.

Jinx is available for both Windows and Linux and is priced at $1999 USD per user. Jinx 1.1 is available for immediate download at http://www.corensic.com.

Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to deliver tools that enable software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Amazon, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.

Press Inquiries: Prashant Sridharan, prashantNOSPAM(at)corensic(dot)com

# # #

Share article on social media or email:

View article via:

Pdf Print

Contact Author

Prashant Sridharan
Visit website