Data Flow Testing

1. Data Flow Testing

• Data Flow Test를 위해서는 Static level로 넘어가야 하는데 그러면 False Alarm 등장

• (false alarm 30%)

  (실행시간이 길어지면 false alaram이 나오기 시작하고, 변수의 사용이 애매해진다. #283)

  ** 예상문제) Data flow testing이 static analysis의 false alarm 이슈를 가지고 있는 이유는 무엇인가?

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

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

1) Def-Use Pairs

• CFG를 그린 후 DDG (Data Dependency Graph)로 변환시킨 후

• Definition - Use pair를 찾는다. (중간에 재정의 되면 clear path가 바뀌게 됨)

  

• Def - 1,4

• Use - 6

Adequacy Criteria

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

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

2. All DU paths : 모든 DU path를 지나감

3. All definitions : Definition은 적어도 한 번 지나가기

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

그래서 뭐라는겨..? Data flow testing이 뭘 어쨌다는거야..