Enviar búsqueda
Cargar
GNATdashboard
•
Descargar como PPTX, PDF
•
0 recomendaciones
•
7,585 vistas
AdaCore
Seguir
A tool to help customers evaluate and manage the quality of their software.
Leer menos
Leer más
Tecnología
Denunciar
Compartir
Denunciar
Compartir
1 de 8
Descargar ahora
Recomendados
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
AdaCore
GNAT Pro User Day: Ada Factory
GNAT Pro User Day: Ada Factory
AdaCore
GNAT Pro User Day: AdaCore Insights
GNAT Pro User Day: AdaCore Insights
AdaCore
GNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: Ada at Ansaldo STS
AdaCore
GNAT Pro User Day: QGen: Simulink® static verification and code generation
GNAT Pro User Day: QGen: Simulink® static verification and code generation
AdaCore
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
AdaCore
Sonar Overview
Sonar Overview
Samuel Langlois
Wideband Audio Conferencing with Asterisk
Wideband Audio Conferencing with Asterisk
Saúl Ibarra Corretgé
Recomendados
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality
AdaCore
GNAT Pro User Day: Ada Factory
GNAT Pro User Day: Ada Factory
AdaCore
GNAT Pro User Day: AdaCore Insights
GNAT Pro User Day: AdaCore Insights
AdaCore
GNAT Pro User Day: Ada at Ansaldo STS
GNAT Pro User Day: Ada at Ansaldo STS
AdaCore
GNAT Pro User Day: QGen: Simulink® static verification and code generation
GNAT Pro User Day: QGen: Simulink® static verification and code generation
AdaCore
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools
AdaCore
Sonar Overview
Sonar Overview
Samuel Langlois
Wideband Audio Conferencing with Asterisk
Wideband Audio Conferencing with Asterisk
Saúl Ibarra Corretgé
Test Driven Infrastructure with Serverspec and KitchenCI
Test Driven Infrastructure with Serverspec and KitchenCI
Adedayo Akinpelu
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
DevOpsDays Tel Aviv
DevOps Practices: Continuous Delivery
DevOps Practices: Continuous Delivery
Doug Seven
Canary Analyze All The Things: How We Learned to Keep Calm and Release Often
Canary Analyze All The Things: How We Learned to Keep Calm and Release Often
C4Media
SFScon18 - Gerhard Sulzberger - Jason Tevnan - gitops with gitlab + terraform
SFScon18 - Gerhard Sulzberger - Jason Tevnan - gitops with gitlab + terraform
South Tyrol Free Software Conference
Parser Breakout Session
Parser Breakout Session
Zhipeng Huang
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
NETFest
2012 09 20 Linked In Presentation
2012 09 20 Linked In Presentation
kfdj
QA Fest 2018. Александр Венгер. ELK stack. Применение в нагрузочном тестирова...
QA Fest 2018. Александр Венгер. ELK stack. Применение в нагрузочном тестирова...
QAFest
GTG 2015 Presentation V2.0
GTG 2015 Presentation V2.0
Muthu Babu
Groovy there's a docker in my application pipeline
Groovy there's a docker in my application pipeline
Kris Buytaert
Mast Technology New Product Development Specialists
Mast Technology New Product Development Specialists
Jay Bell
RIPE NCC Tools and Services - An Update
RIPE NCC Tools and Services - An Update
RIPE NCC
NFV interoperability, for the success of commercial deployments
NFV interoperability, for the success of commercial deployments
OPNFV
Dev ops engineering and chatbots
Dev ops engineering and chatbots
Marcelo Cure
Netflix Playback Licensing Team is Hiring!
Netflix Playback Licensing Team is Hiring!
Joseph Breuer
TMA Solutions_4G LTE_testing_v6
TMA Solutions_4G LTE_testing_v6
TMA Solutions
Using static analysis tools within continuous integration systems
Using static analysis tools within continuous integration systems
Rogue Wave Software
Building an Open Source VoIP Hardware Phone
Building an Open Source VoIP Hardware Phone
Saúl Ibarra Corretgé
HIS 2015: Neil White - Advances in Practical Techniques for Critical Developm...
HIS 2015: Neil White - Advances in Practical Techniques for Critical Developm...
AdaCore
sudhir_2016
sudhir_2016
Sudhir Purohit
SonarQube - Should I Stay or Should I Go ?
SonarQube - Should I Stay or Should I Go ?
Geeks Anonymes
Más contenido relacionado
La actualidad más candente
Test Driven Infrastructure with Serverspec and KitchenCI
Test Driven Infrastructure with Serverspec and KitchenCI
Adedayo Akinpelu
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
DevOpsDays Tel Aviv
DevOps Practices: Continuous Delivery
DevOps Practices: Continuous Delivery
Doug Seven
Canary Analyze All The Things: How We Learned to Keep Calm and Release Often
Canary Analyze All The Things: How We Learned to Keep Calm and Release Often
C4Media
SFScon18 - Gerhard Sulzberger - Jason Tevnan - gitops with gitlab + terraform
SFScon18 - Gerhard Sulzberger - Jason Tevnan - gitops with gitlab + terraform
South Tyrol Free Software Conference
Parser Breakout Session
Parser Breakout Session
Zhipeng Huang
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
NETFest
2012 09 20 Linked In Presentation
2012 09 20 Linked In Presentation
kfdj
QA Fest 2018. Александр Венгер. ELK stack. Применение в нагрузочном тестирова...
QA Fest 2018. Александр Венгер. ELK stack. Применение в нагрузочном тестирова...
QAFest
GTG 2015 Presentation V2.0
GTG 2015 Presentation V2.0
Muthu Babu
Groovy there's a docker in my application pipeline
Groovy there's a docker in my application pipeline
Kris Buytaert
Mast Technology New Product Development Specialists
Mast Technology New Product Development Specialists
Jay Bell
RIPE NCC Tools and Services - An Update
RIPE NCC Tools and Services - An Update
RIPE NCC
NFV interoperability, for the success of commercial deployments
NFV interoperability, for the success of commercial deployments
OPNFV
Dev ops engineering and chatbots
Dev ops engineering and chatbots
Marcelo Cure
Netflix Playback Licensing Team is Hiring!
Netflix Playback Licensing Team is Hiring!
Joseph Breuer
TMA Solutions_4G LTE_testing_v6
TMA Solutions_4G LTE_testing_v6
TMA Solutions
Using static analysis tools within continuous integration systems
Using static analysis tools within continuous integration systems
Rogue Wave Software
Building an Open Source VoIP Hardware Phone
Building an Open Source VoIP Hardware Phone
Saúl Ibarra Corretgé
HIS 2015: Neil White - Advances in Practical Techniques for Critical Developm...
HIS 2015: Neil White - Advances in Practical Techniques for Critical Developm...
AdaCore
La actualidad más candente
(20)
Test Driven Infrastructure with Serverspec and KitchenCI
Test Driven Infrastructure with Serverspec and KitchenCI
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
THE STATE OF OPENTELEMETRY, DOTAN HOROVITS, Logz.io
DevOps Practices: Continuous Delivery
DevOps Practices: Continuous Delivery
Canary Analyze All The Things: How We Learned to Keep Calm and Release Often
Canary Analyze All The Things: How We Learned to Keep Calm and Release Often
SFScon18 - Gerhard Sulzberger - Jason Tevnan - gitops with gitlab + terraform
SFScon18 - Gerhard Sulzberger - Jason Tevnan - gitops with gitlab + terraform
Parser Breakout Session
Parser Breakout Session
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
.NET Fest 2018. Андрей Тарарака. Как порулить грузовиком в Австралии, находяс...
2012 09 20 Linked In Presentation
2012 09 20 Linked In Presentation
QA Fest 2018. Александр Венгер. ELK stack. Применение в нагрузочном тестирова...
QA Fest 2018. Александр Венгер. ELK stack. Применение в нагрузочном тестирова...
GTG 2015 Presentation V2.0
GTG 2015 Presentation V2.0
Groovy there's a docker in my application pipeline
Groovy there's a docker in my application pipeline
Mast Technology New Product Development Specialists
Mast Technology New Product Development Specialists
RIPE NCC Tools and Services - An Update
RIPE NCC Tools and Services - An Update
NFV interoperability, for the success of commercial deployments
NFV interoperability, for the success of commercial deployments
Dev ops engineering and chatbots
Dev ops engineering and chatbots
Netflix Playback Licensing Team is Hiring!
Netflix Playback Licensing Team is Hiring!
TMA Solutions_4G LTE_testing_v6
TMA Solutions_4G LTE_testing_v6
Using static analysis tools within continuous integration systems
Using static analysis tools within continuous integration systems
Building an Open Source VoIP Hardware Phone
Building an Open Source VoIP Hardware Phone
HIS 2015: Neil White - Advances in Practical Techniques for Critical Developm...
HIS 2015: Neil White - Advances in Practical Techniques for Critical Developm...
Similar a GNATdashboard
sudhir_2016
sudhir_2016
Sudhir Purohit
SonarQube - Should I Stay or Should I Go ?
SonarQube - Should I Stay or Should I Go ?
Geeks Anonymes
Addressing Cloud Security with OPA
Addressing Cloud Security with OPA
DiemShin
Driving Risks Out of Embedded Automotive Software
Driving Risks Out of Embedded Automotive Software
Parasoft
An overview of automated test suites and defect density in Android
An overview of automated test suites and defect density in Android
Vahid Garousi
Zero-bug Software, Mathematically Guaranteed
Zero-bug Software, Mathematically Guaranteed
Ashley Zupkus
The Best of Both Worlds: Agile Development and Fast Compliance
The Best of Both Worlds: Agile Development and Fast Compliance
Perforce
IBM i Application Lifecycle Management with Remain Software
IBM i Application Lifecycle Management with Remain Software
Remain Software
How to Operate Kubernetes CI/CD Pipelines at Scale
How to Operate Kubernetes CI/CD Pipelines at Scale
DevOps.com
Best Practices for Shifting Left Performance and Accessibility Testing
Best Practices for Shifting Left Performance and Accessibility Testing
Perfecto by Perforce
Journey to the center of DevOps - v6
Journey to the center of DevOps - v6
Venkat Janardhanam, MS, MBA
5WCSQ - Quality Improvement by the Real-Time Detection of the Problems
5WCSQ - Quality Improvement by the Real-Time Detection of the Problems
Takanori Suzuki
Enhancing Your Test Automation Scenario Coverage with Selenium - QA or the Hi...
Enhancing Your Test Automation Scenario Coverage with Selenium - QA or the Hi...
Perfecto by Perforce
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
Lisa Laxton
Keeping Your Continuous Test Automation Suites Continuously Valuable in DevOps
Keeping Your Continuous Test Automation Suites Continuously Valuable in DevOps
Perfecto by Perforce
Designing For Functional Safety? How to Apply a Coding Standard
Designing For Functional Safety? How to Apply a Coding Standard
Perforce
Project P Open Workshop
Project P Open Workshop
matteobordinadacore
Powersoft19 Overview - 2013
Powersoft19 Overview - 2013
Huzaifa Saadat
Security+ Course Overview (2008)
Security+ Course Overview (2008)
GTS Learning, Inc.
Lightning Session: How to Manage Your Agile Projects with SpiraTeam
Lightning Session: How to Manage Your Agile Projects with SpiraTeam
Inflectra
Similar a GNATdashboard
(20)
sudhir_2016
sudhir_2016
SonarQube - Should I Stay or Should I Go ?
SonarQube - Should I Stay or Should I Go ?
Addressing Cloud Security with OPA
Addressing Cloud Security with OPA
Driving Risks Out of Embedded Automotive Software
Driving Risks Out of Embedded Automotive Software
An overview of automated test suites and defect density in Android
An overview of automated test suites and defect density in Android
Zero-bug Software, Mathematically Guaranteed
Zero-bug Software, Mathematically Guaranteed
The Best of Both Worlds: Agile Development and Fast Compliance
The Best of Both Worlds: Agile Development and Fast Compliance
IBM i Application Lifecycle Management with Remain Software
IBM i Application Lifecycle Management with Remain Software
How to Operate Kubernetes CI/CD Pipelines at Scale
How to Operate Kubernetes CI/CD Pipelines at Scale
Best Practices for Shifting Left Performance and Accessibility Testing
Best Practices for Shifting Left Performance and Accessibility Testing
Journey to the center of DevOps - v6
Journey to the center of DevOps - v6
5WCSQ - Quality Improvement by the Real-Time Detection of the Problems
5WCSQ - Quality Improvement by the Real-Time Detection of the Problems
Enhancing Your Test Automation Scenario Coverage with Selenium - QA or the Hi...
Enhancing Your Test Automation Scenario Coverage with Selenium - QA or the Hi...
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
IMA/Thales SceneGate Viewer for OpenSimulator Presentation at OSCC19
Keeping Your Continuous Test Automation Suites Continuously Valuable in DevOps
Keeping Your Continuous Test Automation Suites Continuously Valuable in DevOps
Designing For Functional Safety? How to Apply a Coding Standard
Designing For Functional Safety? How to Apply a Coding Standard
Project P Open Workshop
Project P Open Workshop
Powersoft19 Overview - 2013
Powersoft19 Overview - 2013
Security+ Course Overview (2008)
Security+ Course Overview (2008)
Lightning Session: How to Manage Your Agile Projects with SpiraTeam
Lightning Session: How to Manage Your Agile Projects with SpiraTeam
Más de AdaCore
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
AdaCore
Have we a Human Ecosystem?
Have we a Human Ecosystem?
AdaCore
Rust and the coming age of high integrity languages
Rust and the coming age of high integrity languages
AdaCore
SPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic library
AdaCore
Developing Future High Integrity Processing Solutions
Developing Future High Integrity Processing Solutions
AdaCore
Taming event-driven software via formal verification
Taming event-driven software via formal verification
AdaCore
Pushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program Proof
AdaCore
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
AdaCore
Product Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configuration
AdaCore
Securing the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded Software
AdaCore
Spark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware Development
AdaCore
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
AdaCore
The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!
AdaCore
Adaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR Architecture
AdaCore
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
AdaCore
Software Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar Technology
AdaCore
MISRA C in an ISO 26262 context
MISRA C in an ISO 26262 context
AdaCore
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle software
AdaCore
The Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling Software
AdaCore
Bounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise Environment
AdaCore
Más de AdaCore
(20)
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
Have we a Human Ecosystem?
Have we a Human Ecosystem?
Rust and the coming age of high integrity languages
Rust and the coming age of high integrity languages
SPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic library
Developing Future High Integrity Processing Solutions
Developing Future High Integrity Processing Solutions
Taming event-driven software via formal verification
Taming event-driven software via formal verification
Pushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program Proof
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
Product Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configuration
Securing the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded Software
Spark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware Development
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!
Adaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR Architecture
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Software Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar Technology
MISRA C in an ISO 26262 context
MISRA C in an ISO 26262 context
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle software
The Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling Software
Bounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise Environment
Último
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
Rafal Los
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
Earley Information Science
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
Enterprise Knowledge
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Katpro Technologies
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
Michael W. Hawkins
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
Enterprise Knowledge
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
Principled Technologies
How to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
naman860154
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
vu2urc
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
apidays
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
Delhi Call girls
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
debabhi2
Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024
The Digital Insurer
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
Malak Abu Hammad
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
hans926745
Developing An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of Brazil
V3cube
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
Delhi Call girls
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Igalia
Último
(20)
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
How to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
Developing An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of Brazil
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
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.
Slide: 8Copyright ©
2013 AdaCore
Descargar ahora