http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
SAT에 기반한 포인터가 있는 프로그램을 위한 목적 지향 테스트 데이터 생성
정인상 ( In-sang Chung ) 한국인터넷정보학회 2008 인터넷정보학회논문지 Vol.9 No.2
지금까지 테스트 데이터를 자동으로 생성하기 위한 대부분의 연구는 프로그램에 포인터가 존재하지 않는 경우만을 대상으로 하였다. 최근에 포인터가 있는 경우에도 테스트 데이터를 자동으로 생성할 수 있는 방법들이 제안되었지만 테스트할 프로그램 경로를 완전하게 명시해야 하는 경로 기반 방법이거나 프로그램을 실제 실행해야 하는 방법들이다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 포인터가 있는 프로그램에 대하여 테스트 데이터를 생성할 수 있는 새로운 방법을 제안한다. 제안된 방법은 테스트 데이터 생성 문제를SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성하는 정적 방법이다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다. So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works have been done on ATDG in the presence of pointers, but they are path-oriented techniques which require the specification of an entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for ATDG. For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.
정인상(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.
한국인에서 Helicobacter pylori 감염의 진단에 있어 Genedia™ H . pylori ELISA 검사의 진단 정확도
정인식(In Sik Chung),김상우(Sang Woo Kim),고재성(Jae Sung Go),김나영(Na Young Kim),김재규(Jae Gyu Kim),김진호(Jin Ho Kim),김학양(Hak Yang Kim),김재준(Jae Jun Kim),노임환(Im Hwan Roe),심재건(Jae Geon Sim),안형식(Hyeong Sik Ahn),윤병철(By 대한내과학회 2001 대한내과학회지 Vol.61 No.1
N/A Background: Genedia™ H. pylori ELISA is a newly developed diagnostic method which detects serum anti-H. pylori IgG antibody. The aim of this study was to assess the accuracy of Genedia™ H. pylori ELISA for the diagnosis of H. pylori infection in Korean population. Methods Genedia : H. pylori ELISA and GAP-IgG were performed in 353 adult sera and Pyloriset-IgG EIA in 184 subjects. In children, 43 serum samples were tested with Genedia™ H. pylori ELISA. H, pylori infection was determined by rapid urease test, histology, culture or (13)C-urea breath test in adults. In children, the subject was considered to he H. pylori positive if (13)C-urea breath test was positive. Results: In adults, the sensitivity and specificity of Genedia™ H. pylori ELISA were 93.2% and 83.5% with positive and negative predictive values of 85.1% and 92.5%. Those for GAP-IgG and Pyloriset-IgG EIA were 67.2%, 82.4%, 79.3%, 71.4% and 89.1%, 88.4%, 71.9%, 96.1%, respectively. In children, sensitivity, specificity, positive and negative predictive values of Genedia™ H. pylori ELISA were 80%, 84.8%, 61.5%, and 93.3%. Sensitivity and negative predictive value of Genedia™ H. pylori ELISA were significantly higher than those of GAP-IgG (93.2% vs. 67.2%, p<0.005 and 92.5% vs 71.4%, p<0.005, respectively). Conclusion : Genedia™ H pylori ELISA is a relatively accurate method for the serodiagnosis of H pylori infection in Korean subjects compared to GAP-IgG. These results may suggest the clinical use of Genedia™ H. pylori ELISA for epidemiological studies of H. pylori infection in Korea. (Korean J Med 61:17-23, 2001)
발열블록 간격변화에 따른 배열 충돌제트의 열전달 특성에 관한 수치해석
정인기(In-Kee Chung),박시우(Si-Woo Park),장종철(Jong-Chul Jang) 대한기계학회 2002 대한기계학회 춘추학술대회 Vol.2002 No.5
The flow and heat transfer characteristics at the surface of two-dimensional protruding heated blocks using confined impingement multiple slot jets were computationally investigated. Numerical predictions were made for round-edged nozzles at several the distances between the blocks with turbulent jet Reynolds numbers ranging from 2000 to 7800. The commercial finite-volume code FLUENT was used to solve the heat transfer characteristics and flow fields using a RNG R-ε model. The computed heat transfer characteristics at the surface of heated blocks were in good qualitative agreement with previous experimental data. The results of influence heat transfer on the impingement surface are important considerations in electronics packaging design.
정인식(In Sik Chung),이원영(Won Young Lee),김재광(Jae Kwang Kim),김응국(Eung Kook Kim),김정수(Jeong Soo Kim),전해명(Hae Myung Jeon),민도준(Do Jun Min),추교영(Gyo Young Chu) 대한소화기학회 1993 대한소화기학회지 Vol.25 No.5
Pancreatic duct stones are occasionally seen in the patient with chronic relapsinq pancreatitis. It has various etiologic associations and chronic alcoholism is believed to be the most important etiologic factar among them. Most investigators have considered the panceatic calculi as a complication of the chronic pancreatitis, not as a distinct disease Although the role of pancreatic stone protein is being studied, the pathogenesis of stone formation is not proved. The size of pancreatic stone varies frorn minute, sand-like particles to large solitary or multiplc calculi. The largest stone that has been reported was 4.5cm long. We report a rare case of large staghorn pancreatic duct stone (4.2 cm in length) in a 36-year-old non-alcoholic female without pancreatitis.