Helix QAC, formerly QA·C is a commercial

static code analysis In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution. The term i ...

software tool produced by Minneapolis, Minnesota-based software vendor

Perforce Software Perforce, legally Perforce Software, Inc., is an American developer of software used for developing and running applications, including version control software, web-based repository management, developer collaboration, application lifecycle mana ...

.QAC means Quality Assurance and Control. The software was originally developed in 1986 by UK-based

Programming Research Limited Programming Research Limited (PRQA) was a United Kingdom-based developer of code quality management software for embedded software, which included the static program analysis tools QA·C and QA·C++, now known as Helix QAC. It created the High Int ...

(PRQA) for the

C language C (''pronounced like the letter c'') is a general-purpose computer programming language. It was created in the 1970s by Dennis Ritchie, and remains very widely used and influential. By design, C's features cleanly reflect the capabilities o ...

. Perforce acquired PRQA in May 2018. Helix QAC was used to make the C

source code In computing, source code, or simply code, is any collection of code, with or without comments, written using a human-readable programming language, usually as plain text. The source code of a program is specially designed to facilitate the wo ...

measurements given in the book ''Safer C'' by

Les Hatton Les Hatton (born 5 February 1948) is a British-born computer scientist and mathematician most notable for his work on failures and vulnerabilities in software controlled systems. He was educated at King's College, Cambridge 1967–1970 and the U ...

. HeliX QAC can be used for quality assurance of C source code and checking the code for conformance to coding guidelines such as

MISRA C MISRA C is a set of software development guidelines for the C programming language developed by The MISRA Consortium. Its aims are to facilitate code safety, security, portability and reliability in the context of embedded systems, specifically ...

. Other functionality includes the ability to calculate code

metric Metric or metrical may refer to: * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics In mathem ...

s for projects with large code-bases. The tools operate through an

integrated development environment An integrated development environment (IDE) is a software application that provides comprehensive facilities to computer programmers for software development. An IDE normally consists of at least a source code editor, build automation tools a ...

(IDE) designed to help maintain and understand old and new code using detailed cross references and a variety of graphical views. The tools can be used with a command line interface, and graphical IDE can be called to display the result.

References

External links

*
Evaluating the relation between coding standard violations and faults within and across versions
{{DEFAULTSORT:Qa-C History of computing in the United Kingdom Static program analysis tools

See also

References

External links