A tool to help customers evaluate and manage the quality of their software.

1. Slide: 1Copyright © 2013 AdaCore
Quentin Ochem
Technical Account Manager
GNATdashboard

2. Slide: 2Copyright © 2013 AdaCore
• How compliant is my software is with regards to my standards?
– Style check
– Coding standard enforcements
• How maintainable is my software?
– Complexity
– Metrics
• How well tested is my software?
– Code coverage
– Test results
• How safe is my software?
– Code warnings
– Formal Prooving
– Stack usage
What is Software Quality?

3. Slide: 3Copyright © 2013 AdaCore
Tools to compute Software Quality data on code
Developer-oriented interfaces are available
What is available today?

4. Slide: 4Copyright © 2013 AdaCore
A comprehensive interface that:
Aggregates and combines software quality data
Presents software quality data in high level reports
What is under development

5. Slide: 5Copyright © 2013 AdaCore
Spotlight on GNATdashboard Environment
GCC
GNATcheck
GNATstack
GNATmetrics
GNATtest
GCov
GProf
CodePeer
Compiler Warnings
Stack Usage Information
Vulnerabilities
Style Check Violations
Coverage Information
Structural Coverage
Performances Results
Test Results
Run
Driver
SonarQube
GPS
GNATbench
Query
Engine

6. Slide: 6Copyright © 2013 AdaCore
• Beta Program with GNAT Pro 7.2 – February 2014
• GNATdashboard is included with all GNAT Pro distributions
• SonarQube plug-in is included with GNATdashboard
• SonarQube environment can be either
– Downloaded from http://www.sonarqube.org/
– Obtained with a support contract from Sonar Source http://www.sonarsource.com/
• First official release with GNAT Pro 7.3 - February 2015
Roadmap

7. Slide: 7Copyright © 2013 AdaCore
1994
T
Live Demo

8. Slide: 8Copyright © 2013 AdaCore