http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 정인상(Chung Insang) (검색결과 5 건)
- 무료
- 기관 내 무료
- 유료
-
정인상(Insang Chung),박정규(Jungkyu Park) 한국정보과학회 2010 정보과학회논문지 : 소프트웨어 및 응용 Vol.37 No.10
콘콜릭 테스트는 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source인 테스트 도구이다. 그러나 현재 CREST는 기본적으로 프로그램의 모든 가능한 실행 경로들을 탐색하는 것을 목적으로 한다. 이 때문에 특정 분기 또는 블록만을 테스트하는 경우에는 비효율적일 수 있다. 이 논문에서는 프로그램 상의 한 분기 또는 블록을 주고 이를 실행할 수 있는 테스트 데이터를 생성하는 목적 지향 콘콜릭 테스트 방법을 제안한다. Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST aims at exploring all possible execution paths. In case of testing a specific branch or block, thus, it can be ineffective. This paper suggests a goal-oriented concolic testing that generates test data to execute a given branch or block.
-
자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별
정인상(Insang Chung) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.10
프로그램 시험 비용은 테스트 데이타를 생성하는 과정을 자동화함으로써 상당히 즐일 수 있다. 테스트 데이타 생성은 보통 선택된 프로그램 경로를 실행하는 입력 값들을 식별하는 데 주안점을 둔다. 지금까지 많은 연구가 있어왔지만 여전히 해결해야할 문제가 있다. 그러한 문제들 중에 모양 문제가 있다. 모양 문제는 주어진 프로그램 경로를 수행하기위해 요구되는 입력 자료구조를 밝혀내는 문제이다. 이 논문에서 이 모양 문제에 대한 새로운 방법을 제시한다. 이 방법은 주어진 경로를 포인터 역참조가 없는 정적단일 할당문 (Static Single Assignment, SSA) 형태로 변환한다. 이는 주어진 경로 상에 존재하는 각 프로그램 문장을 등식이나 부등식과 같은 제약식으로 간주할 수 있게 해준다. 이러한 제약식에 대한 해는 각 입력 변수에 대한 “points-to relation” 형태로 나타난다. 간단한 예들을 통하여 제안한 방법에 대해 설명한다. We can significantly reduce the cost of program testing by automating the process of test data generation. Test data generation usually concerns identifying input values on which a selected path is executed. Although lots of research has been done so far, there still remains a lot of issues to be addressed. One of the issues is the shape problem. The shape problem refers to the problem of figuring out a shape of the input data structure required to cause the traversal of a given path. In this paper, we introduce a new method for the shape problem. The method converts the selected path into static single assignment (SSA) form without pointer dereferences. This allows us to consider each statement in the selected path as a constraint involving equality or inequality. We solve the constraints to get a solution which will be represented in terms of the points-to relations for each input variable. Simple, but illustrative examples are given to explain the proposed method.
-
정인상(Chung Insang),성영락(Seong Yeong Rak) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1B
일반적으로 테스트 데이터 자동 생성을 지원하기 위해 심볼릭 실행기나 제약 해결기와 같은 도구를 요구한다. 그러나 이와 같은 도구들을 개발하는 것은 상당한 노력이 요구되는 것도 사실이다. 이 논문에서는 이러한 도구들의 지원 없이 분기 커버리지를 효과적으로 달성할 수 있는 테스트 데이터 생성 방법을 제안한다. 이를 위해 경로 지향 테스트 데이터 생성을 위해 개발된 Korel의 방법을 확장하여 프로그램의 분기들을 가능한 많이 실행할 수 있는 테스트 데이터를 효과적으로 생성하는 방법을 제안한다.
-
강민규(Minkyu Kang),정인상(Insang Chung),강승식(Seungshik Kang) 한국정보과학회 2009 한국정보과학회 학술발표논문집 Vol.36 No.1
특허 출원을 위한 기존의 특허 문서와의 비교 요구가 항상 존재하는 특허 문서 검색에 있어서 사용자 요청에 맞는 문서를 추출해주기 위해 정확하고 세분화된 문서 분류의 기준이 필요하다. IPC 등의 국제 표준이 존재하지만 모든 범위에 걸쳐서 완벽한 분류 기준을 제시해 주지 못하기 때문에 검색 서비스에서는 제2, 제3의 분류 기준을 갖추고 있어야 하고, 그에 맞춰진 자동 분류 시스템을 구현해야 한다. 특허 문서와 같은 특수 문서의 검색에 있어서 분류 성능을 높이기 위한 영역 선택과 자질 선택은 필수라고 할 수 있다. 이에 따라 본 논문에서는 특허 문서의 텍스트 필드에 대한 분석을 통해 특정 영역에서 자질로 선택해도 좋을 만한 품사를 살펴보고, 각 영역과 품사에 대한 분류 실험을 통해 특허 문서의 분류에 있어서 더 나은 성능을 보여줄 수 있는 방법을 제안하고자 한다.
-
고강도 열연강판의 구멍확장 시험 시 균열의 전파거동에 미치는 미세조직의 영향
박세호(Seho Park),변정국(Jungkuk Byun),도형협(Hyeonghyeop Do),정인상(Insang Chung) 한국자동차공학회 2011 한국자동차공학회 부문종합 학술대회 Vol.2011 No.5
Recently, advanced vehicle concepts and light-weight design of automobiles require improved steel grades with increased strength and formability. Especially, high strength hot-rolled steel sheets applied to chassis such as wheel, lower arm require high hole expansion ratio because of their complicated shapes in cold press processing. Aim of this study is to analyze the effects of microstructures on the crack propagation behavior during hole expansion which is used to estimate stretch-flangeability for steel sheets. For high strength steel sheets which had various microstructures and different components, hole expansion test were carried out and than analyzed the differences of the crack propagation behavior. As the result, it was conclusioned that formation of the 2nd fracture surface, low difference in hardness between the matrix and 2nd phase, excellent uniformity of the microstructures and a small number of the micro-voids led to excellent hole expansion ratio (HER).
ScienceON
DBpia연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
