[SoftwareV&V] 13. Data Flow Testing

[원문링크]

https://adorable-aspen-d23.notion.site/SoftwareV-V_13_Data-Flow-Testing-aee01c1d17124dad82a6292273bc4f30

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

(Software Verification & Validation)

 

Data Flow Testing

1. Data Flow Testing

• Data Flow Test를 위해서는 Static level로 넘어가야 하는데 그러면 False Alarm 등장
• (false alarm 30%)** 예상문제) Data flow testing이 static analysis의 false alarm 이슈를 가지고 있는 이유는 무엇인가?
• (실행시간이 길어지면 false alaram이 나오기 시작하고, 변수의 사용이 애매해진다. #283)

** unit test case는 FT일까 ST일까?

→ 코드를 보고 만든거지만, structural들(CFG,DFG)를 보고 만든 것이 아니라 그 안의 기능들을 이해하려고 했기 때문에 FT이다.

1) Def-Use Pairs

• CFG를 그린 후 DDG (Data Dependency Graph)로 변환시킨 후
• Definition - Use pair를 찾는다. (중간에 재정의 되면 clear path가 바뀌게 됨)

Adequacy Criteria

1. All DU pairs : 모든 DU pair를 지나감

단점) DU pair들이 집중되어 있지 않고 산발적으로 존재한다.

1. All DU paths : 모든 DU path를 지나감
2. All definitions : Definition은 적어도 한 번 지나가기

**예상문제) 개발팀의 검증에 Data flow Testing을 하게 된다면 All DU pairs/DU paths/definition중에 어느 것이 좋을까 그 이유는?