http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 방호정(Ho Jung Bang) (검색결과 3 건)
- 무료
- 기관 내 무료
- 유료
-
신모범(Mo Bum Shin),방호정(Ho Jung Bang),김태효(Tai Hyo Kim),차성덕(Cha Sung Deok) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.1
모델 체킹(model checking)은 자동으로 소프트웨어의 속성을 검증하는 기법으로 그 필요성이 꾸준히 증가하고 있다. 시스템이 특정 속성(property)을 만족하지 않는 경우 모델 체커는 반례(counterexample)를 생성하게 된다. 반례는 오류가 발생한 원인을 담고 있는 정보로서 오류를 이해하고 수정하는 작업에 많은 도움을 준다. 하지만 반례가 너무 길거나 이해하기 어려운 경우에는 분석에 많은 시간과 자원이 소요되기도 한다. 따라서 자동적으로 반례 안의 오류를 찾아내고 설명을 제공하는 기법의 필요성이 대두되고 있다. 본 논문에서는 추상모델(abstract model)에서 생성된 반례의 오류의 원인을 밝히는 자동화 기법을 제시한다.
-
김태효(Tai Hyo Kim),방호정(Ho Jung Bang),차성덕(Sung Deok Cha) 한국정보과학회 2007 정보과학회지 Vol.25 No.8
최장수행시간(Worst-Case Execution Time: WCET)은 실시간 시스템 분석의 기본 정보로 작업 스케줄 분석 등 다양한 분석에 사용된다. 기존의 최장수행시간 분석은 주로 측정에 기반한 수작업으로 이루어진 바, 시간과 비용이 많이 소요될 뿐 아니라 결과의 안전성을 보장하지 못하는 단점이 있었다. 이와 같은 단점을 보완하기 위하여 최근 정적 분석기법을 이용한 최장수행시간 분석 기법에 대한 연구들이 활발하게 진행되고 있다. 정적 최장수행시간 분석 기법들은 결과의 안전성을 보장할 뿐 아니라, 자동화가 가능하여 분석 시간과 노력을 크게 절감할 수 있는 장점이 있다. TimeBounder는 C언어 프로그램을 대상으로 하는 정적 최장수행시간 자동 분석 도구이다. TimeBounder는 최장수행시간을 분석하는 과정에서 파생되는 다양한 프로그램 흐름 정보와 분석 결과를 효과적으로 시각화하여 개발자로 하여금 프로그램에 대한 이해를 높이고, 디버깅 및 최적화 과정에 쓰일 수 있도록 한다. 이와 같은 정보들과 내부적인 분석 기법들은 테스트 데이터 자동 생성 등 다양한 분석에 활용 가능하다. 본 논문에서는 TimeBounder 실시간 시스템 자동 분석 도구를 소개하고 사용되는 기법들과 활용방안을 설명한다.
-
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
