컴퓨터공학과 전세진 컴퓨터공학과 서희진 컴퓨터공학과 조민규 2
|
|
|
- 율 진
- 6 years ago
- Views:
Transcription
1 System Test Report for Team 1 1st Project Team Team 1 Latest update on: Team Information 컴퓨터공학과 김민환 1
2 컴퓨터공학과 전세진 컴퓨터공학과 서희진 컴퓨터공학과 조민규 2
3 Table of Contents 1 Specification Review Stage 1000 Planning Stage 2030 Analysis Stage 2040 Design Stage 2050 Implementation Stage 2060 Unit Test & System Test Category-partition Testing Report Categorize Description Propery & Constraints Text File for TSL-Generator Test Result Pairwise Testing Report Categorize Description Text File for PICT Test Result Brute Force Testing Report Testing Result Failed Case Report Overall System Test Result CTIP Usage
4 6.1 Static Analysis Result Issue Tracker
5 1 Specification Review 1.1 Stage 1000 Planning Define Draft Plan 3. Functional Requirements Verify Sufficient Fund 가생략되어있다. 4. Non-Functional Requirements 직관적인인터페이스이지않음. 5. 현재환율정보를고려하지않음 현재의환율정보를고려하지않음. 6. 현재환율정보를고려하지않음. 관리자에게문자알림이가지않음 Create Preliminary Investigation Report 2. Project Justificatoin 서버를사용하지않음 6. Other Managerial Issues 졸작으로활용가능해보이지않음 Define Requirements 1. Functional Requirements 5
6 - Verify Sufficient Fund가생략되어있다. - Management : Evident Hidden ( 파일상에서처리하므로 Hidden) - Deposit은계좌에증감되지않고, 증가만한다. 2. Performance Requirement - 최대한, 적절한, 충분한같은불명확한표현수정필요 Record Terms in Glossary - TrafficCard 를이용하는기능은설계되지않음 Define Business Use Cases 6. Idenfity the relationships between Use-Case - Event-based Use-case 인 Update 와의관계가잘못되어있다. ( 방향이반대가 되어야한다.) - Check, Deposit, Withdraw, Transfer, Issue TrafficCard 와 Status Alarm 과의 관계가잘못되어있다. (extends 가아닌 include 가되어야한다.) 6
7 7
8 1008. Define Business Concept Models 단계이후로는등장하지않는심볼이정의되어 있다.(History, Sensor) 단계이후로는등장하지않는 Attribute 가정의되어있다 Refine Plan 3. Functional Requirements - Verify Sufficient Fund 가빠져있다. 4. Performance Requirements - 외국인과내국인모두손쉽게접근할수있는직관적인 인터페이스가아니다. 8
9 1.2 Stage 2030 Analysis Describe Use Case 1.1 Check 1.2 Deposit - 8. (S) 명세표출력용지가충분한지선택한다 연산한다로수정필요 - E1. 다른거래선택 다른거래를동시에선택할수없다. - 4.(S) 유효한 현금이무엇인지, 어떻게검사하는지명시되어있지않으며 검사하지않음 1.3 Withdraw - 일정시간 이어느정도인지명시되어있지않으며투입구를폐쇄하지 않음 - User 가 Item 을통해자신의계좌에서출금하지않는다. 1.4 Issue TrafficCard 9
10 1.6 Update E11. 교통카드가부족한지검사하지않으며알림이없음 E12. 명세표출력용지가부족한경우를검사하지않으며알림이없음 - Verify Sufficient fund 처리완료상태가 Pre-Requisites 이아니다.. - 필요한정보가어떤것인지명시되어있지않다. 1.8 Status Alarm - ATM보유현금량이최대값에도달했을경우에도관리자에게알림을보내지않는다. - 명세표의출력용지가충분하지않을경우에도관리자에게알림을보내지않는다. - Transger Transfer 로수정필요. - Use-Case Check 도포함되어야한다 1.9 Management - 3.(A) 로 ATM 을관리하는관리자의행동이추가되어야한다. 10
11 11
12 2032. Refine Use Case Diagrams - 수정한 1000 단계의내용과같게수정해야한다. 12
13 2033. Define Domain Model - 사용되지않는 Sensor, Model 을사용한다. 13
14 2034. Refine Clossary - 사용하지않는변수 3 개존재 (Sensor, History, chargefee) Define System Sequence Diagrams 모든 Sequence Diagram 의생명선이잘못되어있다. - 앞서문서에서한번도정의되지않은 end 기능이추가되었다 Define Operation Contracts 6.2 selectservice(service) - Post-conditions 에 원하는서비스의화면으로접근한다. 추가필요 - 모든 Service 가비밀번호를필요로하지않으므로수정필요 ex) Deposit 14
15 6.3 printreceipt(print) - Functions R.2.1, R.2.2 추가필요 - Use cases에 Verify Sufficient Fund, Status Alarm 추가필요 - Exceptions에 명세표용지가 ATM에존재하지않는경우 추가필요 - Output : User가원할경우 추가필요 6.4 confirm(password) - Exceptions 에 사용자가입력한비밀번호가계좌의비밀번호와다를경우 추가필요 15
16 6.5 insertcash(type,amounts) - Responsibilities에지폐를투입구에넣고투입한지폐의종류와양을확인하지않음. - Cross Reference에 Functions R.2.1, R.2.2 추가필요 - Use cases에 Verify Sufficient Fund, Status Alarm추가필요 - Exceptions에 ATM의지폐보유량이최대값에도달한경우알림을보낸다. 추가필요 - Exceptions에 원화와달러를섞어서입금할경우 추가필요 6.7 enteramounts(amounts) - Cross Reference 에 Functions R.2.1, R.2.2 추가필요 - Use cases 에 Verify Sufficient Fund, Status Alarm 추가필요 - Exceptions 에 ATM 의지폐보유량이부족할경우 추가필요 16
17 6.8 destaccount(bank, account) - Post-conditions 에 출금할지폐의종류를확인한다. 추가필요 6.9 setdaterange(date_range) - Post-conditions 에 교통카드계좌연동및비용결제를안내한다. 추가필요 17
18 6.10 agreement (approval) - Responsibilities에 교통카드계좌연동및비용결제를안내하고동의를받는다. 수정필요 - Cross Reference에 Functions : R.2.1, R.2.2 추가필요 - Use cases에 Verify Sufficient Fund, Status Alarm 추가필요 - Exceptions에 ATM의교통카드보유량이부족할경우 추가필요 6.11 printreceipt(print) 의 printreceipt 와중복되므로삭제필요 6.12 readmanagementitem(id) - 관리자를사용하지않으므로삭제 or 수정필요 6.13 end(void) - 앞에서 end 에대한기능이정의되어있지않으므로수정필요 Traceability Analysis - 앞단계의변경내용을반영하여전체적으로수정필요. 18
19 1.3 Stage 2040 Design Design Real Use Cases 단계에서변경된내용을반영해수정요망 - 구현단계에서 Admin과관련된부분이아예사라졌기때문에 R.2.2 Status Alarm과 R.3.0 Management가아예사용되지않는다 Define Reports, UI, and Storyboards - UI 프로토타입과화면개수, 구성, 디자인, 흐름이완전히다르다 Define Interaction Diagrams - 실제프로그램에서존재하지않는 Admin 이그려져있다. - 따라서 Admin 과관련된부분은전부빠져야한다 Check 의예시 ) 존재하지않는조건문과존재하지않는 return 값인알람존재 - readitem 의생명선이 printreceipt 가끝날때까지이어져야한다. 이와관련된부분은아래에서생략한다. 4.1 Check - Sequence Diagram 과흐름이다르다. - readitem 의생명선이끝까지이어져야한다 19
20 - loop 문의조건이잘못되어있다. 명세에의하면모든 item 이호출될때까지 반복한다. - 7,8 번은 type==book 인경우로분기되어야한다. - 실제프로그램과동작구조가다르다. 객체들의정보가수정되고반영되는부분이존재하지않는다. - Confirm 의생명선이 printreceipt 가끝날때까지이어져야한다. < 이와동일한부분은아래에서생략한다. > 4.2 Deposit - 요구사항명세에서는한화와외화를나누는분기가있지만다이어그램상에서는존재하지않는다. - deposit(money) 의반환값인 money가명시되어있지않다. - 유효한현금인지판별하는분기가나타나있지않다. 20
21 - printreceipt 의 pre-condition 인 confirm 이나타나있지않다. - getbalance 의분기가나타나있지않다. 4.3 withdraw - loop 문의조건이누락되어있다. - readitem 의반환값인 languagemode 가누락되었다. - selectservice 는 result 의값에따라바뀌는데누락되었다 번과 12 번의순서와상관관계가바뀌어있다. - Confirm 의 return 값이 true 여야 selectnation 으로진입한다. 21
22 - 문서에명시되어있는잔고의부족을검사하는부분이누락되어있다. - 조건문이잘못되어있다. ex) wants == true amount > 0 - getbalance 의인자값이다르다. - ATM 의 receiptamount 가변화하는부분이명시되어있지않다. - 22
23 4.4 Transfer - readitem의 return값에따라 selectservice로의진입여부가판별되는데명시되어있지않다. - selectservice의종료이후실행되는 inputpassword가누락되어있다. - inputpassword의결과로반환되는값인 mode도누락되어있다. - InputTransfer이빠져있어 User에게입력을요청하는부분이누락되어있다. - printreceipt가실행된후사용자가명세표출력요청을했을때에명세표를출력해주어야하는데, 명세표를출력하는부분이누락되어있다. 4.5 Issue TrafficCard - 11번이후 User가 Password를입력하는부분이누락되어있다. - User가 Password를입력하면 inputpassword를통해 mode를설정하는부분이누락되어있다. - Mode를통해나뉘는분기문이모두생략되어있다. - datarange를정하는부분이누락되어있다. - 사용자가명세표출력을선택하는부분이누락되어있다. - setdaterange 함수의생명선은 agreement의종료시까지존재해야한다. 23
24 4.6 Management - SequnceDiagrm과흐름이다르다. - end되기전관리자가제어하는부분이존재하지않는다. - 명세에따르면작업후 ATM 기기가닫히면 end가실행되는데, 관리자가작업을마치고기기를닫는부분이누락되어있다. - 프로그램상에서존재하지않는다 Define Design Class Diagrams 에사용한함수들이명시되어있지않다. - cashamount의데이터형이다르다. - ATMadminID, ATMnation 변수가누락되어있다. - confirmeditem, PWD는프로그램상에서존재하지않는변수이다. - 함수의이름이다르다. setdaterange setdatarange - 함수의반환값이다르다. destaccount의반환값은 string이다. - checkresource의접근제어지시자는 public이다. - bankdatadownload와 bootatm은존재하지않는다. 24
25 < 다른항목들도모두같은문제가발견되었으므로생략한다. > 25
26 2046. Design Traceability Analysis - End와같은 Interatction diagram에서사용되지않은 Operation이 Method와상관관계를가지고있다. - 또한 bootatm() 과같은존재하지않는 Method가정의되어있다. - Operation과 Method간의상관관계가적절하지않다. - 함수의반환값이다르다. Ex) linkaccount의경우반환값이 boolean이다. 1.4 Stage 2050 Implementation Implement Class & Methods - 모든 Class와 Method에서언급된 Use-case Status Alarm과 Management 는프로그램상에서구현되지않았으므로모두빠져야한다. - 모든 Method의 Input과 Ouput을작성하지않아서프로그램과의비교가불가능했다. - 이전단계에서의설계와는다르게대부분의기능과로직을 GUIController라는 Class에서구현하였는데, 이에대한설명이하나도남아있지않다. - 함수의이름이프로그램과다르다. getbookpwd getbpwd 수정필요 26
27 getcardpwd getcpwd 수정필요 getbalance get_balance 수정필요 getitemid get_aid 수정필요 setbalance set_balance setdaterange inputdatarange - 함수의인자값이프로그램과다르다. confirm(itemtype, pwd, accoundid) confirm(int _pwd) 수정필요 Implement Windows - 이전단계와는전혀다른 UI 구성을보여준다. - 이전단계의 revision 이필요해보인다. 1.5 Stage 2060 Unit Test & System Test System Testing - 소프트웨어모델링팀측에서테스트를전혀진행하지않았다. - 관리자의경우존재하지않기때문에테스트할수없다. 27
28 2 Category-partition Testing Report 2.1 Categorize 28
29 2.2 Description 29
30 2.3 Property & Constraints 30
31 2.4 TextFile for TSL-Generator 31
32 2.5 Test Result 1. Error 수정전 => 0% 0/64 (0%) Pass 코드를분석해본결과 Text file 의경로가잘못지정되어있는심각한오류가원인으로밝혀졌습니다. 32
33 2. Error 수정후 (SV 팀에서수정진행 ) => 42% 27/64 (42%) Pass 33
34 3 Pairwise Testing Report 3.1 Categorize Category No Values ReadItem 100 Valid 200 Deposit Mode 201 Withdraw 202 Transfer 203 IssueTC InputPassword 300 Valid 301 Invalid InputBank 400 Select InputAccountID 500 Valid 501 Invalid InputCurrency 600 Select 700 ValidInput 701 ValidSelectOnce InputMoney 702 ValidSelectSingleType 703 ValidSelectMultipleType 704 Invalid Agreement 800 Agree 801 Disagree TCAlarm 900 Send 901 NotSend 1000 IncreaseBalance ActorTransaction 1001 DecreaseBalance 1002 SendMoney AdminTransaction 1100 IncreaseBalance 1101 DecreaseBalance TransactionAlarm 1200 Send 1201 NotSend Receipt 1300 Print 1301 NotPrint ReceiptAlarm 1400 Send 1401 NotSend 34
35 3.2 Description Values Description Valid 4 가지항목에모두올바른값을입력한경우 Check 계좌의잔액을확인한다 Deposit 돈을예금한다. Withdraw 돈을인출한다. Transfer 돈을송금한다. IssueTC 교통카드를발급한다. Valid 유효한비밀번호를입력한다. Invalid 유효하지않은비밀번호를입력한다. Select 거래를진행할은행을선택한다. Valid 유효한 Account ID 를입력한다. Invalid 유효하지않은 Account ID 를입력한다. Valid 유효한기간을입력한다. Invalid 유효하지않은기간을입력한다. Select 거래를진행할화폐를선택한다. ValidInput 유효한금액을입력한다. ValidSelectOnce 금액을한번선택한다. ValidSelectSingleType 한종류의금액을여러번선택한다. ValidSelectMultipleType 여러종류의금액을여러번선택한다. Invalid 유효하지않은금액을입력한다. Agree 이용약관에동의한다. Disagree 이용약관에동의하지않는다. Send 교통카드수량이부족한경우알람을보낸다. NotSend 교통카드수량이부족한경우알람을보낸다. IncreaseBalance 행위자의금액을증가시킨다. DecreaseBalance 행위자의금액을감소시킨다 SendMoney 돈을송금한다. IncreaseBalance 관리자의금액을증가시킨다. DecreaseBalance 관리자의금액을감소시킨다 Send 현금이부족한경우알람을보낸다. NotSend 현금이부족한경우알람을보낸다. Print 영수증을출력한다. NotPrint 영수증을출력하지않는다. Send 영수증용지가부족한경우알람을보낸다. NotSend 영수증용지가부족한경우알람을보내지않는다. 35
36 3.3 Textfile for PICT 36
37 3.4 Test Result 1. Error 수정전 CPT와마찬가지로프로그램의도입부에치명적인에러가존재하여테스트결과가 0/25(0%) 로계산되었습니다. 2. Error 수정후 No. TestCase Result Description Passed Failed 영수증용지가부족한경우알람이오지않음 Passed Failed 원을눌렀을때화면에 5000 원이표시됨 Failed 원을눌렀을때화면에 5000 원이표시됨 Failed 원을눌렀을때화면에 5000 원이표시됨 Failed 현금이부족한경우알람이오지않음 Failed 원을눌렀을때화면에 5000 원이표시됨 Failed 현금이나영수증용지가부족한경우알람이오지않음 Passed Failed 한자리또는두자리의돈을정상적으로출금할수없음 Failed 한자리또는두자리의돈을정상적으로출금할수없음 Passed Passed Failed 대부분의계좌가조회되지않음 Failed 대부분의계좌가조회되지않음 Failed 대부분의계좌가조회되지않음 Failed 대부분의계좌가조회되지않음 Passed Failed 대부분의계좌가조회되지않음 Passed Failed 교통카드잔량이나현금이부족한경우알람이오지않음 Failed 교통카드잔량이나현금이부족한경우알람이오지않음 Failed 유효기간이 01 부터시작해야하나 00 인경우도발급됨 Passed 8 / 25 (32%) Pass 37
38 4 Brute Force Testing Report 4.1 Testing Result Test Test Description P/F Num 아이템 1-1 존재하지않는계좌에접근하려고시도하면중지되는지확인한다. Fail 받아오기 1-2 존재하지않는카드에접근하려고시도하면중지되는지확인한다. Fail 1-3 카드번호에문자를넣으면중지되는지확인한다. Fail 1-4 계좌번호에문자를넣으면중지되는지확인한다. Fail 1-5 아이템종류에문자를넣으면중지되는지확인한다. Fail 입금 2-1 현재 ATM기기가현금을가득보유하고있을때 1000원의입금을시도하면중지되는지 Fail 확인한다. 2-2 현재 ATM기기가현금을가득보유하고있을때 100$ 의입금을시도하면중지되는지확인한다. Fail 출금 3-1 현재 ATM기기가보유하고있는 50000원권의수량이 0일때 50000원을출금하려고시도하면 Fail 10000원짜리다섯장으로출금되는지확인한다. 3-2 현재 ATM기기가현금을보유하고있지않을때출금을시도하면중지되는지확인한다. Fail 달러를정상적으로출금하는지확인한다. Fail 만원을정상적으로출금하는지확인한다. Fail 계좌이체 4-1 현재 ATM 기기가현금을보유하고있지않을때계좌이체가가능한지확인한다. Fail 달러를정상적으로이체하는지확인한다. Fail 만원을정상적으로출금하는지확인한다. Fail 4-4 등록되지않은계좌번호를입력하고이체를시도했을때중지되는지확인한다. Fail 4-5 자신의계좌번호로이체를시도했을때중지되는지확인한다. Fail 알림 5-1 명세표용지가남아있지않을때명세표를출력하면알림이가는지확인한다. Fail 5-2 ATM기기의현재 1000원보유량이최대치일때 1000원의입금을시도하면알림이뜨는지 Fail 확인한다. 5-3 ATM기기의현재 10$ 보유량이최대치일때 10$ 의입금을시도하면알림이뜨는지확인한다. Fail 5-4 ATM기기가 1000원을보유하고있지않을때 23000원의출금을시도하면알림이뜨는지 Fail 확인한다. 교통카드 6-1 교통카드생성시 0.3달러가출금되는지확인한다. Fail 6-2 현재 ATM 기기가교통카드여분을보유하고있지않을때교통카드생성시중지되는지 확인한다. 0/22 (0%) Pass Fail 코드를분석해본결과 Text file 의경로가잘못지정되어있는심각한오류가원인으로 밝혀졌습니다. 테스팅을진행해보기위해이를수정한후재테스트해보았습니다. 38
39 Test Test Description P/F Num 아이템 1-1 존재하지않는계좌에접근하려고시도하면중지되는지확인한다. Pass 받아오기 1-2 존재하지않는카드에접근하려고시도하면중지되는지확인한다. Pass 1-3 카드번호에문자를넣으면중지되는지확인한다. Fail 1-4 계좌번호에문자를넣으면중지되는지확인한다. Fail 1-5 아이템종류에문자를넣으면중지되는지확인한다. Fail 입금 2-1 현재 ATM기기가현금을가득보유하고있을때 1000원의입금을시도하면중지되는지 Fail 확인한다. 2-2 현재 ATM기기가현금을가득보유하고있을때 100$ 의입금을시도하면중지되는지확인한다. Pass 출금 3-1 현재 ATM기기가보유하고있는 50000원권의수량이 0일때 50000원을출금하려고시도하면 Fail 10000원짜리다섯장으로출금되는지확인한다. 3-2 현재 ATM기기가현금을보유하고있지않을때출금을시도하면중지되는지확인한다. Pass 달러를정상적으로출금하는지확인한다. Fail 만원을정상적으로출금하는지확인한다. Fail 계좌이체 4-1 현재 ATM 기기가현금을보유하고있지않을때계좌이체가가능한지확인한다. Pass 달러를정상적으로이체하는지확인한다. Fail 만원을정상적으로출금하는지확인한다. Fail 4-4 등록되지않은계좌번호를입력하고이체를시도했을때중지되는지확인한다. Pass 4-5 자신의계좌번호로이체를시도했을때중지되는지확인한다. Pass 알림 5-1 명세표용지가남아있지않을때명세표를출력하면알림이가는지확인한다. Fail 5-2 ATM기기의현재 1000원보유량이최대치일때 1000원의입금을시도하면알림이뜨는지 Fail 확인한다. 5-3 ATM기기의현재 10$ 보유량이최대치일때 10$ 의입금을시도하면알림이뜨는지확인한다. Fail 5-4 ATM기기가 1000원을보유하고있지않을때 23000원의출금을시도하면알림이뜨는지 Fail 확인한다. 교통카드 6-1 교통카드생성시 0.3달러가출금되는지확인한다. Fail 6-2 현재 ATM 기기가교통카드여분을보유하고있지않을때교통카드생성시중지되는지 확인한다. 7/22 pass (31.8 %) Pass Fail 4.2 Failed Case Report Test 아이템 받아오기 Test Description P/F Num 1-3 카드번호에문자를넣으면중지되는지확인한다. Fail java.lang.numberformatexception 와함께프로그램이강제종료된다. 1-4 계좌번호에문자를넣으면중지되는지확인한다. Fail 39
40 java.lang.numberformatexception 와함께프로그램이강제종료된다. 1-5 아이템종류에문자를넣으면중지되는지확인한다. java.lang.numberformatexception 와함께프로그램이강제종료된다. Fail 입금 2-1 현재 ATM기기가현금을가득보유하고있을때 1000원의입금을시도하면중지되는지확인한다. 중지되지않고입금이완료된다. 출금 3-1 현재 ATM기기가보유하고있는 50000원권의수량이 0일때 50000원을출금하려고시도하면 10000원짜리다섯장으로출금되는지확인한다. 출금이되지않는다 달러를정상적으로출금하는지확인한다. 500달러로출금된다 만원을정상적으로출금하는지확인한다. 세자리숫자만입력가능하다 달러를정상적으로이체하는지확인한다. 500달러로이체된다. Fail Fail Fail Fail Fail 만원을정상적으로출금하는지확인한다. 세자리숫자만입력가능하다. Fail 알림 5-1 명세표용지가남아있지않을때명세표를출력하면알림이뜨는지확인한다. 알림이뜨지않고출력된다. 5-2 ATM기기의현재 10000원보유량이최대치일때 10000원의입금을시도하면알림이뜨는지 확인한다. 알림이뜨지않고입금된다. 5-3 ATM기기의현재 10$ 보유량이최대치일때 10$ 의입금을시도하면알림이뜨는지확인한다. 알림이뜨지않고입금된다. 5-4 ATM기기가 1000원을보유하고있지않을때 23000원의출금을시도하면알림이뜨는지 확인한다. 알림이뜨지않고출금된다. Fail Fail Fail Fail 40
41 교통카드 6-1 교통카드생성시 0.3 달러가출금되는지확인한다. 3 달러가출금된다. Fail 6-2 현재 ATM 기기가교통카드여분을보유하고있지않을때교통카드생성시알림이뜨고 중지되는지확인한다. 알림이뜨지않고교통카드가생성된다. Fail 41
42 5 Overall 5.1 System Test Result Category-Partition Test 데이터가담겨있는 Text File의경로가잘못되어아무것도읽어오지못하는심각한오류가있었지만소모팀분들이해결하지못해서임의로해결하고테스팅을진행했습니다. 문서에정의된기능대부분은정상적으로작동하지만예외처리가되어있지않으며, 관리자에게알람을보내는부분에서많은 Fail이발생하였습니다 Pairwise Test aaaa Brute Force Test 데이터가담겨있는 text file의경로가잘못되어아무것도읽어오지못하는심각한오류가있었지만소모팀분들이해결하지못해서임의로해결하고테스팅을진행했습니다. 그럼에도불구하고예외처리가잘되어있지않았고, 주요알고리즘이제대로작동하지않는모습을보였습니다 Summary 1. 문서들의단계마다일치하지않는부분들이매우많다. A. 2050단계의경우, 모든 method의 Input과 Output칸을비워놓는등최소한의성의를보이지않았다. 2. 실제구현된코드와문서간에굉장한차이점이존재한다. 3. 용어가통일되지않았다. 4. GUI class에서상당수의연산을수행해서본래그연산을수행했어야할 class에는빈함수가존재한다. 5. 객체지향적인설계를하지않았다. 6. 외화로출금, 이체를할경우자릿수가바뀌어연산되는등의치명적인버그들이다수존재한다. 7. Functional Requirement 를만족시키지못하였다. A. 관리자와같은기능의경우, 문서에는존재하지만코드상에서는존재를찾아볼수없다. 8. Non Functional Requirement 를모두만족시키지못하였다. A. 직관적이지않은 UI i. 한글깨짐현상발생 ( 파일과코드전체가 EUC-KR로저장되어있다.) ii. PlaceHolder 처리가되어있지않다. (default text로값이들어가있다.) iii. Maxlength 가지정되어있지않다. iv. Number format이적용되어있지않다. ( 구분자가없다.) v. Return Card가닫지않으면계속출력된다. vi. account id를입력할시기존에있던 label이삭제되고그곳에 account id가입력된다. 42
43 6 CTIP Usage 6.1 Static Analysis Result Build Case 별로정적분석결과확인이가능하다. 43
44 6.2 Issue Tracker 테스트결과를이슈트래커에등록했다. 이슈트래커는 G 메일과연동되어있어 SMA 팀에게 notification 이전달된다. 44
45 45
PowerPoint 프레젠테이션
Team 1 201611293 전다윤 201311287 엄현식 201311318 최정헌 01. 문서수정 02. System Test Review 03. Static Test Review 04. 소감 1 문서수정 문서수정 수정 System Test 문서 + 전문서에없던수정사항 수정 System Test 문서 문서수정 소프트웨어검증팀의문서대로수정한사항들 1008
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...
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
목차 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
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...
PowerPoint 프레젠테이션
2018 SOFTWARE VERIFICATION 2 nd Testing System Test, Static Analysis 2018.06.04 ( 월 ) SV T1 201311263 김민환 201311308 전세진 201411278 서희진 201411317 조민규 2 nd Testing 2018 SOFTWARE VERIFICATION 1. Feedback 2.
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
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...
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
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.
Microsoft Word - [2017SMA][T8]OOPT_Stage_1000_ docx
![Microsoft Word - [2017SMA][T8]OOPT_Stage_1000_ docx](/thumbs/95/122981820.jpg "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
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.
Microsoft Word - [2017SMA][T8]OOPT_Stage_1000 ver2.docx
![Microsoft Word - [2017SMA][T8]OOPT_Stage_1000 ver2.docx](/thumbs/95/122981801.jpg "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
Microsoft Word - [2017SMA][T8]OOPT_Stage_2040 ver2.docx
![Microsoft Word - [2017SMA][T8]OOPT_Stage_2040 ver2.docx](/thumbs/103/160057643.jpg "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
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
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
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
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
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
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
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 허준행
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)
슬라이드 1
Pairwise Tool & Pairwise Test NuSRS 200511305 김성규 200511306 김성훈 200614164 김효석 200611124 유성배 200518036 곡진화 2 PICT Pairwise Tool - PICT Microsoft 의 Command-line 기반의 Free Software www.pairwise.org 에서다운로드후설치
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
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
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!! 연속적으로
소프트웨어개발방법론
사용사례 (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,
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
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
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,
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 기술의발전으로인하여현금보다카드를많이사용하게되어사람들이현금을많이갖고다니지않게되었다.
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 기술의발전으로인하여현금보다카드를많이사용하게되어사람들이현금을많이갖고다니지않게되었다.
Ver 2.2 마감하루전 Category Partitioning Testing Tool Project Team T1 Date Team Information 김강욱 김진욱 김동권
마감하루전 Category Partitioning Testing Tool Project Team T1 Date 2017-04-13 Team Information 201111334 김강욱 201211339 김진욱 201312243 김동권 201510411 이소영 [ 마감하루전 ] T1 1 INDEX Activity 1001. Define Draft Plan Activity
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 기술의발전으로인하여현금보다카드를많이사용하게되어사람들이현금을많이갖고다니지않게되었다.
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
Orcad Capture 9.x
OrCAD Capture Workbook (Ver 10.xx) 0 Capture 1 2 3 Capture for window 4.opj ( OrCAD Project file) Design file Programe link file..dsn (OrCAD Design file) Design file..olb (OrCAD Library file) file..upd
목차 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
PowerPoint 프레젠테이션
2018 SOFTWARE VERIFICATION CTIP Version Control, Issue Management, Requirement Coverage 201311263 김민환 201311308 전세진 201411278 서희진 201411317 조민규 1 CTIP 2018 SOFTWARE VERIFICATION Version Control Issue Management
Microsoft Word - [TP_3][T1]UTP.docx
![Microsoft Word - [TP_3][T1]UTP.docx](/thumbs/103/160739593.jpg "Microsoft Word - [TP_3][T1]UTP.docx")
Unit Testing Plan for Point Of Sale System Test Plan Test Design Specification Test Cases Specification Project Team Team 1 Date 2017-11-03 Team Information 201211337 김재현 201112052 방민석 201312259 백만일 201211383
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
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
목차 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](/thumbs/85/92785232.jpg "목차 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]
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)
Microsoft PowerPoint - Software__modeling__analysis.pptx
SOFTWARE MODELING & ANALYSIS SAFETY WEB MAIL SYSTEM - OSP STAGE 1000 200412338 이선휘 200511309 김의섭 목차 Motivation Objective Project Justification Requirements (Functional, Non Functional, etc ) Resource Estimation
Slide 1
Clock Jitter Effect for Testing Data Converters Jin-Soo Ko Teradyne 2007. 6. 29. 1 Contents Noise Sources of Testing Converter Calculation of SNR with Clock Jitter Minimum Clock Jitter for Testing N bit
00-1표지
summary _I II_ summary _III 1 1 2 2 5 5 5 8 10 12 13 14 18 24 28 29 29 33 41 45 45 45 45 47 IV_ contents 48 48 48 49 50 51 52 55 60 60 61 62 63 63 64 64 65 65 65 69 69 69 74 76 76 77 78 _V 78 79 79 81
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
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
Ver. 2017SE-POS-SRS-3.0 Software Requirement Analysis for Point Of Sale System Project Team Team 6 Date Team Information 김병식 2016
Software Requirement Analysis for Point Of Sale System Project Team Team 6 Date 2017.11.06 Team Information 201311264 김병식 201610379 김나연 201611248 강병성 201610070 김지우 Team 6 1 Table of Contents 1 Introduction
금오공대 컴퓨터공학전공 강의자료
C 프로그래밍프로젝트 Chap 14. 포인터와함수에대한이해 2013.10.09. 오병우 컴퓨터공학과 14-1 함수의인자로배열전달 기본적인인자의전달방식 값의복사에의한전달 val 10 a 10 11 Department of Computer Engineering 2 14-1 함수의인자로배열전달 배열의함수인자전달방식 배열이름 ( 배열주소, 포인터 ) 에의한전달 #include
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. 참조문헌
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
歯Final-Handout.PDF
In pursuit of Media Excellence How to Maximize Your Return On Media Investment 2003123 35 35 30 25 20 20 15 10 10 5 0 => => GRPs GRPs 02/01-254 352 02/02-180 254 02/03-180 254 02/04-180 254 02/05-187
<4D6963726F736F667420576F7264202D20C0FCC0DAB1DDC0B6BCADBAF1BDBA20C0CCBFEBBEE0B0FC28B1B820C7CFB3AAC0BAC7E0295FB0B3C1A4C8C45F3230313530395F2E646F6378>
2015. 10. 28. 개정 전자금융서비스 이용약관(구 하나은행) 제 1 조 (목적 목적) 1 이 약관은 (주)하나은행(이하 '은행'이라 함)과 은행이 제공하는 전자금융서비스 (인터넷뱅킹, 모바일뱅킹, 폰뱅킹 등 이하 '서비스'라 함)를 이용하고자 하는 이용자 (이하 '이용자'라 함) 간의 서비스 이용에 관한 제반 사항을 정함을 목적으로 한다. 2 이 약관에서
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
슬라이드 제목 없음
(JTC1/SC6) sjkoh@knu.ac.kr JTC1 JTC1/SC6/WG7 ECTP/RMCP/MMC (JTC1/SC6) 2/48 JTC1 ISO/IEC JTC1 Joint Technical Committee 1 ( ) ISO/TC 97 ( ) IEC/TC 83 ( ) Information Technology (IT) http://www.jtc1.org
PowerChute Personal Edition v3.1.0 에이전트 사용 설명서
PowerChute Personal Edition v3.1.0 990-3772D-019 4/2019 Schneider Electric IT Corporation Schneider Electric IT Corporation.. Schneider Electric IT Corporation,,,.,. Schneider Electric IT Corporation..
C 언어 프로그래밊 과제 풀이
과제풀이 (1) 홀수 / 짝수판정 (1) /* 20094123 홍길동 20100324 */ /* even_or_odd.c */ /* 정수를입력받아홀수인지짝수인지판정하는프로그램 */ int number; printf(" 정수를입력하시오 => "); scanf("%d", &number); 확인 주석문 가필요한이유 printf 와 scanf 쌍
JMF3_심빈구.PDF
JMF JSTORM http://wwwjstormpekr Issued by: < > Revision: Document Information Document title: Document file name: Revision number: Issued by: JMF3_ doc Issue Date:
PowerPoint Template
SOFTWARE ENGINEERING Practice #6 (Final) Electronic Door Lock System 201114188 김종연 201114191 정재욱 201114192 정재철 201114195 홍호탁 www.themegallery.com 1 / 38 Contents 1 2 Final Overview Unit Test 3 4 Modification
DBPIA-NURIMEDIA
e- 비즈니스연구 (The e-business Studies) Volume 17, Number 3, June, 30, 2016:pp. 273~299 ISSN 1229-9936 (Print), ISSN 2466-1716 (Online) 원고접수일심사 ( 수정 ) 게재확정일 2016. 06. 11 2016. 06. 24 2016. 06. 26 ABSTRACT e-
Microsoft Word - ASG AT90CAN128 모듈.doc
ASG AT90128 Project 3 rd Team Author Cho Chang yeon Date 2006-07-31 Contents 1 Introduction... 3 2 Schematic Revision... 4 3 Library... 5 3.1 1: 1 Communication... 5 iprinceps - 2-2006/07/31
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
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
Microsoft PowerPoint - Java7.pptx
HPC & OT Lab. 1 HPC & OT Lab. 2 실습 7 주차 Jin-Ho, Jang M.S. Hanyang Univ. HPC&OT Lab. jinhoyo@nate.com HPC & OT Lab. 3 Component Structure 객체 (object) 생성개념을이해한다. 외부클래스에대한접근방법을이해한다. 접근제어자 (public & private)
UNIST_교원 홈페이지 관리자_Manual_V1.0
Manual created by metapresso V 1.0 3Fl, Dongin Bldg, 246-3 Nonhyun-dong, Kangnam-gu, Seoul, Korea, 135-889 Tel: (02)518-7770 / Fax: (02)547-7739 / Mail: contact@metabrain.com / http://www.metabrain.com
경제통상 내지.PS
CONTENTS I 6 7 8 9 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 II 38 39 40 41 42 43 III 46 47 48 49 50 51 52 53 54 55 56 57 58 59 IV 62 63 64 65 66 67 68 69 V
°æÁ¦Åë»ó³»Áö.PDF
CONTENTS I 6 7 8 9 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 II 38 39 40 41 42 43 III 46 47 48 49 50 51 52 53 54 55 56 57 58 59 IV 62 63 64 65 66 67 68 69 V
Frama-C/JESSIS 사용법 소개
Frama-C 프로그램검증시스템소개 박종현 @ POSTECH PL Frama-C? C 프로그램대상정적분석도구 플러그인구조 JESSIE Wp Aorai Frama-C 커널 2 ROSAEC 2011 동계워크샵 @ 통영 JESSIE? Frama-C 연역검증플러그인 프로그램분석 검증조건추출 증명 Hoare 논리에기초한프로그램검증도구 사용법 $ frama-c jessie
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,
Dialog Box 실행파일을 Web에 포함시키는 방법
DialogBox Web 1 Dialog Box Web 1 MFC ActiveX ControlWizard workspace 2 insert, ID 3 class 4 CDialogCtrl Class 5 classwizard OnCreate Create 6 ActiveX OCX 7 html 1 MFC ActiveX ControlWizard workspace New
DBPIA-NURIMEDIA
e- 비즈니스연구 (The e-business Studies) Volume 17, Number 3, June, 30, 2016:pp. 93~116 ISSN 1229-9936 (Print), ISSN 2466-1716 (Online) 원고접수일심사 ( 수정 ) 게재확정일 2016. 06. 12 2016. 06. 20 2016. 06. 26 ABSTRACT e-
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
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_
UI TASK & KEY EVENT
T9 & AUTOMATA 2007. 3. 23 PLATFORM TEAM 정용학 차례 T9 개요 새로운언어 (LDB) 추가 T9 주요구조체 / 주요함수 Automata 개요 Automata 주요함수 추후세미나계획 질의응답및토의 T9 ( 2 / 30 ) T9 개요 일반적으로 cat 이라는단어를쓸려면... 기존모드 (multitap) 2,2,2, 2,8 ( 총 6번의입력
Making a True Business Solution ANNUAL REPORT 2013 I. I. I I II. II. II II II II II II II II II II II II II II II II II III. III III III III III III III III III III III
Java ...
컴퓨터언어 1 Java 제어문 조성일 조건문 : if, switch 어떠한조건을조사하여각기다른명령을실행 if 문, switch 문 if 문 if - else 문형식 if 문형식 if ( 조건식 ) { 명령문 1; 명령문 2;... if ( 조건식 ) { 명령문 1; 명령문 2;... else { 명령문 a; 명령문 b;... 예제 1 정수를입력받아짝수와홀수를판별하는프로그램을작성하시오.
PCServerMgmt7
Web Windows NT/2000 Server DP&NM Lab 1 Contents 2 Windows NT Service Provider Management Application Web UI 3 . PC,, Client/Server Network 4 (1),,, PC Mainframe PC Backbone Server TCP/IP DCS PLC Network
I 1 1) TESCO, 1993, ( 96, 98, 99) - : : 354 (19993 ~ , 1 =1737 ) - : 845 ( : 659 ) - : ) CM 9 (CM), CM , 2 CM, -
[ B-4] - 322 - I 1 1) TESCO, 1993, 1997 3 ( 96, 98, 99) - : 1942-1999 : 354 (19993 ~ 20002 20, 1 =1737 ) - : 845 ( : 659 ) - : 22-11 2) CM 9 (CM), CM 2000 9, 2 CM, - : 210 - : (, 2000 9), - 323 - - : -
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)
목차 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 변환을수행하지않도록수정합니다....
PowerPoint 프레젠테이션
Reasons for Poor Performance Programs 60% Design 20% System 2.5% Database 17.5% Source: ORACLE Performance Tuning 1 SMS TOOL DBA Monitoring TOOL Administration TOOL Performance Insight Backup SQL TUNING
e-spider_제품표준제안서_160516
The start of something new ECMA Based Scraping Engine CONTENTS 3 4 1 2 3 4 5 6 7 8 9 5 6 ECMA Based Scraping Engine 7 No.1 No.2 No.3 No.4 No.5 8 24 ( ) 9 ios Device (all architecture) Android Device (all
슬라이드 1
Software Verification #3 정적분석도구, 단위 / 시스템테스트도구 Software Verification Team 4 강 정 모 송 상 연 신 승 화 1 Software Verification #3 정적분석도구, 단위 / 시스템테스트도구 CONTENTS 01 Overall Structure 02 Static analyzer SonarQube
윈도우시스템프로그래밍
데이터베이스및설계 MySQL 을위한 MFC 를사용한 ODBC 프로그래밍 2012.05.10. 오병우 컴퓨터공학과금오공과대학교 http://www.apmsetup.com 또는 http://www.mysql.com APM Setup 설치발표자료참조 Department of Computer Engineering 2 DB 에속한테이블보기 show tables; 에러발생
강의 개요
DDL TABLE 을만들자 웹데이터베이스 TABLE 자료가저장되는공간 문자자료의경우 DB 생성시지정한 Character Set 대로저장 Table 생성시 Table 의구조를결정짓는열속성지정 열 (Clumn, Attribute) 은이름과자료형을갖는다. 자료형 : http://dev.mysql.cm/dc/refman/5.1/en/data-types.html TABLE
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,
2 2000. 8. 31
IT update 00 1 / 2000.8.30 IT update Information Technology 2 2000. 8. 31 C o n t e n t s 2000. 8. 31 3 4 2000. 8. 31 2000. 8. 31 5 6 2000. 8. 31 2000. 8. 31 7 8 2000. 8. 31 2000. 8. 31 9 1 0 2000. 8.
비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2
비트연산자 1 1 비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2 진수법! 2, 10, 16, 8! 2 : 0~1 ( )! 10 : 0~9 ( )! 16 : 0~9, 9 a, b,
슬라이드 1
[ CRM Fair 2004 ] CRM 1. CRM Trend 2. Customer Single View 3. Marketing Automation 4. ROI Management 5. Conclusion 1. CRM Trend 1. CRM Trend Operational CRM Analytical CRM Sales Mgt. &Prcs. Legacy System
PowerPoint 프레젠테이션
SMV 소개 Konkuk Univ. IT 융합정보보호학과 오예원, 박선영 목차 SMV 소개 CTL NuSMV 설치방법및예시 (lift) 향후계획 SMV SMV(Symbolic Model Verifier) 는유한상태시스템 (finite state system) 이 CTL(Computation Tree Logic) 이라는논리와 BDD(Binary Decision
정보기술응용학회 발표
, hsh@bhknuackr, trademark21@koreacom 1370, +82-53-950-5440 - 476 - :,, VOC,, CBML - Abstract -,, VOC VOC VOC - 477 - - 478 - Cost- Center [2] VOC VOC, ( ) VOC - 479 - IT [7] Knowledge / Information Management
PJTROHMPCJPS.hwp
제 출 문 농림수산식품부장관 귀하 본 보고서를 트위스트 휠 방식 폐비닐 수거기 개발 과제의 최종보고서로 제출 합니다. 2008년 4월 24일 주관연구기관명: 경 북 대 학 교 총괄연구책임자: 김 태 욱 연 구 원: 조 창 래 연 구 원: 배 석 경 연 구 원: 김 승 현 연 구 원: 신 동 호 연 구 원: 유 기 형 위탁연구기관명: 삼 생 공 업 위탁연구책임자:
휠세미나3 ver0.4
andromeda@sparcs:/$ ls -al dev/sda* brw-rw---- 1 root disk 8, 0 2014-06-09 18:43 dev/sda brw-rw---- 1 root disk 8, 1 2014-06-09 18:43 dev/sda1 brw-rw---- 1 root disk 8, 2 2014-06-09 18:43 dev/sda2 andromeda@sparcs:/$
API 매뉴얼
PCI-TC03 API Programming (Rev 1.0) Windows, Windows2000, Windows NT, Windows XP and Windows 7 are trademarks of Microsoft. We acknowledge that the trademarks or service names of all other organizations
PowerPoint Template
SOFTWARE ENGINEERING Practice #1 (SA) Door Lock 201114188 김종연 201114191 정재욱 201114192 정재철 201114195 홍호탁 www.themegallery.com 2013-10-3 1 / 43 Contents 1 SRS - SRS 0.9 -> 1.0 버전업 2 SRA - DFD - Process Specification
소프트웨어공학 Tutorial #2: StarUML Eun Man Choi
소프트웨어공학 Tutorial #2: StarUML Eun Man Choi emchoi@dgu.ac.kr Contents l StarUML 개요 l StarUML 소개및특징 l 주요기능 l StarUML 화면소개 l StarUML 설치 l StarUML 다운 & 설치하기 l 연습 l 사용사례다이어그램그리기 l 클래스다이어그램그리기 l 순서다이어그램그리기 2
PowerPoint Presentation
객체지향프로그래밍 클래스, 객체, 메소드 ( 실습 ) 손시운 ssw5176@kangwon.ac.kr 예제 1. 필드만있는클래스 텔레비젼 2 예제 1. 필드만있는클래스 3 예제 2. 여러개의객체생성하기 4 5 예제 3. 메소드가추가된클래스 public class Television { int channel; // 채널번호 int volume; // 볼륨 boolean
DW 개요.PDF
Data Warehouse Hammersoftkorea BI Group / DW / 1960 1970 1980 1990 2000 Automating Informating Source : Kelly, The Data Warehousing : The Route to Mass Customization, 1996. -,, Data .,.., /. ...,.,,,.
InsertColumnNonNullableError(#colName) 에해당하는메시지출력 존재하지않는컬럼에값을삽입하려고할경우, InsertColumnExistenceError(#colName) 에해당하는메시지출력 실행결과가 primary key 제약에위배된다면, Ins
Project 1-3: Implementing DML Due: 2015/11/11 (Wed), 11:59 PM 이번프로젝트의목표는프로젝트 1-1 및프로젝트 1-2에서구현한프로그램에기능을추가하여간단한 DML을처리할수있도록하는것이다. 구현한프로그램은 3개의 DML 구문 (insert, delete, select) 을처리할수있어야한다. 테이블데이터는파일에저장되어프로그램이종료되어도사라지지않아야한다.