Chapter 6. 빈틈없는 코드 만들기

iknowchang commented 4 years ago

6.1 함수형 프로그래밍과 단위 테스트

테스트 분류

unit test
integration test
acceptance test

FP 영향력은 unit test > integration test >> acceptance test

iknowchang commented 4 years ago

6.2 명령형 프로그램 테스트의 어려움

어려운 이유

전역 상태와 변이의 의존
테스트 설계 중요 원칙인 격리잘 되지 않음
아래는 난제 3가지
6.2.1 작업을 식별하고 분해하기 어려움

절차적 프로그램에서 모듈 단위를 식별하기 아주 어려움 합성을 통해 조립 가능한, 테스트 가능한 비즈니수 단위로 나눌 수 있음

6.2.2 공유 자원에 의존하면 들쭉날쭉한 결과가 나옴

단위 테스트는 독무대(sandbox)에서 작동햐야함 시스템 상태는 정확히 테스트 전 상태를 유지해야함

6.2.3 평가 순서를 미리 정해야 함

단위 테스트는 순서를 바꿔도 결과가 같아야함 (결합적commutative 해야함)

iknowchang commented 4 years ago

6.3 함수형 코드를 테스트

함수형 코드를 테스트하면 이로운점 설명

6.3.1 함수를 블랙박스처럼 취급

함수를 독립적으로 작성 => 부수효과 없음 => 임의 순서 결과 동일 예제 : https://jsfiddle.net/d4p86Lgy/1/

6.3.2 제어 흐름 대신 비즈니스 로직에 집중

4.6절 함수 조합기를 사용하여 설계 분해 과정으로 구현 => 주요 로직 개별 함수만 테스트 하면됨 예제 : https://jsfiddle.net/d4p86Lgy/2/ 예제 설명

람다JS는 완벽히 검증된 상태
toLetterGrade 단위 테스트
각 부위 모두 테스트하여 전체 프로그램 안전할거라 추정할 수 있음
fork는 비즈니스 로직이 없으므로 테스트 할 필요 없음. 그래도 하고 싶다면, https://jsfiddle.net/d4p86Lgy/3/
6.3.3 모나드 격리를 통해 순수/불순 코드를 분리

showStudent 함수형 버전 ( 합성 및 모나드 이용 재조립)
```
const showStudent = R.compose(
    map(append('#student-info')),
    liftIO,
    getOrElse('학생 찾을 수 없음'),
    map(csv),
    map(R.props(['ssn','firstname','lastname'])),
    chain(findStudent),
    chain(checkLengthSsn).
    lift(cleanInput)
);
```
테스트성 분석
cleanInput, checkLengthSsn, csv 함수만 믿음성 있는 테스트 가능
findStudent는 외부 자원 읽는 부수 효과 있음 => 믿음성 있는 테스트 불가능
append는 비즈니스 효과 없음

믿음성 있는 함수에 대한 테스트 : https://jsfiddle.net/d4p86Lgy/4/

findStudent만 남음. 어떻게 테스트? mock object 기법으로 관리

6.3.4 외부 디펜던시를 모의(mocking)

mocking은 외부 디펜던시 제어/단언 하여 모방하는데 쓰임. 부수효과 다루기 좋은 기법 이책에서는 Sinon.js 사용 https://jsfiddle.net/changcc/wcsdh6Lu/

iknowchang commented 4 years ago

6.4 속성기반 테스트로 명시 담기

함수에 어떤 입력을 넣으면 어떤 출력이 나와야 맞는지 성명한다.

JSCheck 소개.

참조 투명한 명세에 맞게 기술적 응답.
많은 무작위 케이스를 만들어 빠짐없이 테스트

JSC.claim(이름, 술어, 특정자, 분류자)

이름 : 주장을 서술
술어 : 주장을 만족하는 true, 그렇지 않으면 false
특정어 : 무작위 자료 집합 생성 기준 서술
분류자 : (선택사항) 각 테스트 케이스에 붙이는 함수

예제

JSC.clear();
    JSC.on_report((str) => console.log(str));
    JSC.test(
        '평균 학점 계산',
        function (verdict, grades, grade) {
            return verdict(computeAverageGrade(grades) === grade);
        },
        [
            JSC.array(JSC.integer(20), JSC.number(90,100)),
            'A'
        ],
        function (grades, grade) {
            return '평균 ' + grade + ' 학점에 관한 테스트: ' + grades;
        }
    );
    expect(0);

QUnit과 연연동하여 사용

on_pass : 성공 시 결과를 QUnit에 보고
on_fail : 실패시 위배 사항을 Qunit에 보고
```
/**
```
올바른 SSN 문자열(대시 포함)을 생성한다
@param param1 지역 번호 -> JSC.integer(100, 999)
@param param2 그룹 번호 -> JSC.integer(10, 99)
@param param3 일련 번호 -> JSC.integer(1000,9999)
@returns {Function} 특정자 함수 */ JSC.SSN = function (param1, param2, param3) { return function generator() { const part1 = typeof param1 === 'function' ? param1() : param1; const part2 = typeof param2 === 'function' ? param2() : param2; const part3 = typeof param3 === 'function' ? param3() : param3; return [part1 , part2, part3].join('-'); }; };

QUnit.test('SSN에 대한 JSCheck 커스텀 특정자', function (assert) {

// 테스트 대상 함수
const validLength = (len, str) => str.length === len;

const find = R.curry((db, id) => db.find(id));

const checkLengthSsn = ssn => {
    return Either.of(ssn)
        .filter(R.partial(validLength, [11]))
        .isRight;
};

JSC.clear();

JSC.on_report((report) => console.log('리포트' + str));

JSC.on_pass((object) => assert.ok(object.pass));

JSC.on_fail((object) =>
    assert.ok(object.pass || object.args.length === 11, '테스트 실패: ' + object.args));

JSC.test(
    'SSN 길이를 체크',
    function (verdict, ssn) {
        return verdict(checkLengthSsn(ssn));
    },
    [
        JSC.SSN(JSC.integer(100, 999), JSC.integer(10, 99),
        JSC.integer(1000, 9999))
    ],
    function (ssn) {
        return '커스텀 SSN 테스트: ' + ssn;
    }
);

expect(0);

});

iknowchang commented 4 years ago

6.5 코드 실행률로 효율 측정

code coverage 측정 Blanket.js 사용 동작 과정

소스 파일을 읽는다.
추척기 라인 추가
테스트 실행기에서 상세 실행률 정보 산출
6.5.1 함수형 코드 테스트의 효율 측정

입력이 올바른 경우

p227 페이지 명령형 버전 : 80% 함수형 버전 : 100%

입력이 올바르지 않는 경우

명령형 버전 : 40% (if-else 갈래로 흩어짐) 함수형 버전 : 80% (입력값에 의존하는 함수만 건너 뜀) => 심리적 안정감줌?

6.5.2 함수형 코드의 복잡도 측정

순환 복잡도 : 함수의 선형 독립적인 경로의 개수를 측정하기 위한 지표

노드 : 더 이상 나눌 수 없는 코드 블록 간선 : A블록 이후에 B블록 실행 가능할 때 연결

M=E-N+P E=간선 개수 N=노드나 블록의 개수 P=출구 있는 노드의 개수

p232 그림 6-16 M=E-N+P=11-10+3=4

함수형 M=E-N+P=0-0+1=1

NMP-Study / FunctionalProgrammingInJavascript