해당 포스트는 도서 이펙티브 소프트웨어 테스팅(Effective Software Testing)을 Typescript와 Jest 테스팅 프레임워크를 기준으로 해석한 내용입니다. 코드 변환간 불일치가 존재할 수 있습니다.

구조적 테스트란?

코드 커버리지

1export class CountWords {
2  public count(str: string): number {
3    let words: number = 0;
4    let last: string = ' ';
5
6    for (let i = 0; i < str.length; i++) {
7      if (!this.isLetter(str.charAt(i)) && (last === 's' || last === 'r')) {
8        words++;
9      }
10
11      last = str.charAt(i);
12    }
13
14    if (last === 'r' || last === 's') {
15      words++;
16    }
17
18    return words;
19  }
20
21  private isLetter(char: string): boolean {
22    return /^[a-zA-Z]$/.test(char);
23  }
24}
25

• 주어진 문장에서 s 또는 r로 끝나는 단어의 수를 센다.

1describe('CountWords', () => {
2  let counter: CountWords;
3
4  beforeEach(() => {
5    counter = new CountWords();
6  });
7
8  it('s로 끝나는 단어 두가지', () => {
9    const words = counter.count('dogs cats');
10    expect(words).toBe(2);
11  });
12
13  it('단어가 없는 경우', () => {
14    const words = counter.count('dog cat');
15    expect(words).toBe(0);
16  });
17});
18

1---------------|---------|----------|---------|---------|-------------------
2File           | % Stmts | % Branch | % Funcs | % Lines | Uncovered Line #s
3---------------|---------|----------|---------|---------|-------------------
4All files      |   92.85 |    83.33 |     100 |    92.3 |
5 countWords.ts |   92.85 |    83.33 |     100 |    92.3 | 15
6---------------|---------|----------|---------|---------|-------------------
7

1it('r로 끝나는 단어 두가지', () => {
2  const words = counter.count('car bar');
3  expect(words).toBe(2);
4});
5

구조적 테스트 살펴보기

1. 명세 기반 테스트를 수행한다.
2. 구현사항을 읽고, 개발자의 주요 결정사항을 이해한다.
3. 테스트 케이스를 커버리지 도구로 수행한다.
4. 테스트가 수행되지 않은 코드에 대해

• 왜 해당 콛드가 수행되지 않았는지 이해한다.
• 그 코드가 테스트할 가치가 있는지 결정한다.
• 테스트가 필요하다면 놓친 케이스에 대한 자동화된 케이스를 구현하자.

5. 소스코드를 바탕으로 고안항ㄹ만한 다른 케이스가 있는지 찾아보고, 4번째 단계를 반복한다.

코드 커버리지 기준

1if (!this.isLetter(str.charAt(i)) && (last === 's' || last === 'r'))
2

• 1번 개발자: 해당 줄을 수행만 하도록 할 수 있다. 즉 if를 통과하기만 하면 그 줄이 수행됐다고 여기는 것이다.
• 2번 개발자: if문이 평가되는 경우를 수행의 기준으로 삼을 수도 있다. 이 때는 2개의 테스트가 필요하다.
• 3번 개발자: if문 내부의 각 조건을 모두 찾아내려고 한다. 이 경우는 각 조건마다 2개의 경우, 총 6개가 된다.
• 4번 개발자: 문장이 수행하는 모든 경로를 수행하고자 한다. 이 경우는 2 * 2 * 2 = 8, 총 8개가 된다.

코드 줄 커버리지

• if (!this.isLetter(str.charAt(i)) && (last === 's' || last === 'r'))를 통과하는 경우

분기 커버리지

• if (!this.isLetter(str.charAt(i)) && (last === 's' || last === 'r'))가 true인 경우
• if (!this.isLetter(str.charAt(i)) && (last === 's' || last === 'r'))가 false인 경우

조건 + 분기 커버리지

• !this.isLetter(str.charAt(i))가 true인 경우
• !this.isLetter(str.charAt(i))가 false인 경우
• last === 's'가 true인 경우
• last === 's'가 false인 경우
• last === 'r'가 true인 경우
• last === 'r'가 false인 경우

경로 커버리지

• !this.isLetter(str.charAt(i)) === true, last === 's' === false, last === 'r' === false인 경우
• !this.isLetter(str.charAt(i)) === true, last === 's' === true, last === 'r' === false인 경우
• !this.isLetter(str.charAt(i)) === true, last === 's' === false, last === 'r' === true인 경우
• !this.isLetter(str.charAt(i)) === true, last === 's' === true, last === 'r' === true인 경우
• !this.isLetter(str.charAt(i)) === false, last === 's' === false, last === 'r' === false인 경우
• !this.isLetter(str.charAt(i)) === false, last === 's' === true, last === 'r' === false인 경우
• !this.isLetter(str.charAt(i)) === false, last === 's' === false, last === 'r' === true인 경우
• !this.isLetter(str.charAt(i)) === false, last === 's' === true, last === 'r' === true인 경우

복잡한 조건과 MC/DC 커버리지 기준

추상적 예제

A의 조건에 대해

• A = true인 경우 (T1)
• A = false인 경우 (T2)
• (독립 쌍이라고 부르는) T1과 T2는 서로 다른 결과를 내야한다.
• T1의 변수 B와 C는 T2와 동등해야 한다.

B의 조건에 대해

• B = true인 경우 (T3)
• B = false인 경우 (T4)
• T3과 T4는 서로 다른 결과를 내야한다.
• T3의 변수 A와 C는 T4와 동등해야 한다.

C의 조건에 대해

• C = true인 경우 (T5)
• C = false인 경우 (T6)
• T5과 T6는 서로 다른 결과를 내야한다.
• T5의 변수 A와 B는 T6와 동등해야 한다.

MC/DC 달성하는 테스트 스위트 작성하기

1. 현재 문자가 글자인지
2. 이 글자가 s인지
3. 이 글자가 r인지

T1. isLetter === true, last === 's' === true, last === 's' === true인 경우

T2. isLetter === true, last === 's' === true, last === 'r' === false

T3. isLetter === true, last === 's' === true, last === 'r' === false

T3. isLetter === true, last === 's' === false, last === 'r' === false

• isLetter: {1, 5}, {2, 6}, {3, 7}
• last === 's': {2, 4}
• last === 'r': {3, 4}

반복문의 경우

• 반복문이 0번인 케이스
• 반복문이 1번인 케이스
• 반복문이 N번인 케이스

구조적 테스트만으로는 충분하지 않다.

1export class Clumps {
2  public static countClumps(nums: number[]): number {
3    if (!nums || nums.length === 0) {
4      return 0;
5    }
6
7    let count: number = 0;
8    let prev: number = nums[0];
9    let inClump: boolean = false;
10
11    for (let i = 1; i < nums.length; i++) {
12      if (nums[i] === prev && !inClump) {
13        inClump = true;
14        count += 1;
15      }
16      if (nums[i] !== prev) {
17        prev = nums[i];
18        inClump = false;
19      }
20    }
21
22    return count;
23  }
24}
25

1. 빈 배열인 경우
2. 한 덩어리를 이루는 경우
3. 요소가 하나인 경우

1it.each([
2  [[], 0], // empty
3  [[1, 2, 2, 2, 1], 1], // one clump
4  [[1], 0], // one element
5])('countClumps(%p) should return %i', (nums, expectedNoOfClumps) => {
6  expect(Clumps.countClumps(nums)).toBe(expectedNoOfClumps);
7});
8

돌연변이 테스트

관련 repositories

• original code (java)
• typescript ver.