Digital watch system

Size: px

Start display at page:

Download "Digital watch system"

간희 저
4 years ago
Views:

1 DIGITAL WATCH SYSTEM REFLECTING TESTING #1 KONKUK UNIV. SOFTWARE ENGINEERING T PRESENTER: LIM, MINWOO ( )

2 CONTENTS 1. Review Testing Report 2. Overall DFD Comparison 3. Structured Chart Comparison 4. STD Comparison 5. DWS 2.0 s Process Spec. 6. DWS 2.0 s Data Dictionary 7. DWS 2.0 s Demo 8. Conclusion 9. Q&A 2 /35

3 REVIEW TESTING REPORT (1/7) System Test Result Identifier Input Specification Result ST.003 a, c, * FAIL ( 시간수정이아닌분수정으로변경 ) ST.004 a, c, c, * FAIL ( 분수정이아닌시간수정으로변경 ) ST c, b, a x n (n>2), d FAIL (Backlight 비활성화 ) Others PASS DWS Comparison Identifier DWS 1.3 DWS 2.0 ST.003, ST.004 Sec->Min->Hour->Year->Month->Date Sec->Hour->Min>Year->Month->Date ST No Process for Backlight while Lap time. Requirements analysis failed. DO CASE in perspective of Button Command. 3 /35

4 REVIEW TESTING REPORT (2/7) DWS Comparison (Cont.) ST.003, ST.004 Reference No Name Move Variable Input Output Process Description Trigger, Time Data, State Data Time Data, State Data Move Variable Data Process 는 Time Data 의 Cursor 데이터조작프로세스이다. Cursor 를초 (Sec)- 시간 (Hour)- 분 (Min)- 년 (Year)- 월 (Month)- 일 ( Date)( 요일 )- 초 (Sec) 순으로이동하며 Data Dictionary 에 Cursor 데이터에관한 Range 와 Value 가명세되어있다. Time Data 의데이터를읽어와변경된 Cursor 값을저장한다.. Time Data (Data Store). Cursor = *Range: 0-6, Value: [CSec CHour CMin CYear CMonth CDate], Type: Integer, 타임수정시수정값위치. Data Store, 4 /35

5 REVIEW TESTING REPORT (3/7) DWS Comparison (Cont.) ST Reference No. 1.5 Name Change State 1.5 Input Output Process Description Button A, B, C and D Command, State Data (Origin State Data), Tick State Data (Modified State Data). Set Button Priority (D>C>B>A) IF Button A Command is TRUE. ELSE IF Button B Command is TRUE. ELSE IF Button C Command is TRUE. ELSE IF Button D Command is TRUE Set Backlight On to Backlight State 5 /35

6 REVIEW TESTING REPORT (4/7) Unit Test Result TEST FAILED! 6 /35

7 REVIEW TESTING REPORT (5/7) Appendix SRA 문서에존재하는모든 Controller 의 Finite State Machine 이제대로작성되어있지않습니다. Enable, Disable 이후 DFD 에존재하지않는 Data Process 의이름이작성되어있습니다. 의도하신바를어느정도는알수있었지만, Enable, Disable, Trigger 는 DFD 에서작성된해당 Data Process 의이름을똑같이작성해주셔야됩니다. 입력이없이 Output 만변화되면서상태전이가된다면, 상태의개수를줄이면서자기자신의 State 로되돌아가도록명시하는것도방법일것같습니다. Data dictionary 가명확히작성되어있지않습니다. SRA 문서 항목에구조체로선언된모든데이터들의내부데이터들의데이터타입이어떻게되는지, 각데이터의허용범위는어디서어디까지인지정확히명시가되어야합니다. 이외에도 DFD, Finite State Machine 에한번이라도명시가된데이터는꼭데이터의타입과값의허용범위등을명시해주셔야합니다. 7 /35

8 REVIEW TESTING REPORT (6/7) Appendix (Cont.) DFD 에그려진일부 Data Process 가잘못그려져있습니다. Process Description 에는입력을받는다고명세가되어있지만, DFD 에는그려져있지않은 I/O 가존재합니다. 예를들어, Add Variable 에서 button Input 이필요한것으로보이는데, DFD 에존재하지않습니다. Process Description 이잘못되어있는것이있습니다. Data Process 2.1.7, 2.1.8, 는 Controller 가아닌것으로 DFD 에그려져있는데, Process Description 에는 Controller 로명세가되어있습니다. SRA, SDS 문서가실제작성된코드와차이가많습니다. 8 /35

9 REVIEW TESTING REPORT (7/7) DWS Comparison Part DWS 1.3 DWS 2.0 STD Data Dictionary DFD > Data Process Process Specification Implementation No names for DFD Unnamed state for DFD No specifications of data store or input/output data. No consistency between input and output. Few description of process. Doesn t have any information about handling data. No Description for transmitting data between input and output. Many differences between SRA, SDS and Implementation. Only use DFD s Data Process to STD More detailed specifications of data store or input/output data. If get input, must transmit it or read/write it. Data Consistency. More detailed description for process. Structured English for detailed data process. Descriptions of data used by its process. Detailed specifications for coding. 9 /35

10 OVERALL DFD COMPARISON (1/2) DWS Ver /35

11 OVERALL DFD COMPARISON (2/2) DWS Ver /35

12 STRUCTURED CHART COMPARISON (1/2) DWS Ver /35

13 STRUCTURED CHART COMPARISON (2/2) DWS Ver /35

14 STD COMPARISON (1/4) State Transition Diagram For Controller Ver /35

15 STD COMPARISON (2/4) State Transition Diagram For Controller & Ver /35

16 STD COMPARISON (3/4) State Transition Diagram For Controller Ver /35

17 STD COMPARISON (4/4) State Transition Diagram For Controller Ver /35

18 DWS 2.0 S PROCESS SPEC. (1/13) Major Data Process Reference 1.5 No. Name Change State 1.5 Input Button A, B, C and D Command, State Data (Origin State Data), Tick Output State Data (Modified State Data) Process D 버튼 Interface로부터받은 Button Command와 State Data 의 Origin State Data ( 기존 State Data) 를비교 escription 하여새로운 State Data (Modified State Data) 를생성하여이를 State Data Store 에저장후다음 Process 로넘기는 Data Process다. 늘 Button Command 의데이터를받기전에기존에있던 Button Command 는모두초기화시킨후적용시킨다. 초기상태또한모두형태가 Boolean 형태이므로 False를초기값으로한다. 특이한사항으로는, Measuring Time On 과 Backlight On 은주기적으로컨트롤러로부터호출이되야하는것이기에 Off 의상태가존재한다. 또한, 각상태마다화면에출력해야하는상태도달라지기에 Laptime 을출력했다가다시 Stopwatch 진행상태를출력하려면 Previous State 를 None 으로바꾼다. 버튼 A, B, C 그리고 D 의순서배정은 D>C>B>A 순으로하며, 키보드의동시입력은일어나지않으므로우선순위에배정된 Button Command 를제외한나머지 Button Command 는모두 FALSE 로처리한다. 상세한 Data Process 는아래 Structured English 로대체한다... Structred English 생략 18 /35

19 DWS 2.0 S PROCESS SPEC. (2/13) Major Data Process (Cont.) Referenc e No. Name Time Controller Input State Data, Time Data, Tick Output Trigger (Control Flow) Process DWS의전반적인기능을담당하는 Control Process로써, 입력받은 State Data를기준으로알맞은모듈 Descripti 을호출한다. 이호출은 Control Flow 이며 Trigger 형식으로이루어지게된다. on 또한, 스톱워치의 Measuring Time Enable/Disable 과같은경우에는지속적인흐름을제어할 Enable/Di sable Control Flow가존재한다. 또한지속적인호출을필요로하는 Data Process 와같은 (Measuring Time) 이나, 혹은출력의형태가변하는 (Laptime) 을위한별도데이터제어가포함된다. 먼저, State Data 의 Stopwatch State 가 Meas uring Time On 의값으로설정되어있다면 Time Controller 의 Process 가진행될때마다 Measuring T ime Data Process 를호출하게된다. 그리고, Laptime 에서다시 Stopwatch 의진행상황을출력하거나출력의형식이바뀌는경우에는 State Data 의 Previous State 의값이 Change State 로부터 None 으로넘어왔는지검사한다. 결과에따라 Time Data 안의속성값 (Stopwatch Status, Laptime Status 등 ) 을변경및저장한다. 초기상태의모듈호출은 Time Display 이며 State Data 에따라달라지는제어흐름에대한것은아래와같다. 아래에명시된모든데이터는 Data Dictionary 에명시되어있다. Structured English 생략 19 /35

20 DWS 2.0 S PROCESS SPEC. (3/13) Major Data Process (Cont.) Referenc e No. Name Backlight Controller Input State Data, Tick Output Trigger (Control Flow) Process DWS의백라이트기능의 Control Flow 를담당하는 Control Process 이다. Descripti Backlight On 의 Control Flow (Trigger) 는 State Data가 Backlight On 일때에만일어난다. State Data on 의변화는 Backlight On 에서처리한다. 2초간 DWS의출력내용을노란색으로바꾼다. ( 백라이트효과 ) IF Backlight State is Backlight On Trigger Backlight On ENDIF 20 /35

21 DWS 2.0 S PROCESS SPEC. (4/13) Major Data Process (Cont.) Referenc e No. Name Time Display Input Trigger, Time Data, Tick Output Time Data Process 주기적으로 (1/100초) 현재시간을표시한다. Timekeeping Mode의초기화면으로, DWS 의초기 Data Descripti Process 다. Time Data으로부터현재시간을입력받아데이터를주기적으로표현한다. on Time Data으로부터입력받는현재시간은다음과같다. Hour, Min, Sec, PM Indicator, Year, Month, Date, Day, Alarm Indicator 위데이터들은모두 Timekeeping Mode 에서화면에출력해줘야할데이터들이다. 위의데이터를입력받아 Tick( 주기적으로 ) 외부출력장치의 Interface 인 Display Interface 에 Time Dat a 를전해주는 Data Process 이다. 본 Data Process 에서는 Time Data 를읽어와서이를 Display Interface에전달한다. 전달할때에데이터의변경은일체일어나지않는다. 21 /35

22 DWS 2.0 S PROCESS SPEC. (5/13) Major Data Process (Cont.) Referenc e No. Name Add Variable Input Trigger, Time Data, State Data Output Time Data, State Data Process Add Variable 은 Time Setting ( 시간수정 ) 시에 Time Data 의해당 Cursor 의위치에존재하는값을 1 Descripti 씩증가시키는 Data Process 이다. 본 Data Process 에서는 Time Data 의데이터들을입력받고, 또한 on 데이터들의값을변경후다시 Time Data 에저장하는 Data Process 다. 데이터들의처리과정은아래 Structured English로대체한다. Structured Enligsh 생략 22 /35

23 DWS 2.0 S PROCESS SPEC. (6/13) Major Data Process (Cont.) Referenc e No. Name Move Variable Input Trigger, Time Data, State Data Output Time Data, State Data Process Move Variable Data Process 는 Time Data 의 Cursor 데이터조작프로세스이다. Cursor를초 (Sec)-시 Descripti 간 (Hour)-분(Min)-년(Year)-월(Month)-일(Date)( 요일 )-초(Sec) 순으로이동하며 Data Dictionary 에 Curs on or 데이터에관한 Range 와 Value 가명세되어있다. Time Data 의데이터를읽어와변경된 Cursor 값을저장한다. Add 1 to Cursor IF Cursor > CDate Set CSec to Cursor ENDIF Set Time Setting to Current State 23 /35

24 DWS 2.0 S PROCESS SPEC. (7/13) Major Data Process (Cont.) Referenc e No. Name Time Setting Input Trigger, Time Data, Tick Output Time Data Process 주기적으로 (1/100초) Time Setting Mode의초기화면에표시할데이터를외부출력장치의 Interface인 Descripti Display Interface에 Time Data로보내는 Data Process다. Time Setting Mode 에서는 Timekeeping Mo on de 에서진행되던현재시간의진행은계속유지된다. Time Setting Data Process 는 Time Display 의확장이다. 기능은같고추가된기능이존재한다. 본데이터처리과정에서는 Time Data 의변화는일체일어나지않는다. 또한, 최종적인출력을위해 Display Interface에 Time Data 를전달한다. 또한, Cursor의값이 CNot이아닐경우, 화면에 Cursor 위치에대한밑줄표시를위한데이터를포함한다. 본데이터프로세스에서읽어오는데이터 Time Data 는아래와같다. Hour, Min, Sec, PM Indicator, Year, Month, Date, Day, Alarm Indicator, Cursor 24 /35

25 DWS 2.0 S PROCESS SPEC. (8/13) Major Data Process (Cont.) Referenc e No. Name Stopwatch Display Input Trigger, Time Data, Tick Output Time Data Process 주기적으로 (1/100초) Time Data 의 Stopwatch 관련데이터들과 Timekeeping 관련데이터들을읽어와 Descripti 화면에출력하기위해 Display Interface에 Time Data 를전달하는 Data Process 다. 본데이터프로세스 on 에서는 Time Data 의변화는일체일어나지않는다. 읽어온 Time Data는본상태그대로 Display Interf ace에전달된다. 본데이터프로세스는스톱워치기능을출력하기위한데이터프로세스로써, Measuring Time Trigger 혹은 Measuring Time Reset 그리고 Laptime 상태를표시 ( 출력 ) 하기위한데이터전달프로세스다. Stop watch 기능을화면에출력하기위한데이터전달프로세스다. 주기적으로 (1/100 초 ) Time Data 의 Stopwatch Min, Stopwatch Sec, Stopwatch 1/100 Sec, 과 Hour, M in 을읽어들여화문에출력하기위한 Time Data 를전달한다. 이때에 Stopwatch Status 자료를이용하여스톱워치시간의흐름여부를판단할수있다. 하지만, Laptime Status 가 TRUE 이면 Laptime Min, L aptime Sec, Laptime 1/100 Sec 을읽어와화면에출력하기위해데이터를전달한다. 25 /35

26 DWS 2.0 S PROCESS SPEC. (9/13) Major Data Process (Cont.) Referenc e No. Name Measuring Time Input Trigger (Control Flow), Time Data, Tick Output Time Data Process Measuring Time Data Process는 Time Controller 에서전달한 Control Flow 인 Trigger 에따라작 Descripti 동한다. Control Flow 이므로 Data Process 에대한프로세스시작명령이다. on 주기적으로 (1/100초) Time Data의 Stopwatch Min, Stopwatch Sec, Stopwatch 1/100 Sec, 그리고 Stop watch Status 의데이터들을처리한다. 주기가 1/100초가되므로 Stopwatch 1/100 Sec 가 1/100초마다 1씩증가하게된다. 본 Data Process 는지속적인프로세스나혹은중단이필요하기에지속적인 Trigger 호출이일어나거나혹은일어나지않게된다. 이는 State Data 에따라작동한다. Add 1 to Stopwatch 1/100 Sec *Every 1/100 seconds* IF Stopwatch 1/100 Sec >= 100 Set 0 to Stopwatch 1/100 Sec Add 1 to Stopwatch Sec IF Stopwatch Sec >= 60 Set 0 to Stopwatch Sec Add 1 to Stopwatch Min IF Stopwatch Min >= 60 Set 0 to Stopwatch Min ENDIF ENDIF ENDIF 26 /35

27 DWS 2.0 S PROCESS SPEC. (10/13) Major Data Process (Cont.) Referenc e No. Name LapTime Input Trigger, Time Data, State Data Output Time Data, State Data Process Laptime 은 Stopwatch Mode의 Lap time 을출력하기위해 Time Data 에서 Stopwatch 데이터를읽어 Descripti 와이를 Laptime 정보에저장하고 Display Interface에저장된 Time Data 를전달하는 Data Process다. on 이때처리하는데이터는다음과같다. Stopwatch Min, Stopwatch Sec, Stopwatch 1/100 Sec 을읽어들여서 Laptime Min, Laptime Sec, Lapti me 1/100 Sec 에저장한다. 또한, Laptime Status 을 TRUE(1) 로변경한후 Time Data 에저장한다. Set Stopwatch Min to Laptime Min Set Stopwatch Sec to Laptime Sec Set Stopwatch 1/100 Sec to Laptime 1/100 Sec Set TRUE to Laptime Status Set Lap Time to Previous State Set Stopwatch Display to Current State 27 /35

28 DWS 2.0 S PROCESS SPEC. (11/13) Major Data Process (Cont.) Referenc e No. Name Measuring Time Reset Input Trigger, Time Data, State Data Output Time Data, State Data Process Descripti on Measuring Time Reset 은 Stopwatch Mode 에서의 Measuring Time End 직후의 Time Data 안의 Stop watch 관련데이터들을모두 0으로초기화하는데이터프로세스다. Time Data 의데이터를읽어와관련데이터들을 0으로초기화하고다시 Time Data 에저장하는데이터프로세스다. Set FALSE to Laptime Status Set 0 to Stopwatch Min Set 0 to Stopwatch Sec Set 0 to Stopwatch 1/100 Sec Set 0 to Laptime Min Set 0 to Laptime Sec Set 0 to Laptime 1/100 Sec Set Stopwatch Display to Current State 28 /35

29 DWS 2.0 S PROCESS SPEC. (12/13) Major Data Process (Cont.) Referenc e No. Name Backlight On Input Trigger (Control Flow), State Data Output State Data, Backlight Command Process Backlight On Data Process는 Backlight Controller 으로부터받은 Control Flow 를기준으로 Mod Descripti e 에관계없이 State Data의 Backlight State가 Backlight On 이면 2초간 Backlight Command 를 Backli on ght Interface에보내는데이터프로세스다. 2초가지난후엔 State Data 의 Backlight State를 FALSE로변경후저장한다. 이또한, 백라이트기능이꺼졌다는것을의미하므로최종출력장치 Interface인 Bac klight Interface로 Backlight Command를보내는프로세스다. 단, Backlight On 이 2초간지속될때 IF Time flows 2 seconds Pass Backlight Command (Backlight Off) to Interface Set Backlight Off to Backlight State ELSE Pass Backlight Command (Backlight On) to Interface ENDIF 29 /35

30 DWS 2.0 S PROCESS SPEC. (13/13) Major Data Process (Cont.) Referenc e No. Name Time Flowing Input Trigger, Time Data, Tick Output Time Data Process Descripti on Time Flowing 데이터프로세스는 DWS 의전반적인시간의흐름에대한데이터처리를담당하는프로세스다. 주기적으로 (1/100초) Time Data 를읽어와시간에관련된데이터를변경하고저장하는프로세스다. Stopwatch Mode, Timekeeping Mode 에관계없이주기적으로호출 (Control Flow) 된다. DWS 는오전일때에는 12 시가되는순간오후가되고, 오후는 12 시부터 11 시 59 분을의미한다. 이러한 Hour( 시간 ) 값의처리또한담당하는프로세스다. 또한, 오후에서다음날오전으로넘어가는데이터의처리또한담당한다. DWS SRS 에는 Alarm 데이터에관한명세가존재하지않으므로 Alarm Indicator 의기본값은 TRUE 로정하고 Timekeeping Mode 에서 Alarm Indicator 를표시하도록한다. Structured English 생략 30 /35

31 DWS 2.0 S DATA DICTIONARY Major Data Dictionary (State Data, Time Data) Data Nam Description Format/Type e State Dat State Data 는 Current State 와 Previous State, Stopwatch State, Backlight State로이 Data Store, a 루어진복합형데이터저장소다. DWS 는본 State Data 의데이터처리를한후이에따 (Data Sto 른명령을실행한다. 따라서실행할명령을지정하는 ( 상태를지정하는 ) 데이터다. re) State Data = Current State + Previous State + Stopwatch State + Backlight State State Data 가취할수있는모든데이터는아래와같다. [Time Display Add Variable Move Variable Time Setting Stopwatch Display Meas uring Time On Measuring Time Disable Measuring Time Reset Lap Time Backlight On Backlight Off, None] Current State = [Time Display Add Variable Move Variable Time Setting Stopwatch Display Measuring Time Reset Lap Time ] * 동작제어를위한 Current State, Default: Time Display* Previous State = [Lap Time None] *Stopwatch Mode 에서의이전동작제어를위한 Previous State, Default: None* Stopwatch State = [Measuring Time On Measuring Time Off] *Stopwatch 기능제어를위한 Stopwatch State, Default: Measuring Time Off* Backlight State = [Backlight On Backlight Off] *Backlight 기능제어를위한 Backlight State, Default: Backlight Off* Current State 는 Integer 형으로 0-4, 7, 8 로이루어진다.. Previous State 는 Integer 형으로 8, 11 의값이부여된다. Stopwatch State 는 Integer 형으로 5, 6 의값이부여된다. Backlight State 는 Integer 형으로 9-10 로순서대로부여한다. Current State = *Range: 0-4, 7, 8, Type: Integer* Previous State = *Range:8, 11, Type: Integer* Stopwatch State = *Range: 5, 6, Type: Integer* Backlight State = *Range: 9-10, Type: Integer* Time Display = *Timekeeping Mode 의초기상태 * Add Variable = * 시간수정시해당부분값증가상태 * Move Variable = * 시간수정시수정하는부분이동상태 * Time Setting = * 시간수정시초기상태 * Stopwatch Display = * 스톱워치시초기상태및스톱워치출력상태 * Measuring Time On = * 스톱워치기능호출가능상태 * Measuring Time Off = * 스톱워치기능호출불가능상태 * Measuring Time Reset = * 스톱워치데이터초기화상태 * Lap Time = * 스톱워치랩타임표시상태 * Backlight On = * 백라이트활성화호출가능상태 * Backlight Off = * 백라이트활성화호출불가능상태 * None = * 아무의미없는값의상태 * Data Nam Description e Time Dat Time Data 는각종시간, 즉시계와관련된데이터를저장하는복합형데이터저장소다. a Time Data = (Data Sto Hour+Min+Sec+PM Indicator+Year+Month+Date+Day+ re) Final Date+Stopwatch Min+Stopwatch Sec+ Stopwatch 1/100 Sec+Stopwatch Status+Laptime Min+ Laptime Sec+Laptime 1/100 Sec+Laptime Status+Cursor+ Alarm Indicator Hour = *Range: 0-12, Type: Integer, 시간, Default: 0* Min = *Range: 0-59, Type: Integer, 분, Default: 0* Sec = *Range: 0-59, Type: Integer, 초, Default: 0* PM Indicator = *Range: 0-1, Value: [FALSE/TRUE], Type: Boolean, 오전 / 오후상태값, Default: FALSE* Year = *Range: , Type: Integer, 년도, Default: 2012* Month = *Range: 1-12, Type: Integer, 월, Default: 1* Date = *Range: 1-31, Type: Integer, 일, Default: 1* Day = [SU MO TU WE TH FR SA] *Range: 0-6, Type: Integer, 요일, Default: 0* Final Date = *Range: 1-31, Type: Integer, Default: 31* * 현재 Hour:Min:Sec 가속해있는해당 Month 의마지막일 * Stopwatch Min = *Range: 0-59, Type: Integer, 스톱워치분, Default: 0* Stopwatch Sec = *Range: 0-59, Type: Integer, 스톱워치초, Default: 0* Stopwatch 1/100 Sec = *Range: 0-99, Type: Integer, 스톱워치 1/100 초, Default: 0* Stopwatch Status = *Range:0-1, Value: [FALSE/TRUE], 기본값 FALSE, Default: FALSE* Laptime Min = *Range: 0-59, Type: Integer, 랩타임분, Default: 0* Laptime Sec = *Range: 0-59, Type: Integer, 랩타임초, Default: 0* Laptime 1/100 Sec = *Range: 0-99, Type: Integer, 랩타임 1/100 초, Default: 0* Laptime Status = *Range: 0-1, Value: [FALSE/TRUE], Type: Boolean, 랩타임상태값, Default: FALSE* Cursor = *Range: 0-6, Value: [CSec CHour CMin CYear CMonth CDate], Type: Integer, 타임수정시수정값위치 CSec: 초수정위치 ( 기본값 ) CHour: 시간수정위치 CMin: 분수정위치 CYear: 년도수정위치 CMonth: 월수정위치 CDate: 일수정위치 * Alarm Indicator = *Range: 0-1, Value: [FALSE/TRUE], Type: Boolean, Alarm 활성상태값, Default: TRUE* Format/Type Data Store, 31 /35

32 DWS 2.0 S DEMO DEMO IMPLEMENTATION 32 /35

33 CONCLUSION 1. Processing of Data 2. Detail Specification and Description 3. Implemented by Structured Chart Architecture 4. Seperated Modules (Data Process and Controller mainly) 5. After Analysis and Design, Implementation goes easy. 33 /35

34 Q&A ANY QUESTION? 34 /35

35 END 35 /35

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