testdriven.com Wrangling quality out of chaos

Archive for July, 2008

Instinct 0.1.8 Release

07.28.2008 · Posted in Java

Instinct 0.1.8 has been released. This is a maintenance release resolving some minor bugs and packaging issues from the 0.1.7 release earlier this week.Instinct is a Behaviour Driven Development (BDD) framework for Java. Inspired by RSpec, Instinct provides flexible annotation of contexts, specifications and actors; automatic creation of test doubles and test subjects; a state and behaviour expectation API; JUnit test runner integration; Ant support and an IntelliJ IDEA plugin.

Downloads are available from the project site: http://instinct.googlecode.com/

Full list of changes:

Core Features
o Custom specification, before specification and after specification
annotations and naming conventions can be provided via the Context
annotation. This can also be used to turn off naming convention-based
detection (using NoNamingConvention).

Infrastructure
o Upgraded to: Functional Java 2.8.

Bugs
o (Issue 36) Abstract classes are being run as a result of specification runner refactoring.
o (Issue 37) Expected exceptions are being printed to console in Ant
runner even though spec passes.
o (Issue 38) Functional java jar is not included in release zip.

Coverity™ Introduces New Static Analysis Solution for C#

07.24.2008 · Posted in News

Coverity™, Inc., the leader in improving software quality and security, today announced Coverity Prevent™ for C#. The product utilizes a new analysis engine developed by Coverity’s research and development lab that is designed specifically for detecting defects in applications built on Microsoft’s .NET framework. Prevent for C# expands the language coverage of Coverity’s static analysis products, and brings the company’s proven expertise in automatic defect detection to developers programming in C#. Over 450 development organizations currently use Coverity Prevent to ensure the quality and security of their C/C++ and Java code.

“To remain competitive, software development team leads need to stock their developer’s tool-box with advanced technology to maintain or improve productivity that helps them deliver higher quality code to everyone upstream,” said Theresa Lanowitz, founder of voke, a technology analyst firm. “As a language, C# is playing an increasing role in failure-intolerant devices, particularly in the embedded space. Coverity’s expertise in static analysis will be a welcome addition to the tool-box of any C# developer.”

Unlike other static tools that simply extend existing analysis capabilities to encompass a new language, Prevent for C# is based on an entirely new analysis engine designed and optimized for Microsoft .NET-based applications. It seamlessly handles features of the C# language such as operator overloading, properties, and idioms for iteration and resource management. Prevent for C# also automatically finds third party .NET assemblies to ensure a complete analysis result, no matter how complex the application.

Coverity Prevent for C# automatically analyzes large, complex C# code bases and detects critical, must-fix defects that could lead to system failures, memory corruption or performance degradation. Because the product is the only C# static analysis tool to deliver 100% path coverage, it delivers the most comprehensive and accurate C# source code analysis. Prevent for C# requires no changes to existing build processes or code, and easily integrates into existing build processes and requires little or no additional hardware. Key capabilities of Prevent for C# include: Detect Critical Defects – Automatic detection of defects in C# source code that can cause crashes, performance degradation and incorrect program behavior

* 100% Path Coverage – Analysis of every path in C# code bases, ensuring that all possible execution branches are followed
* Low False Positive Rate – Accurate, actionable results help developers immediately begin improving the quality and security of their code
* Flexible Workflow – Defect Manager product interface allows teams to collaboratively view analysis results, triage defects, assign ownership, and provides comprehensive workflow capabilities
* Highly Scalable – Millions of lines of code can be analyzed in a matter of hours

“Coverity developed Prevent for C# in response to requests from our existing customer base and the growing use of the .NET application framework in mission-critical systems where software defects can be tremendously costly,” said Andy Chou, chief scientist and co-founder at Coverity. “Delivering new technology so that our static analysis product line covers C, C++, C# and Java is a significant milestone on our roadmap for our flagship static analysis solution.”

About Coverity

Coverity (www.coverity.com), the leader in improving software quality and security, is a privately held company headquartered in San Francisco. Coverity’s groundbreaking technology enables developers to control complexity in the development process by automatically finding and helping to repair critical software defects and security vulnerabilities throughout the application lifecycle. More than 450 leading companies including ARM, Phillips, RIM, Rockwell-Collins, Samsung and UBS rely on Coverity to help them ensure the delivery of superior software.

expecco – model-based test development

07.22.2008 · Posted in Links

expecco is an innovative product suite for model-based test development and execution. Create tests as easily as with a modular system. In expecco, tests are created as graphical models (activity diagrams). This enables employees without any programming know-how to create, maintain and execute tests.

Reusable test blocks and extensive libraries greatly simplify the development, automation and evaluation of even the most complex test scenarios.

expecco offers comprehensive functions and libraries to automate tests and recurring tasks for web applications (Selenium IDE integrated), Window GUIs and general soft- and hardware.
link

Coverity -Static analysis, software quality for C, C++, Java

07.11.2008 · Posted in Links

Coverity Prevent, as static source code analysis tool is the leading automated approach to identifying and resolving the most critical defects in C, C++ and Java source code. By providing a complete understanding of your build environment, source code, and development process, Prevent sets the standard for enabling high-quality software.
Coverity’s Static source code analysis allows organizations to find & fix defects at the earliest stage in the software development life cycle, saving millions of dollars in associated costs. Prevent is the industry standard because only Coverity understands the strict requirements of static source code analysis.

link