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