terça-feira, 28 de novembro de 2017

TOOL: IBM Rational Logiscope (Static Analysis, Dynamic Testing)

FFR:

IBM Rational Logiscope is (amongst other things) a static analysis tool for C, C++, Java, and Ada.

Quoting:

"IBM Rational Logiscope tackles software quality head-on, providing a comprehensive suite of highly customizable static and dynamic testing tools to ensure that:

  1. Latent bugs and faulty constructs are detected and eliminated
  2. Software complies with required coding standards, whether they are personal standards, internal standards, or industry standards such as MISRA.
  3. Complex and error-prone areas of code are identified at the earliest stage and corrective actions are taken.
  4. Code review is automated and effort is focused on problematic area helping you adopt verification processes that are described by international standards such as SEI/CMMi, ISO/IEC 9216 and 9001, DO-178B, IEC 61508, EN 50128.
  5. Unnecessary duplicated code blocks are identified and removed, therefore optimizing your testing effort and maintenance effort over time.
  6. Testing is both comprehensive and efficient by identifying untested pieces of code. "

(...)

"The proven verification capabilities of IBM Rational Logiscope help you optimize expensive development resources to reliably deliver on-time, on-budget, and to specification.

IBM Rational Logiscope currently supports four programming languages: C, C++, Java, and Ada. It is available on Windows, UNIX, and Linux platforms and includes four different products:
  • IBM Rational Logiscope RuleChecker, for code rule checking
  • IBM Rational Logiscope QualityChecker, for code quality metrics
  • IBM Rational Logiscope Code Reducer, for finding code similarities
  • IBM Rational Logiscope TestChecker, for dynamic test coverage analysis
IBM Rational Logiscope RuleChecker V6.6 introduces support for MISRA C++ code rules checking, allowing organization to comply with this industry-standard set of rules. IBM Rational Logiscope RuleChecker now allows verifying MISRA code rules on code generated by IBM Rational Rhapsody."