[SoftwareV&V] 11. Combinational Testing

[원문링크]

https://adorable-aspen-d23.notion.site/SoftwareV-V_11_Combinational-Testing-994ddde24786459fb4ed8b117f3afc8b

SoftwareV&V_11_Combinational Testing

[2021 - 1학기 수강한 Software V&V 강의 정리본입니다.]

(Software Verification & Validation)

 

Combinational Testing

1. Combinational Testing

• Brute-force : positive test case 찾기에 유용1) Category-partition Testing
  • SRS → independently set of feature를 뽑아내기
  • Identify Representative Values
    • Boundary value testing
    • Errorneous condition testing
  • Constraint 사용하기
    • Error constraints : 한 경우에서 error는 한 번만 존재하면 돼
    • Property constraints
    • Single constraints : 정상인 상황인데 spec상 한 번만 존재하면 돼
  ** 각 constraints들을 사용하면 좋을 예시

  Parameters:
  Show Menu: #Category
  	 Admin. [property SMA] #representative values
  	 Code. [property SMC]
  	 Beverage Btn. [property SMBB]
  Admin Login:
  	 Valid. [if SMA][property ALV]
  	 Malform. [if SMA]
  	 Valid but not in DB. [if SMA]
  Admin Mode:
  	 Drink Edit. [if ALV][property AMDE]
  	 VM Edit. [if ALV][property AMVE]
  	 Contact Edit. [if ALV][property AMCE]
  Drink Edit:
  	 Choose Available here. [if AMDE][property DECA]
  	 Choose NonAvail here. [if AMDE][property DECN]
  	 Edit Manually. [if AMDE]
  Drink Edit Fix: 
  	 Valid. [if DECA || DECN]
  	 Malform. [if DECA || DECN]
  VM Edit:
  	 Valid. [if AMVE]
  	 Malform. [if AMVE]
  Contact Edit:
  	 Valid. [if AMCE]
  	 Malform. [if AMCE]
  Prepaid Code Input:
  	 Expired. [if SMC]
  	 Malform. [if SMC]
  	 Valid but not in DB. [if SMC]
  	 Valid. [if SMC]
  User Selection:
  	 현재 자판기에서 판매. [if SMBB][property ITV]
  	 현재 자판기에서 미판매. [if SMBB][property NITV]
  	 존재하지 않는 음료. [if SMBB]
  Current VM Stocks:
  	 0. [if ITV][property NSA]
  	 1개 이상. [if ITV][property GSTC]
  	 invalid number. [if ITV]
  Available Other VMs:
  	 1<=x<가동중인 VM 총 개수. [if NSA || NITV][property PPA]
  	 0. [if NSA || NITV]
  	 <0. [if NSA || NITV]
  	 가동중인 VM 총 개수. [if NSA || NITV]
  Check Prepay:
  	 Yes. [if PPA] [property PA]
  	 No. [if PPA]
  Card Input:
  	 MalForm. [if GSTC || PA]
  	 Valid But Not in DB. [if GSTC || PA]
  	 Valid. [if GSTC || PA] [property UC]
  Card Balance:
  	 0<=x<MIN. [if UC]
  	 MIN<=x. [if UC][property EB]
  	 <0. [if UC]
  

  2) Pairwise testing
  • Category를 나름대로 잘 묶어서 test case의 개수를 줄여준다.
• ** error constraint와 single constraint의 차이, 예시들어서 설명
• Category : negative test case 찾기에 유용

2. DVM testing(실습)

1. Spec Review

: SRS 와 ppt 사이의 다른 점 보기(C&C)

: PFR(project feature reference??) 과 DVM 사이의 C&C 테스팅

1. System testing

• CPT
• BFT

** test case 와 test data는 1:N관계이다.

(test data는 여러 개 존재 가능)

1. 개발팀의 Unit test의 Jacoco Coverage를 보고 thoroughness, effectiveness를 판단하기
2. 왜 coverage가 100%를 만족할 수 없는지에 대한 rationale(설명)이 있어야 한다.