http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성
윤정한(Jeong-Han Yun),조민경(Minkyung Cho),서선애(Sunae Seo),한태숙(Taisook Han) 한국정보과학회 2009 정보과학회논문지 : 소프트웨어 및 응용 Vol.36 No.10
Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process. 에스테렐은 반응형 시스템 설계에 적합하도록 디자인 된 명령형 동기언어이다. 시스템 개발 시에는 디버깅을 위해 다양한 테스트가 필요하다. 반응형 시스템을 테스트 하려면 일련의 입력을 시간의 흐름에 따라 순서대로 나열하여야 한다. 하지만 원하는 목적에 적합한 테스트 데이터를 생성해 주려면 많은 노력이 필요하며, 이 과정에서 오류가 발생하기도 한다. 따라서 디버깅의 특성상 빠르면서 원하는 목적의 테스트 데이터를 쉽게 표현할 수 있는 도구가 필요하다. 본 연구에서는 디버깅에 도움을 줄 수 있는 테스트 데이터 자동 생성기를 개발하였다. 본 연구는 개발자가 원하는 테스트 데이터를 쉽게 표현할 수 있고, 빠르게 테스트 데이터를 만들어내는 것에 초점을 두었다. 또한 사례 연구를 통해 실제 시스템 개발에 우리의 테스트 데이터 생성기를 적용한 예를 보여준다.
윤정한(Jeong-Han Yun),김우년(Woon-Nyon Kim),서정택(Jung-Taek Seo) 한국정보보호학회 2012 情報保護學會誌 Vol.22 No.5
제어시스템에 대한 사이버테러는 사회적, 경제적으로 큰 혼란을 발생시킬 수 있기 때문에 최근 제어시스템은 사이버테러의 제 1목표로 부각되고 있다. 이에 발맞추어 제어시스템 보안을 위한 연구 및 제품 출시가 많이 이루어지고 있다. 특히 제어시스템 가용성에 영향을 주지 않을 수 있는 제어시스템 네트워크 보안기술이 그 중심에 있다고 하겠다. 본 논문에서는 제어시스템 네트워크 보안에 대한 연구 및 제품의 동향을 살펴본다. 그리고 앞으로 제어시스템 네트워크 보안기술 연구시 필요한 사항들을 짚어본다.
만성신부전 환자에서 심근 troponin I와 T 및 CK-MB의 진단적 의의
윤정이(Jung E Yun),이형철(Hyung Cheol Lee),이준상(June Sang Lee),박규용(Kyu Yong Park),박대균(Dae Kyun Park),구자룡(Ja Ryong Goo),김형직(Hyung Jik Kim),김근호(Gheun Ho Kim),전노원(Rho Won Chun),채동완(Dong Wan Chae),노정우(Jung Woo N 대한내과학회 2000 대한내과학회지 Vol.58 No.2
N/A Background : Nonspecific elevations of CK-MB, cTnT have been well known in patients with chronic renal failure(CRF) on maintenance hemodialysis. It has been suggested that recently developed cTnI seldom shows nonspecific elevations in these patients. Status of CRF patients can be divided into three groups: predialysis group, hemodialysis group and peritoneal dialysis group. Until now, most researchers have studied CK-MB, cTnT and cTnI only in CRF patients receiving maintenance hemodialysis. No previous studies have ever compared the differences of the nonspecific positivity of CK-MB, cTnT and cTnI according to the different status of CRF patients. Methods : Nonspecific positive ratios of cTnI, cTnT, & CK-MB in were evaluated 20 predialysis patients, 13 CAPD patients and 20 hemodialysis patients. No one had had any evidence of myocardial ischemia during the previous 3 months before the study entry. The predialysis group was again divided into two groups according to the cut off level of serum creatinine of 3.0 mg/dl. Authors also compared the nonspecific positive ratios of cTnI, cTnT, CK-MB between diabetic CRF group and non diabetic CRF group. The sensitivity, specificity and false positive ratios of each enzymes were examined on and 6 hours after arrival in 21 CRF patients who visited the emergency room with the complaint of chest pain. Results : 1) There were no nonspecific significant elevations of cTnI in CRF patients regardless of the status of CRF. But there were significant nonspecific elevations of CK-MB, cTnT in them. It was more marked in cTnT especially with the cut-off value of 0.1 ng/ml. 2) Nonspecific positive ratios of cTnT was significantly increased in diabetic CRF patients. 3) The sensitivity and specificity of cTnI were 100% and 93.3% each, which were significantly higher than those of CK-MB(83.3%, 66.7%) & cTnT(66.7%, 53.3%). Conclusion : In CRF patients, the nonspecific positive ratios of CK-MB, cTnT were higher than that of cTnI, and only cTnI did show significant specific elevations in all the CRF patients with acute myocardial infarction. It is likely that the status of CRF patients, dialysis mode, the sampling time point would not give significant changes in the nonspecific positive ratios of CK-MB, cTnT and cTnI.(Korean J Med 58:204-212, 2000)