sv t3 3dslab.konkuk.ac.kr/class/2019/19sv/team project/3/[tp3]t3... · 2019-05-03 · continuous...

29
SOFTWARE VERIFICATION TEAM [3] PROJECT CTIP WITH STATIC ANALYSIS

Upload: others

Post on 06-Jul-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

SOFTWARE VERIFICATION

TEAM [3] PROJECT CTIP WITH STATIC ANALYSIS

Page 2: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

REVIEW CTIP

STATIC ANALYSIS TOOL

CTIP WITH SAT

INDEX

Page 3: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

REVIEW CTIP “CONTINUOUS TEST & INTEGRATION PLATFORM”

Page 4: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

WHY DO WE NEED CTIP?

Page 5: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

BASED JENKINS

CONTINUOUS INTEGRATION

Page 6: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL “WHAT ARE THERE, WHAT ARE THEY DO”

Page 7: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

COBERTURA

Page 8: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

PMD

Page 9: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

PMD

Page 10: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

PMD

Page 11: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

PMD

Page 12: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

FINDBUGS

Page 13: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

CHECKSTYLE

Page 14: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

CHECKSTYLE

Page 15: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

PMD

Page 16: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

FINDBUGS

Page 17: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

CHECKSTYLE

Page 18: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

CHECKSTYLE

Page 19: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

COBERTURA

COBERTURA

Page 20: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

JACOCO

Page 21: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

SONARQUBE

Page 22: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

SONARQUBE

Page 23: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

SONARQUBE

Page 24: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

STATIC ANALYSIS TOOL

SONARQUBE

Page 25: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

CTIP WITH SAT “CTIP WITH SONARQUBE”

Page 26: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

BASED JENKINS

CONTINUOUS INTEGRATION

Page 27: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

DEMONSTRATION

Page 28: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

Q&A “EVERYTHING”

Page 29: SV T3 3dslab.konkuk.ac.kr/Class/2019/19SV/Team Project/3/[TP3]T3... · 2019-05-03 · continuous integration. static analysis tool “what are there, what are they do ... “everything

THANKS