Slide: 1Copyright © 2013 AdaCore
Quentin Ochem
Technical Account Manager
GNATdashboard
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?
Slide: 3Copyright © 2013 AdaCore
Tools to compute Software Quality data on code
Developer-oriented interfaces are available
What is available today?
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
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
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
Slide: 7Copyright © 2013 AdaCore
1994
T
Live Demo
Slide: 8Copyright © 2013 AdaCore

GNATdashboard

  • 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.