2. Features to be tested (by V&V)
- Verification
- Validation
Features not to be tested
Test Identification
Input&Output Specifications
Test Result (for team 5)
Test Result (for team 6)
Q & A
목차.
2014-2소프트웨어공학개론
5. 2014-2 소프트웨어공학개론
Features
To be
Tested
Verification
<Table 1> SpecID of Compliance with SRS with Description
SpecID Description
SpecID_000_000 하차 시 카드를 태그 할 수도 있고 아닐 수도 있다.
SpecID_000_001 하루는 3분으로 가정한다.
SpecID_000_002 다음 날 운행이 시작하기 전까지는 정산이 반드시 이루어져야 한다.
SpecID_000_003 버스와 지하철 단말기는 하루를 주기로 반복해서 동작한다.
SpecID_000_004 버스와 지하철 단말기는 하루 동안 동작한 후 정산 과정과 초기화 과
정을 진행한다.
SpecID_000_005 정산이 되지 않았을 경우 운행을 할 수 없다.
SpecID_000_006 계산된 부과 요금과 현재 시간을 단말기에 출력하며, 부과 요금과 기
타 정보를 사용자 카드와 각 단말기의 일별 요금 기록에 기록한다
SpecID_000_007 각 역마다 하나의 지하철 단말기가 독립적으로 작동한다.
6. 2014-2 소프트웨어공학개론
Features
To be
Tested
Verification
SpecID Description
SpecID_000_008 교통카드로 가정한 txt 파일에는 시간,교통수단,승차/하차,잔액,탑승
단말기 정보가 정해진 형식대로 저장되어야 한다.(PTS SRS 1.0 의
표 3 참조)
SpecID_000_009 각 교통카드 단말기의 누적 결제 기록은시간,교통수단,승차/하차,결
제 금액, 탑승 단말기 정보가 정해진 형식대로 저장되어야 한다.(PTS
SRS 1.0 의 표 4 참조)
SpecID_000_010 교통카드 태그 행위는 동일한 폴더 내의 교통카드 파일을 읽어오는
것으로 간주한다.
SpecID_000_011 각 단말기는 ‘단말기 고유 ID + 하루 동안 태그 된 Count’ 를 포함하
는 STRING_INT형식의 탑승 단말기 정보를 가지고 있다.
SpecID_000_012 사용자가 단말기에 카드를 태그 할 경우 단말기는 환승 여부를 확인
후 환승일 경우와 아닐 경우 각각 달리 작동한다.
- 환승이 아닐 경우 해당 탑승 단말기 정보를 교통카드와 단말기
누적 결제 기록에 기록한다.
- 환승일 경우 카드에 저장되어 있는 탑승 단말기 정보를 읽어와
교통카드와 단말기 누적 결제 기록에 기록한다.
SpecID_000_013 탑승 단말기 정보는 정산 시 사용된다.
8. 2014-2 소프트웨어공학개론
Features
To be
Tested
Validation
<Table 2> SpecID of Bus Functionality with Description
SpecID Description
SpecID_001_000 버스용 단말기는 버스에 부착되며 탑승 태그와 하차 태그가 가능하다.
SpecID_001_001 기본료(1050)원)를 지불하면 1회 탑승이 가능하다.
SpecID_001_002 버스 환승 최고 부과금액인 700원이 남아 있지 않으면 버스로 환승 시키
지 않는다.
SpecID_001_003 지하철에서 버스로 환승 후 부과되는 요금은 0원이다.
SpecID_001_004 지하철에서 버스로 환승 후 30초당 100원의 추가요금이 부과된다.
SpecID_001_005 지하철에서 버스로 환승 후 하차 시단말기를 태그 하지 않았을 경우, 환승
최고 요금인 700원을 다음 승차 시 부과한다.
SpecID_001_006 일반 승차 후 하차 시 부과되는 요금은 0원이다.
SpecID_001_007 지하철에서 버스로 환승 후 하차 시 부과되는 요금은 버스 환승 최대 금액
인 700원을 넘지 않는다.
9. 2014-2 소프트웨어공학개론
Features
To be
Tested
Validation
<Table 3> SpecID of Metro Functionality with Description
SpecID Description
SpecID_002_000 지하철용 단말기는 역에 부착되며 탑승 태그와 하차 태그가 가능하다.
SpecID_002_001 1개역 이하를 이동하면 기본료(1050원)가 부과된다.
SpecID_002_002 두 개역 이상을 이동하면 추가 요금인 200원이하차 태그 시 부과된다.
SpecID_002_003 지하철 환승 최고 부과금액인 600원이 남아 있지 않으면 지하철로 환승 시키
지 않는다.
SpecID_002_004 버스에서 지하철로 환승 후 부과되는 요금은 0원이다.
SpecID_002_005 버스에서 지하철로 환승 후 1 정거장당 300원의 추가요금이 부과된다.
SpecID_002_006 버스에서 지하철로 환승 후 하차 시 단말기를 태그 하지 않았을 경우,환승 최
고 요금인 600원을 다음 승차 시 부과한다.
SpecID_002_007 지하철에서 하차 태그 없이 하차 후 미정산 금액은 200원이다.
11. 2014-2 소프트웨어공학개론
Features
To be
Tested
Validation
<Table 5> SpecID of API System Functionality with
Description
SpecID Description
SpecID_004_000 정산 시,버스와 지하철의 기록을 분석하고 버스와 지하철에 각각 수익을 배분한다.
SpecID_004_001 정산 후 사용자 카드 정보를 제외한 모든 프로그램의 정보는 초기화 된다.
SpecID_004_002 각각의 일별 요금 목록은 버스와 지하철 단말기로부터 입력 받는다.
SpecID_004_003 입력 받은 일별 요금 목록을 이용해 각각의 정산 금액을 계산한다.(PTS SRS 1.0 표
5)
SpecID_004_004 정산한 결과로 나온 총 수입,지하철 회사 수입,버스 회사 수입을 모니터에 출력한다.
SpecID_004_005 정산 완료 신호를 전송한다.
12. 2014-2 소프트웨어공학개론
Features
To be
Tested
Validation
<Table 6> SpecID of Etc. Functionality with Description
SpecID Description
SpecID_005_000 하루(3분)종료 시 탑승되어 있는 승객은 미정산으로 처리한다.(PTS SRS 1.0 표 1,
2 참조)
SpecID_005_001 카드 인식은 태그를 통해 수행하며,태그 시 해당 사용자 카드의 정보를 입력 받는
다.
SpecID_005_002 정산 완료 신호를 수신한 각 단말기는 하루를 시작한다.
14. Features
Not to be
tested
2014-2 소프트웨어공학개론
① 사용자는 승차 시 카드를 태그 한다.
② 모든 시스템은 SW만으로 구현하며 HW가 필요한 부분은 SW모듈
을 만들어 가상의 HW를 구현한다.
③ 버스 승차는 지역에 상관 없이 할 수 있다.
④ 지하철은 2호선 역 중 5개만 고려한다.
⑤ 정산 시 소수점 이하는 반올림한다.
18. Test
Identification
2014-2 소프트웨어공학개론
Identifier Feature Description
PTS_STC_002_000 SpecID_001_000
SpecID_001_001
SpecID_001_006
버스 승차, 하차 시 모두 정상적으로 태그 한다.승차 시 기
본 요금 1050원을 지불한다.
PTS_STC_002_001 SpecID_001_000
SpecID_001_001
버스 승차 시 잔액이 기본 요금인 1050원보다 적은 경우
탑승할 수 없다.
PTS_STC_002_002 SpecID_002_004
SpecID_002_005
SpecID_003_000
버스에서 하차 후 15초 이내에 지하철 승차 태그 시, 환승
처리 된다.환승 후 지하철에서 1정거장 이동 후 하차하면
300원이 부과된다.
PTS_STC_002_003 SpecID_002_004
SpecID_002_005
SpecID_003_000
버스에서 하차 후 15초 이내에 지하철 승차 태그 시, 환승
처리 된다.환승 후 지하철에서 2정거장 이동 후 하차하면
600원이 부과된다.
PTS_STC_002_004 SpecID_002_004
SpecID_002_005
SpecID_003_000
버스에서 하차 후 15초 이내에 지하철 승차 태그 시, 환승
처리 된다.환승 후 지하철에서 3정거장 이동 후 하차하면
600원이 부과된다.
PTS_STC_002_005 SpecID_002_003
SpecID_003_000
버스에서 하차 후, 15초 이내에 지하철 승차 태그 시,잔액
이 환승 최고 요금인 600원 미만이면 탑승할 수 없다.
19. Test
Identification
2014-2 소프트웨어공학개론
Identifier Feature Description
PTS_STC_006_000 SpecID_000_001
SpecID_000_003
SpecID_000_004
SpecID_000_005
PTS가 꺼지는 순간 3분이 지났는지, 정산이 진행되는지
확인한다.
PTS_STC_006_001 SpecID_004_000
SpecID_004_003
SpecID_004_004
API System의 정산 계산 결과가 예상 결과와 같은지 확인
한다.
PTS_STC_006_002 SpecID_000_002
SpecID_004_005
정산이 완료되었을 때 Complete Signal을 전송하는지 확
인한다.
PTS_STC_007_000 SpecID_000_008
SpecID_000_010 Sp
ecID_005_001
교통카드 txt 파일을 확인하여 태그 시 내용이 업데이트
되었으며 저장된 내용, 형식이 요구사항을 따랐는지 확인
한다.
22. Input &
Output
Specifications
2014-2 소프트웨어공학개론
Set Number Input Identifier Expected Output
Set 1 3분을 주기로 시스템이
작동하는지 확인한다.
PTS_STC_000_0
00
총 6개의 단말기가 독립
적으로 작동하는지 확인
한다.
PTS_STC_001_0
00
CardID : 0000
Balance : 2050
PTS_STC_002_0
00
Balance : 1000
I/O : O
Transfer : NOT
탑승 가능.
PTS_STC_002_0
01
Balance : 1000
I/O : O
Transfer : NOT
잔액 부족 탑승 불가
23. Input &
Output
Specifications
2014-2 소프트웨어공학개론
Set Number Input Identifier Expected Output
Set 1 CardID : 1111
Balance : 5500
PTS_STC_002_
002_001
Balance : 4150
I/O : O
Transfer : MHJ
탑승 가능. -> 환승 가능.
PTS_STC_002_
002_002
Balance : 2800
I/O : O
Transfer : MGN
탑승 가능. -> 환승 가능.
PTS_STC_002_
003_001
Balance : 1450
I/O : O
Transfer : MGN
탑승 가능. -> 환승 가능.
PTS_STC_002_
005_002
Balance : 400
I/O : O
Transfer : NOT
탑승 가능. -> 잔액 부족 환승 불가.
24. Input &
Output
Specifications
2014-2 소프트웨어공학개론
Set Number Input Identifier Expected Output
Set 1 CardID : 2222
Balance : 3400
PTS_STC_002_
006_002
Balance : 1300
I/O : O
Transfer : NOT
탑승 가능. -> 시간 초과 환승 불가.
PTS_STC_002_
007_001
Balance : 250
I/O : O
Transfer : NOT
탑승 가능. -> 잔액 부족 환승/탑승 불
가.
카드 태그 후, 잔액 등이
제대로 처리되었는지 출
력된 화면을 통해 확인
한다.
PTS_STC_005_
000
O Cost : 1050
Balance : 1000
25. Input &
Output
Specifications
2014-2 소프트웨어공학개론
Set Number Input Identifier Expected Output
Set 1 정산 시스템 화면에서 정산
이 진행되는지 확인한다.
PTS_STC_006_00
0
Start to Sort
Start to Calculate
API System의 정산 계산 결
과가 예상 결과와 같은지 확
인한다.
PTS_STC_006_00
1
Total income : 9600
Bus company income : 6024
Metro company income :35
76
정산이 완료되었을 때 Comp
lete Signal을 전송하는지 확
인한다.
PTS_STC_006_00
2
Send Complete Signals
교통카드 txt 파일을 확인하
여 태그 시 내용이 업데이트
되었으며 저장된 내용, 형식
이 요구사항을 따랐는지 확
인한다.
PTS_STC_007_00
0
YYYYMMDDHHmm B O 10
00 BUS0000 NOT
41. Test
Result
2014-2 소프트웨어공학개론
SpecID_000_004 & SpecID_000_007 & SpecID_000_009
매번 텍스트 파일을 열어보아야
시간의 흐름을 알 수 있다.
사람의 손으로 하는 것이라 정
확한 시간을 알기가 어렵다.
지하철은 초기화를
하지 않았으며, 12월
23일 19시 36분에
멈춰있음을 알 수 있
다.