diff --git a/README.md b/README.md index 745ce75611c7ff5e6567126bf807382ae5836d99..4a960806a4a4ee66ff5356750db9a1d76e80a1f9 100644 --- a/README.md +++ b/README.md @@ -305,6 +305,22 @@ fx_s1516_longlong_div2: 142857 - ```make CFLAGS=-D[MACRO]``` - ```./fx_test.exe``` + +## SW TESTING + +### 정적 테스트(MISRA_C_2012 기반) + +- fx_s1516_longlong.c fx_s1516_longlong.h test.c 에서 총 30개의 위배가 나옴. +- 정적 테스트 위배 상세 내용은 violations.pdf 파일을 통해 확인할 수 있다. + +### 동적 테스트 + + +- 전체 COVERAGE는 100%가 나왔다. DIV 연산에서는 DIVIDE BY ZERO 때문에 오류가 난 테스트 케이스가 있었다. + + +- 테스트 케이스를 다른 값으로 바꿔 오류를 제거했다. + ## References ###### Randy Yates, Fixed-Point Arithmetic: An Introudction. pp6-pp11 diff --git a/images/test_1.PNG b/images/test_1.PNG new file mode 100644 index 0000000000000000000000000000000000000000..d3959b28414f8809b3c5985ffff642b2e8bb85ec Binary files /dev/null and b/images/test_1.PNG differ diff --git a/images/test_2.PNG b/images/test_2.PNG new file mode 100644 index 0000000000000000000000000000000000000000..14ff865336fda36840c5fbccabff88a87ad21fde Binary files /dev/null and b/images/test_2.PNG differ diff --git a/violations.pdf b/violations.pdf new file mode 100644 index 0000000000000000000000000000000000000000..4ae930e04833eb7ff95425e6b2ac07e10c49b0fb Binary files /dev/null and b/violations.pdf differ