View
1
Download
0
Category
Preview:
Citation preview
SoftwareVerificationIntroduction to Software Testing & Static Analysis
2조
이상혁
왕홍강
김태영
2016-03-18
1.1 Overview
Overview
2 / 87
1.1 Overview
Overview
3 / 87
1.2 Install JDK
Install JDK
4 / 87
JDK 8 다운로드페이지 (여기) 접속
이용약관동의, 자신의 OS에 맞게다운로드
1.2 Install JDK
Install JDK
5 / 87
JDK 8 다운로드페이지 (여기) 접속
다운로드완료후실행
1.2 Install JDK
Install JDK
6 / 87
JDK 8 다운로드페이지 (여기) 접속
다운로드완료후실행 > 설치옵션지정
1.2 Install JDK
Install JDK
7 / 87
JDK 8 다운로드페이지 (여기) 접속
다운로드완료후실행 > 설치옵션지정 > JRE 설치
1.2 Install JDK
Install JDK
8 / 87
JAVA_HOME 설정
컴퓨터속성클릭
1.2 Install JDK
Install JDK
9 / 87
JAVA_HOME 설정
컴퓨터속성클릭 > 고급시스템설정클릭
1.2 Install JDK
Install JDK
10 / 87
JAVA_HOME 설정
컴퓨터속성클릭 > 고급 시스템설정클릭 > 환경변수클릭
1.2 Install JDK
Install JDK
11 / 87
JAVA_HOME 설정
컴퓨터속성클릭 > 고급 시스템설정클릭 > 환경변수클릭 > 새로만들기(시스템변수) 클릭
1.2 Install JDK
Install JDK
12 / 87
JAVA_HOME 설정
컴퓨터속성클릭 > 고급 시스템설정클릭 > 환경변수클릭 > 새로만들기(시스템변수) 클릭 >
변수이름 : JAVA_HOME
변수값 : (JDK가 설치된경로)
입력후확인클릭 > 재부팅
1.3 Install Intellij
Install IntelliJ
13 / 87
IntelliJ VS Eclipse
사실 IDE는개인취향…
IntelliJ 의 장점 (개인적으로이클립스보다좋다고생각 하는 점)
- 어시스트기능이정말좋음
- 이클립스보다가벼움
- 직관적인디버거
- 편한 Refactoring 기능
- 깔끔한테마
1.3 Install Intellij
Install IntelliJ
14 / 87
Jetbrains 학생 라이선스구매 (무료)
여기에접속하여하단의 APPLY NOW 클릭
1.3 Install Intellij
Install IntelliJ
15 / 87
Jetbrains 학생 라이선스구매 (무료)
모든정보입력후 APPLY FOR FREE PRODUCTS클릭
1.3 Install Intellij
Install IntelliJ
16 / 87
Jetbrains 학생 라이선스구매 (무료)
모든정보입력후 APPLY FOR FREE PRODUCTS클릭 > 인증메일의 Confirm Request 클릭
1.3 Install Intellij
Install IntelliJ
17 / 87
Jetbrains 학생 라이선스구매 (무료)
Jetbrains Account 페이지접속 (여기) > Forgot password?클릭
1.3 Install Intellij
Install IntelliJ
18 / 87
Jetbrains 학생 라이선스구매 (무료)
Jetbrains Account 페이지접속 (여기) > Forgot password?클릭 > 계정생성메일의 Create account클릭
1.3 Install Intellij
Install IntelliJ
19 / 87
Jetbrains 학생 라이선스구매 (무료)
정보입력후 Submit클릭
1.3 Install Intellij
Install IntelliJ
20 / 87
Jetbrains 학생 라이선스구매 (무료)
정보입력후 Submit클릭 > Please review License Agreement 클릭
1.3 Install Intellij
Install IntelliJ
21 / 87
Jetbrains 학생 라이선스구매 (무료)
정보입력후 Submit클릭 > Please review License Agreement 클릭 > Accept클릭
1.3 Install Intellij
Install IntelliJ
22 / 87
IntelliJ 다운로드 & 설치
IntelliJ 홈페이지의다운로드페이지(여기) > Ultimate의 DOWNLOAD 클릭
1.3 Install Intellij
Install IntelliJ
23 / 87
IntelliJ 다운로드 & 설치
IntelliJ 홈페이지의다운로드페이지(여기) > Ultimate의 DOWNLOAD 클릭 > 실행클릭
1.3 Install Intellij
Install IntelliJ
24 / 87
IntelliJ 다운로드 & 설치
Next클릭
1.3 Install Intellij
Install IntelliJ
25 / 87
IntelliJ 다운로드 & 설치
Next클릭 > 경로지정후 Next클릭
1.3 Install Intellij
Install IntelliJ
26 / 87
IntelliJ 다운로드 & 설치
Next클릭 > 경로지정후 Next클릭 > 바로가기등설정후 Next클릭
1.3 Install Intellij
Install IntelliJ
27 / 87
IntelliJ 다운로드 & 설치
Next클릭 > 경로지정후 Next클릭 > 바로가기등설정후 Next클릭 > Install클릭
1.3 Install Intellij
Install IntelliJ
28 / 87
IntelliJ 다운로드 & 설치
Next클릭 > 경로지정후 Next클릭 > 바로가기등설정후 Next클릭 > Install클릭 > Finish 클릭
1.3 Install Intellij
Install IntelliJ
29 / 87
IntelliJ 초기 설정
1.3 Install Intellij
Install IntelliJ
30 / 87
IntelliJ 초기 설정
OK 클릭
1.3 Install Intellij
Install IntelliJ
31 / 87
IntelliJ 초기 설정
OK 클릭 > Accept클릭
1.3 Install Intellij
Install IntelliJ
32 / 87
IntelliJ 초기 설정
OK 클릭 > Accept클릭 > 라이센스정보입력후 OK 클릭
1.3 Install Intellij
Install IntelliJ
33 / 87
IntelliJ 초기 설정
OK 클릭 > Accept클릭 > 라이센스정보입력후 OK 클릭 > 테마설정후 Next클릭
1.3 Install Intellij
Install IntelliJ
34 / 87
IntelliJ 초기 설정
OK 클릭 > Accept클릭 > 라이센스정보입력후 OK 클릭 > 테마설정후 Next클릭 > 기본플러그인설정후 Next클릭
1.3 Install Intellij
Install IntelliJ
35 / 87
IntelliJ 초기 설정
Start using IntelliJ IDEA 클릭
1.4 New Project
New Project
36 / 87
신규 프로젝트생성
Create New Project 클릭
1.4 New Project
New Project
37 / 87
신규 프로젝트생성
Create New Project 클릭 > 좌측메뉴에서 Gradle클릭
1.4 New Project
New Project
38 / 87
신규 프로젝트생성
Create New Project 클릭 > 좌측메뉴에서 Gradle클릭 > New클릭 > JDK 클릭
1.4 New Project
New Project
39 / 87
신규 프로젝트생성
Create New Project 클릭 > 좌측메뉴에서 Gradle클릭 > New클릭 > JDK 클릭 > JDK 경로설정후 OK 클릭
1.4 New Project
New Project
40 / 87
신규 프로젝트생성
Project SDK 확인후 Next클릭
1.4 New Project
New Project
41 / 87
신규 프로젝트생성
Project SDK 확인후 Next클릭 > GroupId, ArtifactId, Version 입력후 Next클릭
1.4 New Project
New Project
42 / 87
신규 프로젝트생성
Project SDK 확인후 Next클릭 > GroupId, ArtifactId, Version 입력후 Next클릭 > Create ~~ 체크후 Next클릭
1.4 New Project
New Project
43 / 87
신규 프로젝트생성
Finish 클릭
1.4 New Project
New Project
44 / 87
신규 프로젝트생성
1.5 JUnit
JUnit
45 / 87
JUnit란?
Java진영에서널리사용하는 Unit Test Framework
주요 API
assertArrayEquals(a,b) : 배열 a와b가일치함을확인
assertEquals(a,b) : 객체 a와b의값이같은지확인
assertSame(a,b) : 객체 a와b가같은객체임을확인
assertTrue(a) : a가참인지확인
assertNotNull(a) : a객체가 null이아님을확인
1.5 JUnit
JUnit
46 / 87
간단한테스트를위한 더미 코드작성
src-main-java 에서오른쪽 마우스를클릭하여 New > Java Class 클릭
1.5 JUnit
JUnit
47 / 87
간단한테스트를위한 더미 코드작성
클래스이름을입력한뒤 OK 클릭
1.5 JUnit
JUnit
48 / 87
간단한테스트를위한 더미 코드작성
1.5 JUnit
JUnit
49 / 87
간단한테스트를위한 더미 코드작성
아래와같이더미코드를작성
1.5 JUnit
JUnit
50 / 87
유닛테스트코드작성
class 이름위에서 Alt + Enter > Create Test 클릭
1.5 JUnit
JUnit
51 / 87
유닛테스트코드작성
class 이름위에서 Alt + Enter > Create Test 클릭 > 생성할것들을체크한이후 OK 클릭
1.5 JUnit
JUnit
52 / 87
유닛테스트코드작성
테스트클래스가생성됨
1.5 JUnit
JUnit
53 / 87
유닛테스트코드작성
테스트클래스가생성됨 > 아래의내용과같이테스트코드를작성
1.5 JUnit
JUnit
54 / 87
유닛테스트코드작성
테스트클래스가생성됨 > 아래의내용과같이테스트코드를작성 > 테스트실행 (해당함수만테스트)
1.5 JUnit
JUnit
55 / 87
유닛테스트코드작성
테스트클래스가생성됨 > 아래의내용과같이테스트코드를작성 > 테스트실행 (해당함수만테스트) > 테스트결과 확인
1.6 Gradle
Gradle?
56 / 87
빌드 자동화툴로Maven과경쟁구도를이루고있음
- Maven의경우단순한빌드코드작성도 XML 때문에너무나장황한일이됨
- Gradle도Maven 레포를끌어다쓸수있음
- Ant의모든테스크사용가능
1.6 Gradle
Gradle
57 / 87
build.gradle
repositories
의존성파일등을받아올저장소리스트
dependencies
본프로젝트에필요한의존성 리스트
1.6 Gradle
Gradle
58 / 87
IntelliJ 하단의 Terminal > gradlew build입력,엔터
1.6 Gradle
Gradle
59 / 87
IntelliJ 하단의 Terminal > gradlew build입력,엔터
1.6 Gradle
Gradle
60 / 87
IntelliJ 하단의 Terminal > gradlew build입력,엔터
1.6 Gradle
Gradle
61 / 87
작동테스트를위해아까작성한테스트코드를아래와같이수정
1.6 Gradle
Gradle
62 / 87
IntelliJ 하단의 Terminal > gradlew check입력,엔터
1.6 Gradle
Gradle
63 / 87
IntelliJ 하단의 Terminal > gradlew check입력,엔터
1.7 Github
Git?
64 / 87
Git -분산버전관리시스템
1.7 Github
Git for windows 설치
65 / 87
Git for windows는윈도우용 git cli 클라이언트입니다.
홈페이지(여기)에서 Download클릭
1.7 Github
Git for windows 설치
66 / 87
Git for windows는윈도우용 git cli 클라이언트입니다.
홈페이지(여기)에서 Download클릭 > Next클릭
1.7 Github
Git for windows 설치
67 / 87
Git for windows는윈도우용 git cli 클라이언트입니다.
홈페이지(여기)에서 Download클릭 > Next클릭 > PATH env선택후 Next클릭
1.7 Github
Git for windows 설치
68 / 87
Git for windows는윈도우용 git cli 클라이언트입니다.
홈페이지(여기)에서 Download클릭 > Next클릭 > PATH env선택후 Next클릭 > 뉴라인결정후 Next클릭
1.7 Github
Github?
69 / 87
Git을호스팅해주는서비스로수많은기업들과오픈소스개발자들에게사랑을받고있음
1.7 Github
Github회원가입
70 / 87
username(아이디)와메일주소, 비밀번호만으로간단하게가입할수있음
1.7 Github
Create Repository
71 / 87
로그인후메인페이지에서 New repository 클릭
1.7 Github
Create Repository
72 / 87
로그인후메인페이지에서 New repository 클릭 > 간단한정보기입후 Create repository 클릭
1.7 Github
Create Repository
73 / 87
로그인후메인페이지에서 New repository 클릭 > 간단한정보기입후 Create repository 클릭 > 생성완료
1.8 Travis CI
Travis CI?
74 / 87
Travis CI는 GitHub과연동해지속적통합(Continuous Integration)을호스팅해주는서비스입니다.
https://travis-ci.org 에서 Github아이디로로그인
1.8 Travis CI
Travis CI
75 / 87
Travis CI는 GitHub과연동해지속적통합(Continuous Integration)을호스팅해주는서비스입니다.
https://travis-ci.org 에서 Github아이디로로그인 > + 버튼클릭
1.8 Travis CI
Travis CI
76 / 87
Travis CI는 GitHub과연동해지속적통합(Continuous Integration)을호스팅해주는서비스입니다.
https://travis-ci.org 에서 Github아이디로로그인 > + 버튼클릭 > Sync account클릭
1.8 Travis CI
Travis CI
77 / 87
Travis CI는 GitHub과연동해지속적통합(Continuous Integration)을호스팅해주는서비스입니다.
https://travis-ci.org 에서 Github아이디로로그인 > + 버튼클릭 > Sync account클릭 > 해당레포의 X 버튼클릭
1.8 Travis CI
Travis CI
78 / 87
Travis CI는 GitHub과연동해지속적통합(Continuous Integration)을호스팅해주는서비스입니다.
Travis CI 메인에해당레포가추가됨을확인
1.8 Travis CI
Travis CI
79 / 87
프로젝트루트디렉토리에 .travis.yml 파일을추가
1.9 Commit
Commit
80 / 87
Git Bash 실행
1.9 Commit
Commit
81 / 87
Git Bash 실행 > 레포초기화, 커미터정보입력
1.9 Commit
Commit
82 / 87
Git Bash 실행 > 레포초기화, 커미터정보입력 > branch 생성 > commit대상지정 > commit
–.gitignore를만들어제외리스트를관리하면효율적으로관리가능
1.9 Commit
Commit
83 / 87
Git Bash 실행 > 레포초기화, 커미터정보입력 > branch 생성 > commit대상지정 > commit > push
1.9 Commit
Commit
84 / 87
1.9 Commit
Commit
85 / 87
1.9 Commit
Commit
86 / 87
Recommended