Java Software Verification Tools: Evaluation and Recommended Methodology

PDF

Authors
  1. Painchaud, F.
  2. Carbone, R.
Corporate Authors
Defence R&D Canada - Suffield, Ralston ALTA (CAN)
Abstract
Free and Open Source Software (FOSS) is now being adopted worldwide in many different organizations, such as governments, agencies, and companies, which want to reduce their software acquisitional cost, decrease their economic loss at the national level caused by commercial software imports, and develop national information technology expertise by means of access to source code. However, this current trend makes these organizations face a new challenge in software maturity, quality, and security assessment. Indeed, how can they be assured that the FOSS they are selecting among thousands of different projects is mature and secure enough? Hopefully, the availability of source code enables not only manual peer reviewing but also automatic and mechanical verification with a plethora of software tools. This document categorizes, lists, and describes many of these automated software verification tools for Java. Java has been selected as the programming language because an increasing percentage of FOSS is now developed with this modern and more easily verifiable language. Moreover, this document details the best tools and gives a verification methodology in order to efficiently assess overall Java software quality, which is a pressing need for concerned managers.

Il y a un résumé en français ici.

Report Number
DRDC-SUFFIELD-TM-2005-226 — Technical Memorandum
Date of publication
01 Feb 2007
Number of Pages
74
DSTKIM No
CA029129
CANDIS No
527369
Format(s):
CD ROM

Permanent link

Document 1 of 1

Date modified: