지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수0
1. 서론 11.1 연구배경 11.2 연구목표 21.3 논문의 구성 32. 관련연구 32.1 소프트웨어 테스팅 32.2 동적 분석 42.3 단위 테스팅 52.4 임베디드 소프트웨어 테스팅 72.5 기존 연구 분석 83. 고 안전성 임베디드 소프트웨어를 위한 단위 테스트 방법 93.1 테스트 방법 93.1.1 원본 소프트웨어 93.1.2 함수 분리 103.1.3 소프트웨어 수정 103.1.4 테스트 케이스 작성 113.1.5 테스트 프로그램 작성 123.1.6 단위 테스트 수행 123.2 도구 123.2.1 CUnit 133.2.2 Valgrind 174. 사례 연구 : 원자력 디지털 제어기기 수소 감시 설비 시스템 184.1 대상 시스템 184.2 함수 204.3 소스 코드 수정 254.4 테스트 케이스 274.5 실제 출력 결과 및 오류 수정 404.5.1 CUnit 도구를 이용한 테스팅 결과 414.5.1.1 테스팅 성공 함수 424.5.1.2 테스팅 실패 함수 464.5.2 Valgrind 도구를 이용한 테스팅 결과 555. 결론 및 향후 과제 57참고 문헌 59
0