http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 차성덕(Cha Sung Deok) (검색결과 42 건)
- 무료
- 기관 내 무료
- 유료
-
-
Looker : UNIX 시스템을 위한 통합 로그 분석 도구
조상현(Sang-hyun Cho),이남희(Nam-hee Lee),차성덕(Sung-Deok Cha) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
시스템의 불법적인 침입을 방지하거나 침입 사실을 탐지하여 침입자를 찾아내는 일반적인 침입 탐지 시스템(IDS)의 경우 외부로 부터 침입 사실은 시스템 내부에 기록되는 로그(log, audit trail)기록들을 조사해 보는 것이 필수적이다. 본 논문에서는, 관리자가 보다 쉽게 시스템의 사용 기록들을 확인하고 문제점을 찾는데 도움을 줄 수 있도록 개발된 통합 로그 분석 도구 Looker를 소개하고자 한다.
-
-
-
HDTL을 이용한 병렬 자바 프로그램의 모니터 링과 검사
조승모,김형호,차성덕,배두환,Cho, Seung-Mo,Kim, Hyung-Ho,Cha, Sung-Deok,Bae, Doo-Hwan 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.5
There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements. 정형 명세를 이용하여 구현된 프로그램이 수행 중에 명세를 만족시키는지 모니터링하고 검사하는 기법에 대한 연구들이 기존에 많이 수행되어 왔다. 이들은 주로 요구사항 명세언어로 시제논리 혹은 그것의 확장을 사용하게 된다. 이때 대부분의 연구는 실제 구현된 시스템이 가지는 동적인 변화를 제대로 요구사항 명세에 기술하고, 검사할 수 있는 언어를 제공하지 못하고 있다. 본 연구에서는 동적 시스템의 특성 명세언어로 기존에 제안했던 HDTL을 사용하여 동적인 자바 프로그램의 수행을 모니터링하고 검사하는 프레임웍을 제안한다.
-
조승모,김형호,차성덕,배두환,Cho, Seung-Mo,Kim, Hyung-ho,Cha, Sung-Deok,Bae, Doo-Hwan 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.7
Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well. 대부분의 객체지향 시스템을 비롯한, 복잡한 시스템들은 그 구성요소들이 시스템의 수행시간 중에 변하는 동적인 특성을 가지고 있다. 하지만 대부분의 기존 분석기법들은 이러한 측면을 무시하고 있다. 이 논문에서는 이러한 동적 시스템을 명세하고 분석하기 위한 기법을 제안하고자 한다. 이를 위해, 동적 시스템의 명세를 기술하기 위한 새로운 시제논리인 HDTL을 제안하고, 기존의 시제논리를 위한 분석기법을 수정하여 새로운 tableau 기법을 제안하였다. HDTL은 변수와 한정자를 사용하여 동적 시스템의 자동적 분석을 가능하게 하였다. 이 기법을 사용하여 우리는 시스템의 요구사항 명세를 기술하고, 시스템의 수행이 그 명세를 만족하는지를 살펴 볼 수 있다 실험을 통해 HDTL과 분석기법의 적용성을 보였다
-
소프트웨어의 결점 검출을 위한 페이건 검사의 실험과 다른 방법들의 비교
임용섭,소선섭,차성덕,권용래(Yong Sub Lim),Sun Sup So,Sung Deok Cha,Yong Rae Kwon 한국정보과학회 1996 정보과학회 컴퓨팅의 실제 논문지 Vol.2 No.1
본 논문에서는 소프트웨어 결점을 찾아내기 위한 방법중 고장 허용 기법으로 많이 쓰이는 투표 및 자체 검사 방법과 산업계에서 많이 쓰이는 것으로 알려진 페이건 검사 방법을 비교하였다. 이와 관련된 기존의 많은 실험 결과가 있으나, 이들은 서로 다른 프로그램을 실험 대상으로 하여 수행되었기 때문에 각 방법의 효율을 객관적으로 비교할 수 없었다. 이에 반해, 본 실험은 동일한 프로그램을 대상으로 하여 유사한 경력을 가진 참가자들로 소프트웨어의 결점을 찾는 방법을 비교하였으므로, 객관적인 비교를 할 수 있다는 장점이 있다. 본 실험에서는 다음과 같은 몇 가지 주목할 만한 결론을 얻을 수 있었다. 첫째, 페이건 검사를 사용하여 투표와 자체 검사 방법으로 찾은 결점보다 더 많은 수의 결점을 찾을 수 있었다는 점이다. 그러나, 각 방법으로 찾은 결점을 비교한 결과 각 방법이 서로다른 결점을 찾은 것으로 미루어 보아 어느 한 방법도 다른 방법을 완전히 대체할 수 없음을 발견하였다. 둘째, 각 방법을 이용하여 결점을 찾는데 걸린 시간을 비교한 결과, 페이건 검사 방법이 자체 검사 방법보다 훨씬 더 효과적임을 발겨하였다. 이 결과는 기존에 보고된 페이건 검사 방법의 성공적인 적용 사례와 일치하며, 이 실험을 통하여 체계적인 검사 방법을 소프트우어 개발 각 단계에 적용하면 소프트웨어의품질 향상에 도움이 될 수 있음을 발견하였다. This paper presents the results of an experiment that compared error detection capability of voting and instrumentation which are commonly used as fault-tolerant methods and the Fagan inspection method which is commonly used in industry. Several experiments have measured the effectiveness of various error detection methods. However, most experiments have used different programs; consequently, the results are incompatible and do not allow one to make objective comparison on the effectiveness of various approaches. This experiment found the followings: First, participants detected more errors by using the Fagan inspection method than by voting or instrumentation which found the same number of errors. These methods detected similar but slightly different types of errors. This means that these methods are complementary to each other. Second, when the average number of hours needed to detect an error, the Fagan inspection method was shown to be much more cost-effective than instrumentation. These findings are consistent with previous experimental results of the Fagan inspection method. Results of the experiment led us to believe that software quality can be improved by systematic application of the Fagan inspection(or its variants) throughout the software lifecycle.
-
-
이남희(Nam Hee Lee),차성덕(Sung Deok Cha) 한국정보과학회 1998 정보과학회논문지(B) Vol.25 No.10
반응 시스템의 출력은 입력 자료뿐만 아니라 비결정적으로 발생하는 태스크 사이의 동기화나 입력 사건에 의해서도 결정된다. 따라서 실시간 시스템을 테스팅하기 위한 테스트 케이스는 사건 순서 집합과 각 사건이 발생하는 시간에 관한 정보를 포함하여야 한다. 하지만, 기존의 연구에서는 각 사건의 발생 시간만을 고려한 테스트 케이스 생성 방법에 관해서 주로 진행되었다. 이 논문에서는 실시간 시스템을 Modechart로 기술하고, 명세의 기호 실행을 이용하여 사건 순서 집합을 생성하는 방법을 제안한다. Modechart의 기호 실행을 위하여 기호 시스템 구성을 정의하고, 사건 순서 집합에 관한 테스팅 적용기준을 제공한다. 실시간 시스템에 관한 연구에서 많이 사용되는 기차길 건널목 시스템에 기호 실행을 적용하여, 시간에 관한 정보가 첨가된 기호 실행 트리를 생성하고 테스팅에 필요한 사건 순서 집합을 생성함으로써 제안된 방법의 효용성을 보인다. In a reactive system, its outputs depend not only on input data but also on other factors such as nondeterminism caused by internal interactions among input events or task synchronizations. Therefore, effective testing of real-time software requires information on both event sequences and times at which various events occur. However, previous research on real-time software testing focused almost exclusively on generating the latter information. Our paper proposes a method of generating event sequences from Modechart specification using the symbolic execution technique. In particular, we provide definitions for symbolic system configurations and various testing criteria tailored for real-time software. Based on such definitions, we demonstrate, using the railroad crossing system, how to build symbolic execution tree annotated with timing information according to selected testing criteria and generate test sequences.
-
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
