Jinx Improves Quality Throughout the Software Lifecycle

Share Article

Software quality tools from Corensic help developers and quality assurance (QA) organizations identify and fix concurrency errors, increasing reliability of mission-critical applications and reducing overall test costs.

Today, Corensic (http://www.corensic.com) announced availability of Jinx 1.2, 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. With this release, Jinx now offers support for 32-bit Windows XP and Windows Server 2003, Intel Sandy Bridge processors, Microsoft .NET Framework 4 applications, and improved bug finding performance and reliability. These improvements enable Jinx to be used with nearly all Windows and Linux development projects, applications running on the world’s most advanced processors, and more readily incorporated into an enterprise developer’s existing workflow and tools.

“Corensic helps organizations deliver and deploy higher quality software faster. Our products enable every stakeholder in the software lifecycle, including development, test, IT, and support, to catch and reproduce bugs and communicate about them effectively,” said Peter Godman, Founder and CEO of Corensic. “With Jinx 1.2, we can test every component of a mission critical platform, including kernel, device drivers, and third party applications, so that we can help IT organizations to identify and fix concurrency errors before they appear in production environments.”

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. 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.

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 is available for both Windows and Linux and a 30-day trial edition 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.

# # #

Share article on social media or email:

View article via:

Pdf Print

Contact Author

Prashant Sridharan
Visit website