모델 행동 양식의 시뮬레이션을 이용한 초기 디자인 검증 방법

신승훈,박승규,최경희,Shin, Seung-Hun,Park, Seung-Kyu,Choi, Kyung-Hee 한국시뮬레이션학회 2010 한국시뮬레이션학회 논문지 Vol.19 No.1

소프트웨어 개발 프로세스에서 발생되는 오류의 대부분은 요구사항 정의와 디자인 단계에서 비롯된다. 또한 이들 단계에서 포함된 오류의 수정 및 제거는 이후 단계에서 포함된 오류의 수정에 비해 훨씬 많은 노력과 비용을 요구한다. 하지만 요구사항과 디자인된 모델의 검증은 매우 중요한 작업임에도 불구하고 다양한 문제점들로 인해 성공적으로 수행되고 있지 못하다. 따라서 본 논문에서는 초기 디자인 단계에서 요구사항 및 모델의 검증 작업을 동시에 수행할 수 있는 모델의 시뮬레이션을 통한 검증 절차를 제안한다. 이 때 작성되는 모델은 Ptolemy 상에 소프트웨어의 행동 양식을 바탕으로 작성된다. 제안된 방법을 DNS 시스템 환경에 적용하여 사용 가능성을 확인하였으며, 시뮬레이션 결과에 따르면 행동 양식을 반영한 모델의 시뮬레이션을 통해 기존에 알려진 시스템의 내재된 오류 혹은 취약성을 발견 가능함이 확인되었다. 이는 제안된 방법이 소프트웨어 개발 프로세스 초기에서 요구사항과 모델을 검증하는 절차로 이용될 수 있음을 의미한다.

통합 시스템을 위한 출력 분포 기반 적응적 랜덤 테스팅

신승훈,박승규,최경희,정기현,Shin, Seung-Hun,Park, Seung-Kyu,Choi, Kyung-Hee,Jung, Ki-Hyun 한국시뮬레이션학회 2011 한국시뮬레이션학회 논문지 Vol.20 No.3

적응적 랜덤 테스팅(ART)은 순수 랜덤 테스팅의 효율성을 개선하기 위해 제안된 방법으로 효과적인 테스트 케이스의 선택을 통해 보다 적은 수의 테스트 케이스로 소프트웨어 내에 존재하는 오류 영역을 찾는 것을 목적으로 한다. 기존의 ART는 하나의 시스템 혹은 유닛에 대한 테스트를 적용 대상으로 하고 있으며, 다양한 접근 방법을 이용해 순수 랜덤 테스팅보다 우수한 성능을 보여 왔다. 하지만 통합 시스템을 구성하는 특정 유닛에 대해 ART를 적용하고자 하는 경우에는 시스템을 구성하는 타 유닛들의 영향으로 인해 기대 이하의 효율성을 보이게 된다. 따라서 본 논문에서는 이와 같은 테스트 환경 대한 ART 적용방법의 하나로, 테스트 대상 유닛에 부여되는 입력 데이터의 분포를 통합 시스템에 대한 제한된 수의 입력을 사용하여 예측하고, 이를 바탕으로 시스템의 입력 도메인 분할 크기를 조절하는 방법을 제안하고 시뮬레이션을 통해 성능을 평가한다. 시뮬레이션 결과, 제안된 방법은 유닛 테스팅에 ART를 적용했을 때와 유사한 수준의 성능으로 통합 시스템 내의 특정 유닛을 테스트 가능하도록 하며, 오류 비율의 변화가 ART의 성능에 미치는 영향 또한 1% 이내 수준으로 안정임을 확인하였다. Adaptive Random Testing (ART) aims to enhance the performance of pure random testing by detecting failure region in a software. The ART algorithm generates effective test cases which requires less number of test cases than that of pure random testing. However, all ART algorithms currently proposed are designed for the tests of monolithic system or unit level. In case of integrated system tests, ART approaches do not achieve same performances as those of ARTs applied to the unit or monolithic system. In this paper, we propose an extended ART algorithm which can be applied to the integrated system testing environment without degradation of performance. The proposed approach investigates an input distribution of the unit under a test with limited number of seed input data and generates information to be used to resizing input domain partitions. The simulation results show that our approach in an integration environment could achieve similar level of performance as an ART is applied to a unit testing. Results also show resilient effectiveness for various failure rates.

입력 도메인 확장을 이용한 반복 분할 기반의 적응적 랜덤 테스팅 기법

신승훈,박승규,Shin, Seung-Hun,Park, Seung-Kyu 한국정보처리학회 2008 정보처리학회논문지D Vol.15 No.4

적응적 랜덤 테스팅 (Adaptive Random Testing, ART)은 입력 도메인 내에 테스트 케이스를 넓고 고르게 분산시키는 방법을 통해 입력 도메인 내에 존재하는 오류 패턴을 순수 랜덤 테스팅 (Random Testing, RT)보다 효율적으로 찾아내기 위한 테스트 케이스 선택 기법이다. 테스트 케이스 선택에 많은 연산량을 필요로 하는 초기 ART 기법인 거리 기반 ART (Distance-based ART, D-ART)와 제한 영역 기반 ART (Restricted Random Testing, RRT)의 개선을 위해 입력 도메인을 반복 분할하는 기법들이 제안되었고, 이 기법들은 낮은 연산량 및 성능 향상등의 효과를 가져왔다. 하지만, 입력 도메인 반복 분할 기반 기법에서도 기존 ART 기법에서 나타나는 테스트 케이스 분포 불균일 문제가 존재하고, 이는 기법의 확장성에 장애 요소로 작용한다. 따라서 본 논문에서는 반복 분할 기반 기법에서 나타나는 테스트 케이스 분포의 특성을 파악하고, 이를 적정 수준으로 제어하기 위한 입력 도메인 확장 정책을 제안하였으며, 실험을 통해 2차원 입력 도메인에서 3%, 3차원 입력 도메인에서 10% 수준의 성능 향상을 확인하였다. An Adaptive Random Testing(ART) is one of test case generation algorithms, which was designed to get better performance in terms of fault-detection capability than that of Random Testing(RT) algorithm by locating test cases in evenly spreaded area. Two ART algorithms, such as Distance-based ART(D-ART) and Restricted Random Testing(RRT), had been indicated that they have significant drawbacks in computations, i.e., consuming quadratic order of runtime. To reduce the amount of computations of D-ART and RRT, iterative partitioning of input domain strategy was proposed. They achieved, to some extent, the moderate computation cost with relatively high performance of fault detection. Those algorithms, however, have yet the patterns of non-uniform distribution in test cases, which obstructs the scalability. In this paper we analyze the distribution of test cases in an iterative partitioning strategy, and propose a new method of input domain enlargement which makes the test cases get much evenly distributed. The simulation results show that the proposed one has about 3 percent of improvement in terms of mean relative F-measure for 2-dimension input domain, and shows 10 percent improvement for 3-dimension space.

톨레미를 이용한 DNS 시스템 모델 기반의 효율적 취약성 탐지

신승훈,박승규,정기현,Shin, Seung-Hun,Park, Seung-Kyu,Jung, Ki-Hyun 한국정보처리학회 2009 정보처리학회논문지D Vol.16 No.6

소프트웨어가 이미 배포되어 사용되고 있는 경우, 상황에 따라 소프트웨어에 내재된 취약성은 심각한 사회적, 경제적 영향을 미칠 수 있다. 그러므로 소프트웨어의 취약성은 개발 단계에서부터 충분한 고려가 필요하다. 소프트웨어의 모델 및 시뮬레이션은 소프트웨어의 개발 단계에서 사용될 수 있는 취약성 검사를 위한 테스트 정책의 하나로 고려될 수 있다. 본 논문에서는 해당 방법의 사용 가능성 확인을 위해 톨레미를 이용하여 DNS 시스템의 행동 양식을 모델링하고 이를 시뮬레이션 하였다. 실험 결과에 따르면 기존에 알려진 DNS 서버의 취약성이 효과적으로 검출되고 있음을 확인할 수 있었고, 이는 모델 및 시뮬레이션이 취약성 테스팅에 사용 가능함을 의미한다. Vulnerabilities in software can result in many social and economic problems once it has already been deployed and put to use. Thus, the vulnerabilities should be seriously taken into consideration from the beginning step of software development. A modeling and simulation method for software can be adopted as a testing tool for establishing vulnerability inspection strategies. For verification of usability of this strategy, in this paper, we modeled the behavior of a DNS system using Ptolemy and the simulation was performed. The result shows that a well-known vulnerability of DNS server could be effectively found, which confirms that the modeling and simulation can be used for vulnerability testing.

주얼리 디자인의 지능형 분류체계 시스템

신승훈 ( Seung Hun Shin ) 서울과학기술대학교 과학문화전시디자인연구소 2010 한국과학예술융합학회 Vol.6 No.-

새로운 주얼리 디자인은 사용자의 측면에서 접근하여 개발되어야한다. 하지만 현재의 디자인 개발과 분석은 대부분 담당자들이 토론 및 설문조사를 기반으로 구매동향에 따른 선호도조사 자료를 기반으로 실시하다보니 감성적측면에 의한 분류와 개발 방법으로 하고 있어서 많은 한계점과 문제점이 발생한다. 그래서 디자인 담당자의 주관적인 분석과 판단보다는 누구나 신뢰할 수 있는 객관적 디자인개발에 적합한 분석방법이 필요하다. 따라서 정량적 데이터를 기반으로 하는 귀금속디자인의 분석방법을 개발하고자 통계방식에 의한 비교분석 알고리즘을 연구하여 새로운 디자인 개발에 적용하고자 한다. 또한 신뢰성 향상을 위해 디자인 항목에 가중치를 적용하였으며, 디자인 유형의 등급이나 비교분석 값도 자동으로 계산될 수 있는 지능형 프로그램을 개발하였다. 기존의 감성적 디자인 접근방법을 지능적 시스템을 개발함으로 통계적 접근의 융합화를 시도하였다. 이러한 연구는 향후 객관적이고 다양한 디자인의 프로그램 접근과 분류연구의 방향을 제시하였다. 이를 통해 효과적인 주얼리 디자인개발에 필요한 지능화된 디자인 분석 프로그램 시스템을 구축하여 객관성과 설득력이 있는 주얼리 디자인방법에 기여하고자 한다. The new Jewelry design is to be develop according to user opinion. But the design development and analysis of present are develop according to in the development person and the analysis and a judgment of the designer. So, many kinds problem and limit occur in classification and design development. So anyone trust and the design analysis which is suitable in objective design development method is necessary than subjective analysis and the judgment of the designer. Therefore, data of design fixed quantity with the part by and the atlas algorithm developed did grade automatic which this foundation. In compliance with a statistics a design, compares the price which is calculated and analysis in research and development design is new under applying boil. Also design item to apply a weight for a reliability improvement, the intelligent style program also the grade or comparative analysis price of design type could be calculated with automatic developed. Sensitivity design access method of existing intelligent system attempted the fusion of statistical access method by the destroyer. This research presented program access method of an objective and various design and the direction of classification research in future.

於于 柳夢寅의 古文論에 나타난 六經 중심의 視角

申承勳(Shin Seung-Hun) 동양한문학회(구 부산한문학회) 2006 동양한문학연구 Vol.22 No.-

  Eo-U Yu Mong-In(於于 柳夢寅) was the intellectual who was faithful to the historical duty given to him at his times. The restoration of national order and the reconstruction of culture were the most immediate duties to him after the wars. Therefore his compilation of ‘Dae-Ga-Mun-Hoe(大家文會)’ meant the effort that he intended to restore the writing"s level that had been prior to the wars. Also his setting high value on the Six Confucian Classics(六經) and on the writings that had been performed in the time before Chin dynasty(先秦), was the effort that he intended to recover the culture that had been prior to the wars.   Eo-U Yu Mong-In(於于 柳夢寅)"s awakening to the historical duty and his learning inclination to the Six Confucian Classics(六經), grew to the doubt about Ju-Ja-Hak(朱子學) ideologically. Eo-U Yu Mong-In(於于 柳夢寅)"s doubt about Ju-Ja-Hak(朱子學) didn"t grow to the overoll and systematical criticism. But it in itself can be significant enough in the point of the reflection on Ju-Ja-Hak(朱子學), and his reflection on Ju-Ja-Hak(朱子學) was worth in the aspect of already coming out in early times. Also it can be significant in the point of having the same track with the later academic phenomena, that is, the selection of various annotations(註釋) and the granting meanings, shown by realistic group scholars(實學者) in the late period of Cho-Sun dynasty(朝鮮後期).   於于 柳夢寅(1559~1623)은 자신의 시대에 주어진 역사적 소명에 충실한 知性이었다. 그에게 전란 이후의 국가질서의 회복과 문화의 재건은 가장 절실한 임무였다. 따라서 그가 『大家文會』를 편찬한 것은 文章의 측면에서 전란 이전의 수준을 회복시키려고 하는 노력의 일환이었고, 六經을 비롯한 先秦의 문장을 존숭하였던 것도 문장의 이상적인 지표 내지 典範을 제시함으로써 전란 이전의 문화를 복구하려는 노력이었다.   역사적 책무에 대한 각성과 六經 중심의 학문성향은 사상적인 측면에서 주자학에 대한 회의로 전이되었다. 어우의 주자학에 대한 회의가 전면적이고 체계적인 비판으로 발전하지는 못하였지만, 그 자체가 이미 이른 시기에 보인 주자학에 대한 반성이라는 의미가 있겠다. 또한 학술사적으로는 조선후기 실학자의 경학에서 볼 수 있는 학풍과 궤를 같이 한다는 의미가 있겠다. 상대주의적 시각에서 특정한 학설의 절대적 권위를 인정하지 않는다는 점에서 그렇고, 古今의 다양한 주석을 폭넓게 채택한다는 점에서 그러하며, 자신만의 독창적인 의미부여 내지 해석의 관점이 있다는 점에서 그러하다.

유동층 생물막 반응기에서의 폐수 탈질화

신승훈(Seung Hun Shin),서일순(Il-Soon Suh),장인용(In Young Chang) 한국생물공학회 2001 KSBB Journal Vol.16 No.4

조선말(朝鮮末) 영남(領南) 지식인(知識人)의 문(文)에 대한 인식(認識) -만성(晩醒) 박치복(朴致馥)과 면우(면宇) 곽종석(郭鍾錫)의 문학론쟁(文學論爭)을 중심으로

신승훈 ( Seung Hun Shin ) 한국한문학회 2009 韓國漢文學硏究 Vol.0 No.44

深齋 曺兢燮의 思想과 經學에 관하여 - 經學的 言述에 대한 評價를 겸하여

신승훈(Shin Seung-Hun) 동양한문학회(구 부산한문학회) 2007 동양한문학연구 Vol.25 No.-

  深齋는 經學에 관한 독립적이고 완전한 저서를 남긴 것은 없다. 그러나 그의 문집에 산재한 여러 종류의 저술과 언술에서 그의 경학에 관한 견식과 방향은 충분히 도출할 수 있다. 그 중에「雜識」와「讀易隨記」는 심재가 경학에 관하여 어떠한 관점을 가졌는지를 분명하게 보여주고 있는 자료이다. 따라서 그를 완전한 經學家로 규정하기는 어렵더라도 그를 經學的 학문세계를 가졌던 학자로 볼 수 있을 것이다. 이는 그가 文學과 道學, 그리고 經學을 총체적으로 연구했던 학자임을 뜻한다. 그러므로 심재를 조명하는 기존의 두 가지 시각, 즉 文章家로서 조명하는 시각과 道學者로 조명하는 시각은 수정과 보완이 필요하다. 이 논문 앞의 두 가지 시각에서 포착하지 못한 深齋 曺兢燮의 학문적 실상을 좀 더 유연하고 포괄적인 관점에서 접근해보려는 하나의 제안이다. 深齋처럼 전형적인 중세적 지성을 조명하기 위해서는 그들의 학문이 갖는 포괄적인 특성에 유연하게 접근해야 할 필요가 있기 때문이다. 그런데 심재에게는 특별한 점이 있었다. 그것은 "獨得之妙"의 추구와 "通涉"과 "會通"의 사상적 지향이다.   Shim-Jae Jo Geung-Seop(深齋 曺兢燮) had not left the independent and complete books on the learning of Confucian Classics(經學). But we can fully extract his discernment and direction to the learning of Confucian Classics(經學), from many kinds of books and remarks that are scattered sporadically in the collection of Shim-Jae(深齋)"s works.<BR>  Among his works,「Jap-Ji(雜識) and「Dok-Yok-Su-Gi(讀易隨記)」 are the adequate materials that can show us Shim-Jae(深齋)"s viewpoint on the learning of Confucian Classics(經學) clearly. Therefore, even though it"s hard to say that Shim-Jae Jo Geung-Seop(深齋 曺兢燮) was the scholar only in the field of the learning of Confucian Classics(經學), we can regard him as the scholar who possessed the learning world of Confucian Classics(經學). This means that he is the scholar who had researched the literature, the learning of Do(道), and the learning of Confucian Classics(經學) on the whole. Therefore, already established, two points of researching Shim-Jae(深齋), need to be modified and complemented more. Two points of researching Shim-Jae(深齋) are like that. The first point is researching him at the point of the writer. The second point is researching him at the point of the scholar who learned Confucian Classics(經學家).<BR>  This thesis is one of the proposal that intends to approach to the real shape of Shim-Jae Jo Geung-Seop(深齋 曺兢燮)"s scholarship at the more pliable and comprehensive point. So that this thesis could complement the already established, two points. In order to study the typical medieval intellectuals, like Shim-Jae Jo Geung-Seop(深齋 曺兢燮), it"s necessary to approach to their inclusive learning features in the soft way.<BR>  There are special aspects in Shim-Jae Jo Geung-Seop(深齋 曺兢燮)"s learning. One is the pursuit in "the Mystery of Self-Acquirement(獨得之妙)". The other is the thinking aspiration for "the Conciliation(通涉)" and "the Mediation between various scholars" opinions(會通)".

禮學의 관점에서 본 선비의 日常

신승훈(Shin Seung-Hun) 동양한문학회(구 부산한문학회) 2007 동양한문학연구 Vol.24 No.-

  우리가 일상에서 발견할 수 있는 가치는 수백 년 아니 그 이상의 시대를 살았던 선비나 오늘의 우리가 다르지 않은 삶을 산다는 데에서 찾을 수 있다. 그것은 우리가 수백 년 전의 선비와 크게 다르지 않은 인간관계의 망 속에서 존재한다는 사실에 근거한다. 일상의 동질적 모습에 우리가 찾아야 할 인간적 삶과 문화가 존재하기 때문이다.<BR>  그렇기 때문에 특정한 시대나 특정한 개인의 일상을 발견하는 것이 중요한 것이 아니라 일상 속에서 인간이 영위해야 할 바람직한 모습과 문화를 찾는 것이 중요하다고 생각한다. 인간의 생애나 집단의 문화가 일상생활을 떠나 별도의 것으로 존재하는 것이 아니기 때문이다. 그러한 일상은 바로 예학의 관점에서 보는 일상이기도 하다.   The Daily Life[日常] is not insignificant or humble. The Daily Life[日常] is neutral in the point of value, because it is still of the same shape. Moreover the Daily Life[日常] is not unique or special. Therefore the Daily Life[日常] is not extraordinary and it is not what gives any unconventional enjoyment.<BR>  The Daily Life[日常] is universal and general. However, without the universal and general Daily Life[日常], no one can achieve any works. The value of Daily Life[日常] depends on homeostasis[恒常性].