지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2013.7
- 수록면
- 111 - 123 (13page)
이용수
초록· 키워드
오류제보하기
소프트웨어의 취약성을 검증하기 위하여 소프트웨어의 구조를 유추하여 유추된 구조를 활용하여 테스트하는 방법이 주목받고 있다. 이와 같은 방법을 사용하기 위해서 효과적인 소프트웨어의 구조 유추 방법이 요구된다. 많이 사용되는 DFG(Data Flow Graph), CFG(Control Flow Graph) 이나 CFA(Control Flow Automata)와 같은 그래프나 트리 방식은 소프트웨어 모델을 구조적으로 표현하지 못하는 단점을 가진다. 본 논문에서는 이러한 단점을 극복할 수 있는 방법을 제시한다. 제시된 방법은 바이너리 코드에 다양한 입력데이터 들을 부여하여 입력데이터별 CFG를 생성하고, 생성된 CFG들이 구조적으로 표현될 수 있도록 계층적 제어 흐름 그래프(Hierarchical Control Flow Graph, HCFG)를 작성한다. 또한 제안하는 HCFG을 생성하는데 요구되는 그래프의 구성요소와 점진적 그래프 생성 알고리듬도 제시한다. 제안한 방법론을 공개된 SMTP(Simple Mail Transfer Protocol) 서버 프로그램에 적용시켜 소프트웨어의 모델을 작성하는 실험을 수행하고, 생성된 모델과 실제 소프트웨어 구조를 비교 분석한다.
목차
등록된 정보가 없습니다.
참고문헌 (24)
참고문헌 신청
1. [보고서] - P. Godefroid / 2007 / Automated Whitebox Fuzz Testing
2. [학술대회논문] - Jackson, Daniel / 2000 / Software analsis:a roadmap / Processdings of the Conference on the Future of Sftware Engineering : 133 ~ 145
3. [학술대회논문] - A.Gargantini / 1999 / Using Model Checking to Generate Tests from Requirements Specifications / Proceedings of the Joint 7th Eur. Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering : 146 ~ 162
4. [학술지(정기간행물)] - 오정섭 / 2010 / 1대1 요구사항 모델링을 통한 테스트 케이스 자동 생성 / 정보처리학회논문지D 17 (1) : 41 ~ 52
5. [학술지(정기간행물)] - 김기태 / 2010 / 이진 코드의 정적 제어 흐름 분석 / 한국콘텐츠학회 논문지 10 (5) : 70 ~ 79
2. [학술대회논문] - Jackson, Daniel / 2000 / Software analsis:a roadmap / Processdings of the Conference on the Future of Sftware Engineering : 133 ~ 145
3. [학술대회논문] - A.Gargantini / 1999 / Using Model Checking to Generate Tests from Requirements Specifications / Proceedings of the Joint 7th Eur. Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering : 146 ~ 162
4. [학술지(정기간행물)] - 오정섭 / 2010 / 1대1 요구사항 모델링을 통한 테스트 케이스 자동 생성 / 정보처리학회논문지D 17 (1) : 41 ~ 52
5. [학술지(정기간행물)] - 김기태 / 2010 / 이진 코드의 정적 제어 흐름 분석 / 한국콘텐츠학회 논문지 10 (5) : 70 ~ 79
이 논문의 저자 정보
최근 본 자료
댓글(0)
0