PowerPoint 프레젠테이션

Size: px
Start display at page:

Download "PowerPoint 프레젠테이션"

Transcription

1 2018 SOFTWARE VERIFICATION 2 nd Testing System Test, Static Analysis ( 월 ) SV T 김민환 전세진 서희진 조민규

2 2 nd Testing 2018 SOFTWARE VERIFICATION 1. Feedback 2. Specification Review 3. System Testing 4. Static Analysis 5. Summary

3 01. Feedback

4 FeedBack 01 Presentation Review 114p 45p 8p 0p 소프트웨어검증팀 소프트웨어모델링팀

5 FeedBack 01 Presentation Review [2018 SMA T1] 5 th 발표 2p 직관적이지않은인터페이스 1. 처음받았을당시매뉴얼의부재 어떤식으로동작하는지판별불가 2. ItemType, ItemID, ItemBank.. 어떤범위의값을갖는지 문서에명시되어있지않음. [2018 SV] 4 th 보고서 3. 카드를넣을때에도계좌번호를넣어주어야함 카드 나 통장을넣어주세요..?

6 FeedBack 01 Presentation Review [2018 SMA T1] 5 th 발표 2p 지난발표 Brute Force Testing 결과 Hmm..

7 FeedBack 01 Presentation Review [2018 SMA T1] 5 th 발표 8p 1. 예외처리 실행이안되는에러의예외처리필요 2. 알람 문제가생겼을때알람이오지않는다 = 문제가생겨도그냥진행된다. 3. 환율정보 지난발표에서의중요한내용이아님.

8 FeedBack 01 결론 불친절한발표자료 발표주제와다른내용만을나열함 + 대응보고서의부재 필수사항은아니지만 이전단계문서수정내역파악어려움

9 02. Specification Review

10 Spec Review Functional Requirements [Stage 1000] Planning Define Requirements 2. Deposit : 증감 증가 End Use Case 정의되어있지않음

11 Spec Review [Stage 1000] Planning Record Terms in Glossary ATM 에서지급하는구조가아님, OOAD 개발방법론을따랐는지의문

12 Spec Review [Stage 1000] Planning Define Business Concept Models 불필요한심볼의정의 (Sensor, History)

13 Spec Review Check [Stage 2030 & 2040] Analysis & Design Describe Use Case 과 2040, 2041 Use Case 불일치

14 Spec Review Deposit [Stage 2030 & 2040] Analysis & Design Describe Use Case 과 2040, 2041 Use Case 불일치

15 Spec Review Withdraw [Stage 2030 & 2040] Analysis & Design Describe Use Case 과 2040, 2041 Use Case 불일치

16 Spec Review Withdraw [Stage 2030 & 2040] Analysis & Design Describe Use Case 과 2040, 2041 Use Case 불일치

17 Spec Review Transfer [Stage 2030 & 2040] Analysis & Design Describe Use Case 과 2040, 2041 Use Case 불일치 다른 Use Case 도모두다르므로생략

18 Spec Review [Stage 2030 & 2040] Analysis & Design Define Domain Model 사용하지않는 domain 들정의

19 Spec Review [Stage 2030] Analysis Refine Clossary 사용되지않은변수

20 Spec Review [Stage 2030] Analysis Sequence Diagram 이전발표내용반영되지않음

21 Spec Review [Stage 2030] Analysis Define Operation Contracts 6.2 selectservice(service) 모든 Service 가비밀번호를필요로하지는않으므로수정필요. ex) Deposit

22 Spec Review [Stage 2030] Analysis Define Operation Contracts 6.5 insertcash(type, amounts) Exceptions 에 원화와달러를섞어서입금할경우입금하지않는다 추가

23 Spec Review [Stage 2030] Analysis Define Operation Contracts 6.11 printrecept(print) 6.3 의 printreceipt 와중복되므로삭제필요

24 Spec Review [Stage 2040] Design Define Interaction Diagrams 이전발표이후로반영된사항없음 이전발표에서문제되었던부분확인요망합니다.

25 Spec Review [Stage 2040] Design Define Interaction Diagrams 명세에언급되어있던 end 가 interaction diagram 어디에도존재하지않음. Update 관련존재하지않음.

26 Spec Review [Stage 2040] Design Define Design Class Diagrams 2044에사용한함수들이명시되어있지않다. cashamount의데이터형이다르다. ATMadminID, ATMnation 변수가누락되어있다. confirmeditem, PWD는프로그램상에서존재하지않는변수이다. 함수의이름이다르다. (setdaterange setdatarange) 함수의반환값이다르다. (destaccount의반환값은 string이다.) checkresource의접근제어지시자는 public이다. bankdatadownload와 bootatm은존재하지않는다. 중복된변수가존재한다.

27 Spec Review [Stage 2040] Design Define Design Class Diagrams Conrifm, charge Traffic Card, withdraw, deposit 메소드의파라미터가다르다 존재하지않는 setaccountdata 존재

28 Spec Review [Stage 2040] Design Define Design Class Diagrams Book : 코드에 Spec 사용되는 ReviewFile Reader 가빠져있음 Account : 코드에존재하지않는 blocked 변수존재, book은배열이아님 TrafficCard : 코드에사용되는 File Reader & Count 존재하지않음

29 Spec Review [Stage 2050] Implementation Implement Class & Method 모든 Class 와 Method 의 Cross Reference 가 ctrl+c, ctrl+v 적절하지않은 Cross Reference 기재 이하생략

30 Spec Review [Stage 2050] Implementation Implement Class & Method insertcash 존재하지않는 Update, 너무많다 의기준이명확하지않음

31 Spec Review [Stage 2050] Implementation Implement Class & Method printreceipt & setdaterange 넘버링오류 ( 번호겹침 ) 오타 (setdatarange), 코드상에서사용되지않은메소드

32 Spec Review [Stage 2050] Implementation Implement Class & Method end 이전단계 (1000, 2030) 에서나오지않음.

33 Spec Review [Stage 2050] Implementation Implement Class & Method Confirm & WriteData item cache 인 Type 변수..? 넘버링오류 ( 번호겹침 )

34 Spec Review [Stage 2050] Implementation Implement Class & Method getbalance & ValidCheck 넘버링오류 ( 번호겹침 )

35 Spec Review [Stage 2050] Implementation Implement Class & Method linkaccount Cross Reference 누락

36 Spec Review [Stage 2050] Implementation Implement Class & Method transfer Cross Reference 누락

37 Spec Review [Stage 2050] Implementation Implement Class & Method set_balance 증감하지않는다.

38 Spec Review [Stage 2050] Implementation Implement Class & Method 2.1 waitreaditem 기다리는상황 x

39 Spec Review [Stage 2050] Implementation Implement Class & Method 2.5 selectnation Natinon 오타수정필요

40 02. System Testing

41 System Testing Category Partition Testing Categorize

42 CPT Category Partition Testing Categorize

43 System Testing Category Partition Testing Description

44 System Testing Category Partition Testing Description

45 System Testing Category Partition Testing Property & Const

46 System Testing Category Partition Testing Property & Const

47 System Testing Category Partition Testing SV 팀의에러수정 수정해준에러를복구한 SMA 팀

48 System Testing Category Partition Testing 0% Passed

49 System Testing Category Partition Testing 0% Passed

50 System Testing Category Partition Testing 25% Passed

51 System Testing Category Partition Testing 25% Passed

52 Spec Review Category Partition Testing CPT Passed Percentage 1 st Category Partition Testing => 42% Passed 2 nd Category Partition Testing => 25% Passed => 첫번째 CPT 보다낮아진 Passed Percentage

53 System Testing Category Partition Testing Summarize File 경로, Parsing 中 Array Index Out of Bounds와같은치명적인 Error 수정실패. Admin에게알림을주지않음 몇가지예외처리가잘되어있지않음 수수료등추가된일부기능에서에러발생

54 System Testing Pairwise Testing 결과파일

55 System Testing Pairwise Testing Test Cases & Result CPT 와마찬가지로프로그램시작부분에에러. 수정전테스트결과 : All Fail

56 System Testing Pairwise Testing Test Cases & Result ( 코드수정후 )

57 System Testing Pairwise Testing Test Cases & Result ( 코드수정후 ) 6 / 25 (24%) Pass

58 Spec Review Pairwise Testing PT Passed Percentage 1 st Pairwise Testing => 32% Passed 2 nd PairwiseTesting => 24% Passed => 첫번째 PT 보다낮아진 Passed Percentage

59 System Testing Pairwise Testing Pairwise Testing Summary 파일입출력과정에서의경로 / 자료구조문제심각. alarm 기능작동하지않음. 예외처리미흡. 약간의 UI 오류. 수수료등추가된일부기능에서에러발생

60 System Testing Brute Force Testing Test 아이템받아오기 Test Num 1-1 기존 P/F Fail (Pass) 현재 P/F Fail (Pass) 비고 ( 변화없음 ) 1-2 Fail (Pass) Fail (Pass) ( 변화없음 ) 1-3 Fail (Fail) Fail (Pass) 수정확인. 1-4 Fail (Fail) Fail (Pass) 수정확인. 1-5 Fail (Fail) Fail (Pass) 수정확인. 입금 2-1 Fail (Fail) Fail (Pass) 수정확인.(GitHub issue tracker 내용확인요함 ) 2-2 Fail (Pass) Fail (Pass) ( 변화없음 ) 60

61 System Testing 출금 3-1 Fail (Fail) 계좌이체 3-2 Fail (Pass ) 3-3 Fail (Fail) 3-4 Fail (Fail) 4-1 Fail (Pass ) 4-2 Fail (Fail) 4-3 Fail (Fail) 4-4 Fail (Pass ) 4-5 Fail (Pass ) Fail (Pass) Fail (Pass) Fail (Fail) Fail (Fail) Fail (Pass) Fail (Pass) Fail (Fail) Fail (Pass) Fail (Pass) 수정확인. ( 변화없음 ) UI에정상적으로출력되지않는다. 999만원까지밖에출금을진행할수없다. ( 변화없음 ) 수정확인. 999만원까지밖에이체를진행할수없다. ( 변화없음 ) ( 변화없음 ) Brute Force Testing 61

62 System Testing Brute Force Testing 알림 5-1 Fail (Fail) 5-2 Fail (Fail) 5-3 Fail (Fail) 5-4 Fail (Fail) 교통카드 6-1 Fail (Fail) 6-2 Fail (Fail) Fail (Fail) Fail (Fail) Fail (Fail) Fail (Fail) Fail (Fail) Fail (Pass) 메일기능비정상. ( 신규오류에추가 ) 메일기능비정상. ( 신규오류에추가 ) 메일기능비정상. ( 신규오류에추가 ) 메일기능비정상. ( 신규오류에추가 ) 3달러가출금됨. 수정확인. 0 / 22 = 0% Passed (15 / 22 = 68.18% Passed) 62

63 System Testing Brute Force Testing Why? FileNotFoundException 은 2 주연속으로문제가발생하는것을확인함. 따라서 Pass percentage 는 0% 로책정이가능함. 괄호안은 FileNotFoundException 을제외한결과임. 63

64 System Testing Brute Force Testing 신규오류 1. Deposit 진행시 mail 발송관련 Exception 이출력됨. 64

65 System Testing Brute Force Testing 신규오류 2. 외국은행에서 withdraw 진행시 2. 국내은행에서 withdraw 진행시 무조건달러로출금된다. 무조건원화로출금된다. 65

66 System Testing Brute Force Testing 4-2. 외화를출금시 10 배의금액이출금된다 세자리의숫자만출금이가능하다 교통카드의발급비용은 0.3$ 라고명시되어있지만 3$ 가출금된다. 66

67 04. Static Analysis

68 Static Analysis In CTIP - Github Issue Tracker Github issue Tracker 를이용한이슈관리

69 Static Analysis In CTIP - Github Issue Tracker label 을활용한소통 milestone 활용

70 Static Analysis In CTIP SonarQube & Jenkins 92 번째 Build 를기준으로진행

71 Static Analysis In CTIP SonarQube & Jenkins 이전 Build 와의비교 기존의 Bug, Vulnerabilities 전혀해결되지않음 Bug, Vulnerability 의개수늘어남

72 Static Analysis In CTIP SonarQube & Jenkins Bug

73 Static Analysis In CTIP SonarQube & Jenkins Bug

74 Static Analysis In CTIP SonarQube & Jenkins Vulnerability printstacktrace() 사용 Code scroll 에서도발견되는 Vulnerability 문제

75 Static Analysis 패키지명, 변수명규칙 In CTIP SonarQube & Jenkins Code Smell

76 Static Analysis Inappropriate Naming 출처 : 오라클홈페이지 (

77 Static Analysis Inappropriate Naming 출처 : 오라클홈페이지 (

78 Static Analysis Code Scroll - 코드분석 소스 위배수 위배 *RCR **RV 규칙수 D GUIController.java % 0.36 ATM.java % 0.47 Bank.java % 0.27 Account.java % 0.46 TrafficCard.java % 0.37 Card.java % 0.34 Book.java % 0.32 GUIController.java 에서가장많은위배항목발견

79 Static Analysis Code Scroll - 주요위배내역 / 규칙 규칙 위배수 규칙설명 Sun_ 숫자상수사용금지 Sun_ 블록의시작부분에서만선언검사 Sun_10 72 지역변수선언시초기화검사 JAVA_72 63 메서드의설명주석이있어야함 JAVA_64 42 반복문안에서 String concatenation assignment 연산자의사용금지 Sun_06 26 소스라인길이검사 Sun_17 20 메서드내부의지역변수선언부와실행문장사이를빈줄로구분 주로소스코드의변수이름과관련된부분에서위배가발견됨

80 Static Analysis Code Scroll - 주요위배내역 / 규칙 심각도 위배수 포함된 위배 *SCR 설명 규칙수 규칙수 매우높음 % 프로그램에매우심각한여향을미치므로오류수정이필요함 높음 % 프로그램에심각한영향을줄수있으므로강력히권장됨 낮음 % 프로그램에영향을줄수있으므로오류수정이권장됨 매우낮음 % 프로그램에큰영향은없지만오류수정이권장됨

81 Static Analysis Code Scroll - 위배내역 ( 매우심각 ) 메서드 (printstacktrace) 가사용됨

82 Static Analysis Code Scroll - 위배내역 ( 심각 ) 반복문안에서 String concatenation 연산자를사용함 Figure 3 GUIController.java line 803

83 Static Analysis Code Scroll 위배내역 ( 심각 ) Identifier(pth_s) 가이미필드로선언되어있어 hide 가발생함 Figure 3 GUIController.java line 646

84 05. Summary

85 Summary Testing Result Category-Partition Test 6 / 25 = 24% Pass Pairwise Test 15 / 64 = 25% Pass Brute-force Test 15 / 22 = 62% Pass

86 Summary Category Partition Test & Pairwise Test Text File의경로가잘못되어실행이되지않는 Error 발생 Text File을 Parsing하는과정에서 Array Index Out of Bounds Error 발생 관리자에게 Alarm을보내야하는모든경우실패 1. ATM에돈이부족한경우 2. ATM에돈이너무많은경우 3. 영수증이부족한경우 4. 교통카드가부족한경우 User Interface 오류 1. 입금시금액출력오류 (50000원 -> 5000원 ) 2. 출금시금액입력화면에확인버튼이없음

87 Summary Brute Force Test 메일전송기능이제대로동작하지않는다. 여러경우에대해정확한예외처리가되어있지않다. 위와같은상황등 Error 가많으므로수정필요

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 Team 1 201611293 전다윤 201311287 엄현식 201311318 최정헌 01. 문서수정 02. System Test Review 03. Static Test Review 04. 소감 1 문서수정 문서수정 수정 System Test 문서 + 전문서에없던수정사항 수정 System Test 문서 문서수정 소프트웨어검증팀의문서대로수정한사항들 1008

More information

컴퓨터공학과 전세진 컴퓨터공학과 서희진 컴퓨터공학과 조민규 2

컴퓨터공학과 전세진 컴퓨터공학과 서희진 컴퓨터공학과 조민규 2 System Test Report for Team 1 1st Project Team Team 1 Latest update on: 2018-05-26 Team Information 컴퓨터공학과 201311263 김민환 1 컴퓨터공학과 201311308 전세진 컴퓨터공학과 201411278 서희진 컴퓨터공학과 201411317 조민규 2 Table of Contents

More information

Software Verification 1 st Testing System Test Team 고예은 김수현 김아름 1

Software Verification 1 st Testing System Test Team 고예은 김수현 김아름 1 Software Verification 1 st Testing System Test Team 5 201410373 고예은 201411266 김수현 201411268 김아름 1 Index 1. Specification Review... 3 1.1. Stage 1000 Planning... 3 1.2. Stage 2030 Analysis... 3 1.3. Stage

More information

A NEW CSE ATM OOPT Stage 1000 Project Team T3 Date Team Information 이원오 이재규

A NEW CSE ATM OOPT Stage 1000 Project Team T3 Date Team Information 이원오 이재규 A NEW CSE ATM OOPT Stage 1000 Project Team T3 Date 2018-04-17 ----------------------------------- Team Information 201311299 이원오 201311301 이재규 201311309 전홍준 INDEX 1. Activity 1001. Define Draft Plan 2.

More information

1.5 Issue TrafficCard Management Activity 2142 Define Reports, UI, and Storyboards window Window Windo

1.5 Issue TrafficCard Management Activity 2142 Define Reports, UI, and Storyboards window Window Windo Software Modeling & Analysis Global ATM System -Stage 2040. Design- Project Team 1 Team Date 2018-05-09 Team Information 201311287 엄현식 201311318 최정헌 201611293 전다윤 목차 1 Activity 2141 Design Real Use Cases...

More information

Microsoft Word - OOPT stage 2040 ver2.docx

Microsoft Word - OOPT stage 2040 ver2.docx JackPot ATM OOPT Stage 2040 ver2 Team 5 Date 2018-05-09 201312259 백만일 201112052 방민석 201211383 조영래 INDEX Activity 2041. Design Real Use Cases Activity 2042. Define Reports UI, and Storyboards

More information

A NEW CSE ATM OOPT Stage 1000 Project Team T3 Date Team Information 이원오 이재규

A NEW CSE ATM OOPT Stage 1000 Project Team T3 Date Team Information 이원오 이재규 A NEW CSE ATM OOPT Stage 1000 Project Team T3 Date 2017-04-17 ----------------------------------- Team Information 201311299 이원오 201311301 이재규 201311309 전홍준 INDEX 1. Activity 1001. Define Draft Plan 2.

More information

목차 1. Activity Implement Class &s Definitions ATM readitem selectservice selectnation

목차 1. Activity Implement Class &s Definitions ATM readitem selectservice selectnation Software Modeling & Analysis Global ATM System -Stage 2050 Construct & Stage 2060 Testing- Project Team 1 Team Date 2018-05-22 Team Information 201311287 엄현식 201311318 최정헌 201611293 전다윤 목차 1. Activity

More information

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000_ docx

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000_ docx OOPT Stage 1000 - Plan & Elaboration Feesual CPT Tool Project Team T8 Date 2017-03-30 T8 Team Information 201211347 박성근 201211376 임제현 201411270 김태홍 2017 Team 8 1 Table of Contents 1 Activity 1001. Define

More information

Static Analysis Report for Team 7 Project Team Team 7 Team Information 컴퓨터공학과 김성민컴퓨터공학과 김종우컴퓨터공학과 송원종

Static Analysis Report for Team 7 Project Team Team 7 Team Information 컴퓨터공학과 김성민컴퓨터공학과 김종우컴퓨터공학과 송원종 Static Analysis Report for Team 7 Project Team Team 7 Team Information 컴퓨터공학과 201111341 김성민컴퓨터공학과 201111345 김종우컴퓨터공학과 201211356 송원종 1 Code Scroll 2 Sonar Qube 3 PMD 1. CodeScroller CodeScroll Code Inspector

More information

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000 ver2.docx

Microsoft Word - [2017SMA][T8]OOPT_Stage_1000 ver2.docx OOPT Stage 1000 - Plan & Elaboration Feesual CPT Tool Project Team T8 Date 2017-04-13 T8 Team Information 201211347 박성근 201211376 임제현 201411270 김태홍 2017 Team 8 1 Table of Contents 1 Activity 1001. Define

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 _ 쾌적한 Clone Checker OOPT 2 nd Cycle System Test Software Modeling & Analysis 유준범교수님 Team. T1 201111388 조연호 201211374 이창오 201211379 장종훈 201314196 양동혁 목차 Contents Revise Plan Test Report Test Respond Report

More information

Ver. 4.0 OOPT Stage 1000 <Plan and Elaboration> Version 4.0 Project Team T7 Team Date Team Information 오세욱 임현유

Ver. 4.0 OOPT Stage 1000 <Plan and Elaboration> Version 4.0 Project Team T7 Team Date Team Information 오세욱 임현유 OOPT Stage 1000 Version 4.0 Project Team T7 Team Date 2017-05-20 Team Information 201414134 오세욱 201414136 임현유 201211375 임동현 201211387 하헌규 CPT T7 Team 1 Table of Contents 1 Activity

More information

Software Modeling & Analysis Global ATM System Project Team 1 Team Date Team Information 엄현식 최정헌 전다윤

Software Modeling & Analysis Global ATM System Project Team 1 Team Date Team Information 엄현식 최정헌 전다윤 Software Modeling & Analysis Global ATM System Project Team 1 Team Date 2018-03-31 Team Information 201311287 엄현식 201311318 최정헌 201611293 전다윤 목차 Activity 1001. Define Draft Plan... 4 1. Motivation... 4

More information

Microsoft Word - [2017SMA][T8]OOPT_Stage_2040 ver2.docx

Microsoft Word - [2017SMA][T8]OOPT_Stage_2040 ver2.docx OOPT Stage 2040 - Design Feesual CPT Tool Project Team T8 Date 2017-05-24 T8 Team Information 201211347 박성근 201211376 임제현 201411270 김태홍 2017 Team 8 1 Table of Contents 1. Activity 2041. Design Real Use

More information

SW Verification

SW Verification SW Verification 201211387 하헌규 201211337 김재현 201211354 성현구 201211369 이병찬 목차 Specification Review (2nd) System Test (2nd) Brute Force Test Category Partitioning Test Pairwise Combination Test Result & CTIP

More information

슬라이드 1

슬라이드 1 Pairwise Tool & Pairwise Test NuSRS 200511305 김성규 200511306 김성훈 200614164 김효석 200611124 유성배 200518036 곡진화 2 PICT Pairwise Tool - PICT Microsoft 의 Command-line 기반의 Free Software www.pairwise.org 에서다운로드후설치

More information

Software Modeling & Analysis Global ATM System Project Team 1 Team Date Team Information 엄현식 최정헌 전다윤

Software Modeling & Analysis Global ATM System Project Team 1 Team Date Team Information 엄현식 최정헌 전다윤 Software Modeling & Analysis Global ATM Project Team 1 Team Date 2018-03-31 Team Information 201311287 엄현식 201311318 최정헌 201611293 전다윤 목차 Activity 2010. Revise Plan... 3 Activity 2020. Synchronize Artifacts...

More information

Software Modeling & Analysis Global ATM System Project Team 1 Team Date Team Information 엄현식 최정헌 전다윤 목차 Activ

Software Modeling & Analysis Global ATM System Project Team 1 Team Date Team Information 엄현식 최정헌 전다윤 목차 Activ Software Modeling & Analysis Global ATM Project Team 1 Team Date 2018-03-31 Team Information 201311287 엄현식 201311318 최정헌 201611293 전다윤 목차 Activity 2010. Revise Plan... 2 Activity 2020. Synchronize Artifacts...

More information

Ver 1.0 마감하루전 Category Partitioning Testing Tool Project Team T1 Date Team Information 김강욱 김진욱 김동권

Ver 1.0 마감하루전 Category Partitioning Testing Tool Project Team T1 Date Team Information 김강욱 김진욱 김동권 마감하루전 Category Partitioning Testing Tool Project Team T1 Date 2017-05-12 Team Information 201111334 김강욱 201211339 김진욱 201312243 김동권 201510411 이소영 [ 마감하루전 ] T1 1 INDEX Activity 2041. Design Real Use Cases

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 OOAD Stage 2000 Payback ATM Mun gi tae / Han sang min Chart Revise Plan Synchronize Artifacts Analyze Revise Plan OOAD Stage 1000 ver1. OOAD Stage 1000 ver2. Revise Plan -Send Money -Withdraw

More information

Contents Activity Define Real s Activity Define Reports UI, and Storyboards Activity Refine System Architecture Activity Defin

Contents Activity Define Real s Activity Define Reports UI, and Storyboards Activity Refine System Architecture Activity Defin OSP Stage 2040 < Design > 그놈! Clone Checker Project Team T4 Date 2016-04-12 Team Information 201411258 강태준 201411265 김서우 201411321 홍유리 Team 4 1 Contents Activity 2041. Define Real s Activity 2042. Define

More information

소프트웨어개발방법론

소프트웨어개발방법론 사용사례 (Use Case) Objectives 2 소개? (story) vs. 3 UC 와 UP 산출물과의관계 Sample UP Artifact Relationships Domain Model Business Modeling date... Sale 1 1..* Sales... LineItem... quantity Use-Case Model objects,

More information

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for 2003 Development of the Software Generation Method using Model Driven Software Engineering Tool,,,,, Hoon-Seon Chang, Jae-Cheon Jung, Jae-Hack Kim Hee-Hwan Han, Do-Yeon Kim, Young-Woo Chang Wang Sik, Moon

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 2018 SOFTWARE VERIFICATION CTIP Version Control, Issue Management, Requirement Coverage 201311263 김민환 201311308 전세진 201411278 서희진 201411317 조민규 1 CTIP 2018 SOFTWARE VERIFICATION Version Control Issue Management

More information

슬라이드 1

슬라이드 1 UNIT 16 예외처리 로봇 SW 교육원 3 기 최상훈 학습목표 2 예외처리구문 try-catch-finally 문을사용핛수있다. 프로그램오류 3 프로그램오류의종류 컴파일에러 (compile-time error) : 컴파일실행시발생 럮타임에러 (runtime error) : 프로그램실행시발생 에러 (error) 프로그램코드에의해서해결될수없는심각핚오류 ex)

More information

final_thesis

final_thesis CORBA/SNMP DPNM Lab. POSTECH email : ymkang@postech.ac.kr Motivation CORBA/SNMP CORBA/SNMP 2 Motivation CMIP, SNMP and CORBA high cost, low efficiency, complexity 3 Goal (Information Model) (Operation)

More information

Software Verification System Test Report 2st Date Team 고수창 전소영 이세라 하지윤

Software Verification System Test Report 2st Date Team 고수창 전소영 이세라 하지윤 Software Verification System Test Report 2st Date 2018-06-04 Team 4 201411259 고수창 201411314 전소영 201412005 이세라 201511304 하지윤 1. Step1. Specification Review 3 1.2 Stage 2010 Revise Plan 4 1.3 Stage 2030

More information

Secure Programming Lecture1 : Introduction

Secure Programming Lecture1 : Introduction Malware and Vulnerability Analysis Lecture3-2 Malware Analysis #3-2 Agenda 안드로이드악성코드분석 악성코드분석 안드로이드악성코드정적분석 APK 추출 #1 adb 명령 안드로이드에설치된패키지리스트추출 adb shell pm list packages v0nui-macbook-pro-2:lecture3 v0n$

More information

Microsoft PowerPoint - CSharp-10-예외처리

Microsoft PowerPoint - CSharp-10-예외처리 10 장. 예외처리 예외처리개념 예외처리구문 사용자정의예외클래스와예외전파 순천향대학교컴퓨터학부이상정 1 예외처리개념 순천향대학교컴퓨터학부이상정 2 예외처리 오류 컴파일타임오류 (Compile-Time Error) 구문오류이기때문에컴파일러의구문오류메시지에의해쉽게교정 런타임오류 (Run-Time Error) 디버깅의절차를거치지않으면잡기어려운심각한오류 시스템에심각한문제를줄수도있다.

More information

슬라이드 1

슬라이드 1 -Part3- 제 4 장동적메모리할당과가변인 자 학습목차 4.1 동적메모리할당 4.1 동적메모리할당 4.1 동적메모리할당 배울내용 1 프로세스의메모리공간 2 동적메모리할당의필요성 4.1 동적메모리할당 (1/6) 프로세스의메모리구조 코드영역 : 프로그램실행코드, 함수들이저장되는영역 스택영역 : 매개변수, 지역변수, 중괄호 ( 블록 ) 내부에정의된변수들이저장되는영역

More information

Ver1.0

Ver1.0 Ver1.0 OOPT Stage 1000 Team. T2 201411278 서희진 201411304 이지수 201411317 조민규 201213189 박성규 2017 Team2 1 Stage 1000. Plan and Elaboration Activity 1001. Define Draft Plan... 3 Activity

More information

Software Modeling < < OOAD Stage 김정태 최정명 이낙원 송준현

Software Modeling < < OOAD Stage 김정태 최정명 이낙원 송준현 Software Modeling < < OOAD Stage 1000 200611460 김정태 200611521 최정명 200611499 이낙원 200611481 송준현 Activity. 1001 Name?? Act 1001 Name?? Smart DJ Coffee Maker! Act 1001 Turn Table!! 연속적으로

More information

Index Process Specification Data Dictionary

Index Process Specification Data Dictionary Index Process Specification Data Dictionary File Card Tag T-Money Control I n p u t/o u t p u t Card Tag save D e s c r i p t i o n 리더기위치, In/Out/No_Out. File Name customer file write/ company file write

More information

목차 BUG offline replicator 에서유효하지않은로그를읽을경우비정상종료할수있다... 3 BUG 각 partition 이서로다른 tablespace 를가지고, column type 이 CLOB 이며, 해당 table 을 truncate

목차 BUG offline replicator 에서유효하지않은로그를읽을경우비정상종료할수있다... 3 BUG 각 partition 이서로다른 tablespace 를가지고, column type 이 CLOB 이며, 해당 table 을 truncate ALTIBASE HDB 6.1.1.5.6 Patch Notes 목차 BUG-39240 offline replicator 에서유효하지않은로그를읽을경우비정상종료할수있다... 3 BUG-41443 각 partition 이서로다른 tablespace 를가지고, column type 이 CLOB 이며, 해당 table 을 truncate 한뒤, hash partition

More information

(Microsoft PowerPoint - java1-lecture11.ppt [\310\243\310\257 \270\360\265\345])

(Microsoft PowerPoint - java1-lecture11.ppt [\310\243\310\257 \270\360\265\345]) 예외와예외클래스 예외처리 514760-1 2016 년가을학기 12/08/2016 박경신 오류의종류 에러 (Error) 하드웨어의잘못된동작또는고장으로인한오류 에러가발생되면 JVM실행에문제가있으므로프로그램종료 정상실행상태로돌아갈수없음 예외 (Exception) 사용자의잘못된조작또는개발자의잘못된코딩으로인한오류 예외가발생되면프로그램종료 예외처리 추가하면정상실행상태로돌아갈수있음

More information

다른 JSP 페이지호출 forward() 메서드 - 하나의 JSP 페이지실행이끝나고다른 JSP 페이지를호출할때사용한다. 예 ) <% RequestDispatcher dispatcher = request.getrequestdispatcher(" 실행할페이지.jsp");

다른 JSP 페이지호출 forward() 메서드 - 하나의 JSP 페이지실행이끝나고다른 JSP 페이지를호출할때사용한다. 예 ) <% RequestDispatcher dispatcher = request.getrequestdispatcher( 실행할페이지.jsp); 다른 JSP 페이지호출 forward() 메서드 - 하나의 JSP 페이지실행이끝나고다른 JSP 페이지를호출할때사용한다. 예 ) RequestDispatcher dispatcher = request.getrequestdispatcher(" 실행할페이지.jsp"); dispatcher.forward(request, response); - 위의예에서와같이 RequestDispatcher

More information

JUNIT 실습및발표

JUNIT 실습및발표 JUNIT 실습및발표 JUNIT 접속 www.junit.org DownLoad JUnit JavaDoc API Document 를참조 JUNIT 4.8.1 다운로드 설치파일 (jar 파일 ) 을다운로드 CLASSPATH 를설정 환경변수에서설정 실행할클래스에서 import JUnit 설치하기 테스트실행주석 @Test Test 를실행할 method 앞에붙임 expected

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 CPT T1 Stage_2040 ㅊㅇㅌㅎㅇㄹㅇ 201111334 김강욱 / 201211339 김진욱 (Leader) 201312243 김동권 / 201510411 이소영 INDEX State Chart Diagram Revise Plan Refine System Architecture Define Real Use Cases Define Reports, UI,

More information

thesis

thesis CORBA TMN Surveillance System DPNM Lab, GSIT, POSTECH Email: mnd@postech.ac.kr Contents Motivation & Goal Related Work CORBA TMN Surveillance System Implementation Conclusion & Future Work 2 Motivation

More information

13 Who am I? R&D, Product Development Manager / Smart Worker Visualization SW SW KAIST Software Engineering Computer Engineering 3

13 Who am I? R&D, Product Development Manager / Smart Worker Visualization SW SW KAIST Software Engineering Computer Engineering 3 13 Lightweight BPM Engine SW 13 Who am I? R&D, Product Development Manager / Smart Worker Visualization SW SW KAIST Software Engineering Computer Engineering 3 BPM? 13 13 Vendor BPM?? EA??? http://en.wikipedia.org/wiki/business_process_management,

More information

Mobile Service > IAP > Android SDK [ ] IAP SDK TOAST SDK. IAP SDK. Android Studio IDE Android SDK Version (API Level 10). Name Reference V

Mobile Service > IAP > Android SDK [ ] IAP SDK TOAST SDK. IAP SDK. Android Studio IDE Android SDK Version (API Level 10). Name Reference V Mobile Service > IAP > Android SDK IAP SDK TOAST SDK. IAP SDK. Android Studio IDE 2.3.3 Android SDK Version 2.3.3 (API Level 10). Name Reference Version License okhttp http://square.github.io/okhttp/ 1.5.4

More information

1.장인석-ITIL 소개.ppt

1.장인석-ITIL 소개.ppt HP 2005 6 IT ITIL Framework IT IT Framework Synchronized Business and IT Business Information technology Delivers: Simplicity, Agility, Value IT Complexity Cost Scale IT Technology IT Infrastructure IT

More information

ETL_project_best_practice1.ppt

ETL_project_best_practice1.ppt ETL ETL Data,., Data Warehouse DataData Warehouse ETL tool/system: ETL, ETL Process Data Warehouse Platform Database, Access Method Data Source Data Operational Data Near Real-Time Data Modeling Refresh/Replication

More information

2002년 2학기 자료구조

2002년 2학기 자료구조 자료구조 (Data Structures) Chapter 1 Basic Concepts Overview : Data (1) Data vs Information (2) Data Linear list( 선형리스트 ) - Sequential list : - Linked list : Nonlinear list( 비선형리스트 ) - Tree : - Graph : (3)

More information

C# Programming Guide - Types

C# Programming Guide - Types C# Programming Guide - Types 최도경 lifeisforu@wemade.com 이문서는 MSDN 의 Types 를요약하고보충한것입니다. http://msdn.microsoft.com/enus/library/ms173104(v=vs.100).aspx Types, Variables, and Values C# 은 type 에민감한언어이다. 모든

More information

SMA_2018 version. 4 A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T 권성완 김선정 허윤아 조수빈 Da

SMA_2018 version. 4 A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T 권성완 김선정 허윤아 조수빈 Da A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T6 201411140 권성완 201511247 김선정 201510436 허윤아 201510285 조수빈 Date 2018-05-31 1 Activity 1001. Define Draft Plan 1. Motivation 기술의발전으로인하여현금보다카드를많이사용하게되어사람들이현금을많이갖고다니지않게되었다.

More information

슬라이드 1

슬라이드 1 Software Verification #3 정적분석도구, 단위 / 시스템테스트도구 Software Verification Team 4 강 정 모 송 상 연 신 승 화 1 Software Verification #3 정적분석도구, 단위 / 시스템테스트도구 CONTENTS 01 Overall Structure 02 Static analyzer SonarQube

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 @ Lesson 4 (Object) (Class) (Instance) (Method) (Constructor) Memory 1 UML 1 @ & 1 (Real World) (Software World) @ &.. () () @ & 2 (Real World) (Software World) OOA/ Modeling Abstraction Instantiation

More information

소프트웨어 검증 및 설계

소프트웨어 검증 및 설계 1 : 2018-03-21 Junit & IntelliJ 및빌드환경 Software Verification T1 [2018SV][T1] 201311263 김민환 201311308 전세진 201411278 서희진 201411317 조민규 1 INDEX 1. 2. 3. IDE IntelliJ Unit Test JUnit Build Configuration & CI

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 실습 1 배효철 th1g@nate.com 1 목차 조건문 반복문 System.out 구구단 모양만들기 Up & Down 2 조건문 조건문의종류 If, switch If 문 조건식결과따라중괄호 { 블록을실행할지여부결정할때사용 조건식 true 또는 false값을산출할수있는연산식 boolean 변수 조건식이 true이면블록실행하고 false 이면블록실행하지않음 3

More information

Activity Implement Class & s Definition 1) Account class urpose Overview(class) Exceptional Courses of Events class Account 계좌정보를모아두는클래스 Attribu

Activity Implement Class & s Definition 1) Account class urpose Overview(class) Exceptional Courses of Events class Account 계좌정보를모아두는클래스 Attribu OOT STAGE 2050-2060 -Implementation & Unit Test roject Team Team T4 Date 2018 / 05 / 22 Team Members 1. 201611269 신문기 2. 201610401 손하영 3. 201510283 임진웅 1 Activity 2051. Implement Class & s Definition 1)

More information

SMA_2018 version. 2 A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T 권성완 김선정 허윤아 조수빈 Da

SMA_2018 version. 2 A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T 권성완 김선정 허윤아 조수빈 Da A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T6 201411140 권성완 201511247 김선정 201510436 허윤아 201510285 조수빈 Date 2018-04-26 1 Activity 1001. Define Draft Plan 1. Motivation 기술의발전으로인하여현금보다카드를많이사용하게되어사람들이현금을많이갖고다니지않게되었다.

More information

SW¹é¼Ł-³¯°³Æ÷ÇÔÇ¥Áö2013

SW¹é¼Ł-³¯°³Æ÷ÇÔÇ¥Áö2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING WHITE BOOK : KOREA 2013 SOFTWARE ENGINEERING

More information

Ver. T3_DWS.UTP-1.0 Unit Testing Plan for Digital Watch System Test Plan Test Design Specification Test Cases Specification Date Team Infor

Ver. T3_DWS.UTP-1.0 Unit Testing Plan for Digital Watch System Test Plan Test Design Specification Test Cases Specification Date Team Infor Unit Testing Plan for Digital Watch System Test Plan Test Design Specification Test Cases Specification Date 2012-10-25 Team Information Sanghyun Yoon shyoon.dslab@gmail.com Dependable Software Laboratory

More information

<4D F736F F F696E74202D20B8AEB4AABDBA20BFC0B7F920C3B3B8AEC7CFB1E22E BC8A3C8AF20B8F0B5E55D>

<4D F736F F F696E74202D20B8AEB4AABDBA20BFC0B7F920C3B3B8AEC7CFB1E22E BC8A3C8AF20B8F0B5E55D> 리눅스 오류처리하기 2007. 11. 28 안효창 라이브러리함수의오류번호얻기 errno 변수기능오류번호를저장한다. 기본형 extern int errno; 헤더파일 라이브러리함수호출에실패했을때함수예 정수값을반환하는함수 -1 반환 open 함수 포인터를반환하는함수 NULL 반환 fopen 함수 2 유닉스 / 리눅스 라이브러리함수의오류번호얻기 19-1

More information

Index Activity Refine System Architecture Activity Define Design Class Diagrams Activity 2141, 2142, 2144 Design Real Use Case + Define Re

Index Activity Refine System Architecture Activity Define Design Class Diagrams Activity 2141, 2142, 2144 Design Real Use Case + Define Re SOFTWARE MODELLING & ANALYSIS - OSP STAGE 2040 TEAM PROJECT NAME Selective & Parking Navigation System T1 200711443 안효빈 200711453 류진렬 200711459 이남섭 200811465 허준행

More information

SMA_2018 version. 3 A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T 권성완 김선정 허윤아 조수빈 Da

SMA_2018 version. 3 A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T 권성완 김선정 허윤아 조수빈 Da A New Reliable ATM OOPT Stage 1000 Plan and Elaboration Project Team T6 201411140 권성완 201511247 김선정 201510436 허윤아 201510285 조수빈 Date 2018-05-30 1 Activity 1001. Define Draft Plan 1. Motivation 기술의발전으로인하여현금보다카드를많이사용하게되어사람들이현금을많이갖고다니지않게되었다.

More information

PowerPoint Presentation

PowerPoint Presentation Class - Property Jo, Heeseung 목차 section 1 클래스의일반구조 section 2 클래스선언 section 3 객체의생성 section 4 멤버변수 4-1 객체변수 4-2 클래스변수 4-3 종단 (final) 변수 4-4 멤버변수접근방법 section 5 멤버변수접근한정자 5-1 public 5-2 private 5-3 한정자없음

More information

Ver. DS-2012.T3.DWS.STR-1.0 System Test Report for Digital Watch System Test Cases Specification Test Summary Report Project Team 이동아 Latest update on

Ver. DS-2012.T3.DWS.STR-1.0 System Test Report for Digital Watch System Test Cases Specification Test Summary Report Project Team 이동아 Latest update on System Test Report for Digital Watch System Test Cases Specification Test Summary Report roject Team 이동아 Latest update on: 2012-10-26 Team Information 이동아 : dalee.dslab@gmail.com Dong-Ah Lee 1 Table of

More information

UML

UML Introduction to UML Team. 5 2014/03/14 원스타 200611494 김성원 200810047 허태경 200811466 - Index - 1. UML이란? - 3 2. UML Diagram - 4 3. UML 표기법 - 17 4. GRAPPLE에 따른 UML 작성 과정 - 21 5. UML Tool Star UML - 32 6. 참조문헌

More information

C++ Programming

C++ Programming C++ Programming 예외처리 Seo, Doo-okok clickseo@gmail.com http://www.clickseo.com 목 차 예외처리 2 예외처리 예외처리 C++ 의예외처리 예외클래스와객체 3 예외처리 예외를처리하지않는프로그램 int main() int a, b; cout > a >> b; cout

More information

금오공대 컴퓨터공학전공 강의자료

금오공대 컴퓨터공학전공 강의자료 C 프로그래밍프로젝트 Chap 14. 포인터와함수에대한이해 2013.10.09. 오병우 컴퓨터공학과 14-1 함수의인자로배열전달 기본적인인자의전달방식 값의복사에의한전달 val 10 a 10 11 Department of Computer Engineering 2 14-1 함수의인자로배열전달 배열의함수인자전달방식 배열이름 ( 배열주소, 포인터 ) 에의한전달 #include

More information

Observational Determinism for Concurrent Program Security

Observational Determinism for  Concurrent Program Security 웹응용프로그램보안취약성 분석기구현 소프트웨어무결점센터 Workshop 2010. 8. 25 한국항공대학교, 안준선 1 소개 관련연구 Outline Input Validation Vulnerability 연구내용 Abstract Domain for Input Validation Implementation of Vulnerability Analyzer 기존연구

More information

JVM 메모리구조

JVM 메모리구조 조명이정도면괜찮조! 주제 JVM 메모리구조 설미라자료조사, 자료작성, PPT 작성, 보고서작성. 발표. 조장. 최지성자료조사, 자료작성, PPT 작성, 보고서작성. 발표. 조원 이용열자료조사, 자료작성, PPT 작성, 보고서작성. 이윤경 자료조사, 자료작성, PPT작성, 보고서작성. 이수은 자료조사, 자료작성, PPT작성, 보고서작성. 발표일 2013. 05.

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 Chapter 06 반복문 01 반복문의필요성 02 for문 03 while문 04 do~while문 05 기타제어문 반복문의의미와필요성을이해한다. 대표적인반복문인 for 문, while 문, do~while 문의작성법을 알아본다. 1.1 반복문의필요성 반복문 동일한내용을반복하거나일정한규칙으로반복하는일을수행할때사용 프로그램을좀더간결하고실제적으로작성할수있음.

More information

Microsoft PowerPoint 자바-기본문법(Ch2).pptx

Microsoft PowerPoint 자바-기본문법(Ch2).pptx 자바기본문법 1. 기본사항 2. 자료형 3. 변수와상수 4. 연산자 1 주석 (Comments) 이해를돕기위한설명문 종류 // /* */ /** */ 활용예 javadoc HelloApplication.java 2 주석 (Comments) /* File name: HelloApplication.java Created by: Jung Created on: March

More information

Microsoft PowerPoint - additional01.ppt [호환 모드]

Microsoft PowerPoint - additional01.ppt [호환 모드] 1.C 기반의 C++ part 1 함수 오버로딩 (overloading) 디폴트매개변수 (default parameter) 인-라인함수 (in-line function) 이름공간 (namespace) Jong Hyuk Park 함수 Jong Hyuk Park 함수오버로딩 (overloading) 함수오버로딩 (function overloading) C++ 언어에서는같은이름을가진여러개의함수를정의가능

More information

PowerPoint Template

PowerPoint Template SOFTWARE ENGINEERING Team Practice #3 (UTP) 201114188 김종연 201114191 정재욱 201114192 정재철 201114195 홍호탁 www.themegallery.com 1 / 19 Contents - Test items - Features to be tested - Features not to be tested

More information

SMV Vending Machine Implementation and Verification 김성민 정혁준 손영석

SMV Vending Machine Implementation and Verification 김성민 정혁준 손영석 SMV Vending Machine Implementation and Verification 201321124 김성민 201472412 정혁준 201472262 손영석 2015.05.04 Contents Review 지적사항 개선사항 Review Review sell_denied start coin {1, 5, 10, 50, 100} coin Ready Input_

More information

Convenience Timetable Design

Convenience Timetable Design Convenience Timetable Design Team 4 2 Contents 1. Introduction 2. Decomposition description 3. Dependency description 4. Inter face description 5. Detailed design description 3 1. Introduction Purpose

More information

1

1 1 1....6 1.1...6 2. Java Architecture...7 2.1 2SDK(Software Development Kit)...8 2.2 JRE(Java Runtime Environment)...9 2.3 (Java Virtual Machine, JVM)...10 2.4 JVM...11 2.5 (runtime)jvm...12 2.5.1 2.5.2

More information

15_3oracle

15_3oracle Principal Consultant Corporate Management Team ( Oracle HRMS ) Agenda 1. Oracle Overview 2. HR Transformation 3. Oracle HRMS Initiatives 4. Oracle HRMS Model 5. Oracle HRMS System 6. Business Benefit 7.

More information

Contents. Phase Revise Plan --- Phase Synchronize Artifacts --- Phase 2130 Analyze Activity2131. Define Essential Use Cases --- Activity21

Contents. Phase Revise Plan --- Phase Synchronize Artifacts --- Phase 2130 Analyze Activity2131. Define Essential Use Cases --- Activity21 OSP Stage 2030 Ver.4 Team 1 201111341 김성민 201111379 이한빈 201111397 황정아 1 Contents. Phase 2110. Revise Plan --- Phase 2120. Synchronize Artifacts --- Phase 2130 Analyze

More information

歯Phone

歯Phone UI (User Interface) Specification for Mobile Phone Version 1.1.1 2003116 a j k e f y p t u v w 2 n Contrast Zoom In Out Kang

More information

0목차원고

0목차원고 3 4 5 6 7 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73

More information

논리적 구조 설계: 패키지도

논리적 구조 설계: 패키지도 논리적구조설계 : 패키지도 Objectives. UML. 2 객체설계로옮겨가기 (interaction diagram). /.. : UML -UML. -UML. -. 1. 2. 3 문맥 Sample UP Artifact Relationships Business Modeling Domain Model * * Requirements Use-Case Model Vision

More information

12-file.key

12-file.key 11 (String).. java.lang.stringbuffer. s String s = "abcd"; s = s + "e"; a b c d e a b c d e ,., "910359,, " "910359" " " " " (token) (token),, (delimiter). java.util.stringtokenizer String s = "910359,,

More information

<4D F736F F F696E74202D203137C0E55FBFACBDC0B9AEC1A6BCD6B7E7BCC72E707074>

<4D F736F F F696E74202D203137C0E55FBFACBDC0B9AEC1A6BCD6B7E7BCC72E707074> SIMATIC S7 Siemens AG 2004. All rights reserved. Date: 22.03.2006 File: PRO1_17E.1 차례... 2 심벌리스트... 3 Ch3 Ex2: 프로젝트생성...... 4 Ch3 Ex3: S7 프로그램삽입... 5 Ch3 Ex4: 표준라이브러리에서블록복사... 6 Ch4 Ex1: 실제구성을 PG 로업로드하고이름변경......

More information

API STORE 키발급및 API 사용가이드 Document Information 문서명 : API STORE 언어별 Client 사용가이드작성자 : 작성일 : 업무영역 : 버전 : 1 st Draft. 서브시스템 : 문서번호 : 단계 : Docum

API STORE 키발급및 API 사용가이드 Document Information 문서명 : API STORE 언어별 Client 사용가이드작성자 : 작성일 : 업무영역 : 버전 : 1 st Draft. 서브시스템 : 문서번호 : 단계 : Docum API STORE 키발급및 API 사용가이드 Document Information 문서명 : API STORE 언어별 Client 사용가이드작성자 : 작성일 : 2012.11.23 업무영역 : 버전 : 1 st Draft. 서브시스템 : 문서번호 : 단계 : Document Distribution Copy Number Name(Role, Title) Date

More information

Microsoft PowerPoint - 3ÀÏ°_º¯¼ö¿Í »ó¼ö.ppt

Microsoft PowerPoint - 3ÀÏ°_º¯¼ö¿Í »ó¼ö.ppt 변수와상수 1 변수란무엇인가? 변수 : 정보 (data) 를저장하는컴퓨터내의특정위치 ( 임시저장공간 ) 메모리, register 메모리주소 101 번지 102 번지 변수의크기에따라 주로 byte 단위 메모리 2 기본적인변수형및변수의크기 변수의크기 해당컴퓨터에서는항상일정 컴퓨터마다다를수있음 short

More information

@ p a g e c o n te n tt y p e = " te x t/ h tm l;c h a rs e t= u tf- 8 " fo r (in t i= 0 ; i< = 1 0 ; i+ + ) { o u t.p rin tln (" H e llo W o rld " + i + " < b r/> " ); = re s u lt + re s u lts u m ()

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 System Software Experiment 1 Lecture 5 - Array Spring 2019 Hwansoo Han (hhan@skku.edu) Advanced Research on Compilers and Systems, ARCS LAB Sungkyunkwan University http://arcs.skku.edu/ 1 배열 (Array) 동일한타입의데이터가여러개저장되어있는저장장소

More information

thesis

thesis ( Design and Implementation of a Generalized Management Information Repository Service for Network and System Management ) ssp@nile nile.postech.ac..ac.kr DPE Lab. 1997 12 16 GMIRS GMIRS GMIRS prototype

More information

< E20C6DFBFFEBEEE20C0DBBCBAC0BB20C0A7C7D12043BEF0BEEE20492E707074>

< E20C6DFBFFEBEEE20C0DBBCBAC0BB20C0A7C7D12043BEF0BEEE20492E707074> Chap #2 펌웨어작성을위한 C 언어 I http://www.smartdisplay.co.kr 강의계획 Chap1. 강의계획및디지털논리이론 Chap2. 펌웨어작성을위한 C 언어 I Chap3. 펌웨어작성을위한 C 언어 II Chap4. AT89S52 메모리구조 Chap5. SD-52 보드구성과코드메모리프로그래밍방법 Chap6. 어드레스디코딩 ( 매핑 ) 과어셈블리어코딩방법

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 CRM Fair 2004 Spring Copyright 2004 DaumSoft All rights reserved. INDEX Copyright 2004 DaumSoft All rights reserved. Copyright 2004 DaumSoft All rights reserved. Copyright 2004 DaumSoft All rights reserved.

More information

JAVA PROGRAMMING 실습 08.다형성

JAVA PROGRAMMING 실습 08.다형성 2015 학년도 2 학기 1. 추상메소드 선언은되어있으나코드구현되어있지않은메소드 abstract 키워드사용 메소드타입, 이름, 매개변수리스트만선언 public abstract String getname(); public abstract void setname(string s); 2. 추상클래스 abstract 키워드로선언한클래스 종류 추상메소드를포함하는클래스

More information

목차 BUG 문법에맞지않는질의문수행시, 에러메시지에질의문의일부만보여주는문제를수정합니다... 3 BUG ROUND, TRUNC 함수에서 DATE 포맷 IW 를추가지원합니다... 5 BUG ROLLUP/CUBE 절을포함하는질의는 SUBQUE

목차 BUG 문법에맞지않는질의문수행시, 에러메시지에질의문의일부만보여주는문제를수정합니다... 3 BUG ROUND, TRUNC 함수에서 DATE 포맷 IW 를추가지원합니다... 5 BUG ROLLUP/CUBE 절을포함하는질의는 SUBQUE ALTIBASE HDB 6.3.1.10.1 Patch Notes 목차 BUG-45710 문법에맞지않는질의문수행시, 에러메시지에질의문의일부만보여주는문제를수정합니다... 3 BUG-45730 ROUND, TRUNC 함수에서 DATE 포맷 IW 를추가지원합니다... 5 BUG-45760 ROLLUP/CUBE 절을포함하는질의는 SUBQUERY REMOVAL 변환을수행하지않도록수정합니다....

More information

Cluster management software

Cluster management software 자바네트워크프로그래밍 (OCJP 국제공인자격취득중심 ) 충북대학교 최민 기본예제 예외클래스를정의하고사용하는예제 class NewException extends Exception { public class ExceptionTest { static void methoda() throws NewException { System.out.println("NewException

More information

목차 BUG DEQUEUE 의 WAIT TIME 이 1 초미만인경우, 설정한시간만큼대기하지않는문제가있습니다... 3 BUG [qp-select-pvo] group by 표현식에있는컬럼을참조하는집합연산이존재하지않으면결괏값오류가발생할수있습니다... 4

목차 BUG DEQUEUE 의 WAIT TIME 이 1 초미만인경우, 설정한시간만큼대기하지않는문제가있습니다... 3 BUG [qp-select-pvo] group by 표현식에있는컬럼을참조하는집합연산이존재하지않으면결괏값오류가발생할수있습니다... 4 ALTIBASE HDB 6.5.1.5.10 Patch Notes 목차 BUG-46183 DEQUEUE 의 WAIT TIME 이 1 초미만인경우, 설정한시간만큼대기하지않는문제가있습니다... 3 BUG-46249 [qp-select-pvo] group by 표현식에있는컬럼을참조하는집합연산이존재하지않으면결괏값오류가발생할수있습니다... 4 BUG-46266 [sm]

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 EBC (Equipment Behaviour Catalogue) - ISO TC 184/SC 5/SG 4 신규표준이슈 - 한국전자통신연구원김성혜 목차 Prologue: ISO TC 184/SC 5 그룹 SG: Study Group ( 표준이슈발굴 ) WG: Working Group ( 표준개발 ) 3 EBC 배경 제안자 JISC (Japanese Industrial

More information

Visual Basic 반복문

Visual Basic 반복문 학습목표 반복문 For Next문, For Each Next문 Do Loop문, While End While문 구구단작성기로익히는반복문 2 5.1 반복문 5.2 구구단작성기로익히는반복문 3 반복문 주어진조건이만족하는동안또는주어진조건이만족할때까지일정구간의실행문을반복하기위해사용 For Next For Each Next Do Loop While Wend 4 For

More information

Introduction to Junit, Eclipse, Build Environment

Introduction to  Junit, Eclipse, Build Environment Software Verification 2nd Testing 200611494 원스타 200810047 김성원 200811466 허태경 Index 1. Specification Review 2. Brute Force Testing 3. Category-Partition Testing 4. Pairwise Testing 5. Static Analysis 1.

More information

PowerPoint Presentation

PowerPoint Presentation 객체지향프로그래밍 클래스, 객체, 메소드 ( 실습 ) 손시운 ssw5176@kangwon.ac.kr 예제 1. 필드만있는클래스 텔레비젼 2 예제 1. 필드만있는클래스 3 예제 2. 여러개의객체생성하기 4 5 예제 3. 메소드가추가된클래스 public class Television { int channel; // 채널번호 int volume; // 볼륨 boolean

More information

Microsoft PowerPoint - AC3.pptx

Microsoft PowerPoint - AC3.pptx Chapter 3 Block Diagrams and Signal Flow Graphs Automatic Control Systems, 9th Edition Farid Golnaraghi, Simon Fraser University Benjamin C. Kuo, University of Illinois 1 Introduction In this chapter,

More information

성능 감성 감성요구곡선 평균사용자가만족하는수준 성능요구곡선 성능보다감성가치에대한니즈가증대 시간 - 1 -

성능 감성 감성요구곡선 평균사용자가만족하는수준 성능요구곡선 성능보다감성가치에대한니즈가증대 시간 - 1 - - 1 - 성능 감성 감성요구곡선 평균사용자가만족하는수준 성능요구곡선 성능보다감성가치에대한니즈가증대 시간 - 1 - - 2 - - 3 - - 4 - - 5 - - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - 감각및자극 (Sensory & Information Stimuli) 개인 (a person) 감성 (Sensibility)

More information

쉽게

쉽게 Power Java 제 4 장자바프로그래밍기초 이번장에서학습할내용 자바프로그램에대한기초사항을학습 자세한내용들은추후에. Hello.java 프로그램 주석 주석 (comment): 프로그램에대한설명을적어넣은것 3 가지타입의주석 클래스 클래스 (class): 객체를만드는설계도 ( 추후에학습 ) 자바프로그램은클래스들로구성된다. 그림 4-1. 자바프로그램의구조 클래스정의

More information

Contents Contents 2 1 Abstract 3 2 Infer Checkers Eradicate Infer....

Contents Contents 2 1 Abstract 3 2 Infer Checkers Eradicate Infer.... SV2016 정적분석보고서 201214262 라가영 201313250 서지혁 June 9, 2016 1 Contents Contents 2 1 Abstract 3 2 Infer 3 2.1 Checkers................................ 3 2.2 Eradicate............................... 3 2.3 Infer..................................

More information

Manufacturing6

Manufacturing6 σ6 Six Sigma, it makes Better & Competitive - - 200138 : KOREA SiGMA MANAGEMENT C G Page 2 Function Method Measurement ( / Input Input : Man / Machine Man Machine Machine Man / Measurement Man Measurement

More information