• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• 전기학회논문지
• /
• 제57권8호
• /
• pp.1349-1355
• /
• 2008

The paper shows the analysis of operating conflict of OCGR trip events and metering errors in the photovoltaic generation, wind generation distributed generation customers with no defect of the distributed generation facilities, which are connected to 22.9kV distribution lines. To analyze problems with metering errors and OCGR fault event, a power quality analyzer and PSIM program were used to test the field and to simulate in Sun-Cheon photovoltaic generation and Seo-Cheon photovoltaic generation customers. With the trial distribution line, the result of analysis was verified to prove with the same situation of the actual field. This paper suggests short term and long term countermeasures of OCGR fault events, analysis of over and shortage of metering errors in distributed generation customers.

• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2312-2322
• /
• 1998

객체 지향 시스템의 통합 테스트를 위한 테스트 케이스는 Method/Message의 경로와 method의 실행에 따른 시스템의 상태를 포함하여야 한다. 이런 테스트 케이스를 추출하기 위해서는 원시 코드만으로는 부족하고 시스템의 동적 모델링 단계에서 사용되었던 시나리오를 이용하여야 한다. 그 이유는 시나리오를 이용할 경우 사용자가 시스템에 행할 수 있는 동작의 종속성 분석을 통하여 테스트 케이스의 수를 줄일 수 있기 때문이다. 본 논문에서는 시나리오를 객체 지향 시스템의 통합 테스트에 활용하는 방안에 대하여 연구하였다. 이 방안을 이용하면 객체간의 상호작용을 테스트하기 위한 테스트 케이스의 생과 테스트 결과의 비교를 컴퓨터를 이용하여 할 수 있고 테스트 케이스의 수도 줄일 수 있다.

• 정보과학회 논문지
• /
• 제44권6호
• /
• pp.595-600
• /
• 2017

안드로이드 어플리케이션은 하나 이상의 컴포넌트로 구성되어 있으며 컴포넌트들은 인텐트를 통해 동일 어플리케이션 또는 다른 어플리케이션의 컴포넌트를 호출하여 사용할 수 있다. 이와 같은 컴포넌트 상호작용을 악용한 BroadcastTheft, Activity Hijacking, Intent Spoofing 등과 같은 문제점들을 검사하기 위해서는 다양한 상호작용 시나리오를 생성하여 테스팅을 진행하여야 한다. 하지만 기존 상호작용 테스트 시나리오 생성 연구에서는 각 액티비티 설정에 따라 이전화면으로의 이동시 재실행 순서가 달라지는 안드로이드 특성을 고려하지 않아 실행 불가능한 테스트 시나리오들이 포함될 수 있는 문제점이 있다. 본 논문에서는 액티비티 스택 정보를 이용하여 상호작용 테스트 시나리오에서 실제 실행되지 않는 경로를 제거하는 방법을 제안한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권6호
• /
• pp.293-302
• /
• 2017

본 논문에서는 SMT (Satisfiability Modulo Theories) Solver인 Yices와 Simulink/Stateflow (SL/SF)의 모델 정보를 이용한 SL/SF 모델의 테스트 케이스 생성 기법을 제안한다. SL/SF 모델로부터 테스트 케이스 생성 시 발생하는 가장 어려운 점은 도달 가능성 문제를 해결하는 것이다. 제안하는 방법에서는 Yices와 모델 정보로부터 만들어진 테이블로 도달 가능성 문제를 해결한다. 제안하는 방법에서는 SL/SF 모델을 Yices의 입력 언어로 변환한 SMT 모델을 사용하여 테스트 케이스를 생성한다. SL/SF 모델로부터 생성된 정보들은 제안하는 테스트 케이스 생성 알고리즘의 Backward 프로세싱에 사용되어 테스트 케이스 생성 효율을 증가시킨다. 제안된 테스트 케이스 생성 기법은 상용 냉장고 제어시스템 모델과 자동차의 ECU (Electrical Control Unit) 모델을 이용하여 성능을 평가한다.

• 한국화재소방학회논문지
• /
• 제34권2호
• /
• pp.54-63
• /
• 2020

전선 접속부 등에서 아산화동(Cu₂O)증식 발열에 의해 화재가 발생하는 것은 화재조사 전문가들에게 널리 알려져 있지만 아산화동증식 발열에 의한 화재사례를 구체적으로 분석하여 소개하는 논문은 거의 없다. 이 논문에서는 전기적인 접속부분의 발열에 의한 화재 통계와 아산화동증식 발열 현상과 특징을 분석한 후 아산화동증식 발열에 의해 대학실험실의 전선 접속부분에서 화재가 발생한 사례에 대해 구체적으로 분석하고 있다. 이 화재사례는 발화개소의 화재패턴 조사, 전선 접속부분에 대한 육안 조사, 3차원 CT 촬영 조사, 전원인가 시험, 실체현미경 조사, SEM과 EDS 분석을 통해서 전선 접속부분에서 아산화동 증식 발열로 인해 화재가 발생한 것으로 결론을 내릴 수 있었다.

• 정보과학회지
• /
• 제31권5호
• /
• pp.40-45
• /
• 2013

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권3호
• /
• pp.151-160
• /
• 2013

iOS 애플리케이션은 애플에서 개발한 모바일용 운영체제인 iOS 위에서 동작하는 애플리케이션을 말한다. iOS가 터치스크린을 기반으로 하는 그래픽 사용자 인터페이스를 제공하기 때문에, iOS 애플리케이션은 대부분 GUI를 사용자 인터페이스로 제공한다. iOS 애플리케이션에서 GUI의 비중이 높아질수록 GUI 테스트에 대한 중요성도 높아지게 된다. GUI의 기능은 이벤트 핸들러에 의해 수행되기 때문에 이벤트 핸들러 자체에 결함이 존재한다면, 그것은 곧 GUI의 결함을 유발할 수 있다. 이에 본 논문에서는 이벤트 핸들러 자체의 결함을 검출하는 방식으로 iOS 애플리케이션의 GUI 테스트를 수행하고자 한다. 이를 위해서 이벤트 핸들러의 입력 도메인을 재정의하고 이로부터 테스트 케이스를 생성하는 방법을 제안한다.

• Journal of Computing Science and Engineering
• /
• 제9권3호
• /
• pp.142-154
• /
• 2015

Fault localization techniques help locate faults in source codes by exploiting collected test information and have shown promising results. To precisely locate faults, the techniques require a large number of test cases that sufficiently exercise the executable statements together with the label information of each test case as a failure or a success. However, during the process of software development, developers may not have high-coverage test cases to effectively locate faults. With the test case generation techniques, a large number of test cases without expected outputs can be automatically generated. Whereas the execution results for generated test cases need to be inspected by developers, which brings much manual effort and potentially hampers fault-localization effectiveness. To address this problem, this paper presents a method to select a few test cases from a number of test cases without expected outputs for result inspection, and in the meantime selected test cases can still support effective fault localization. The experimental results show that our approach can significantly reduce the number of test cases that need to be inspected by developers and the effectiveness of fault localization techniques is close to that of whole test cases.

• 디지털산업정보학회논문지
• /
• 제19권3호
• /
• pp.45-60
• /
• 2023

The purpose of this study is to explore factors that affect millennials and generation Z customers' perception on intention to recommend to use the digital payment services and invesetigate factors that affect perception on sustainable growth of the digital payment services. This study applied the following research questions: i) how perceived brand value, easy to use, personalization, open to public, and social value affect intention to recommend to use the digital payment services and ii) how perceived public policy, promotional strategy, and prspects affect intention to recommend to use the digital payment services to others. This study conducted an online survey. This study applied factor, ANOVA, and regression analysis to test hypotheses. The results of this study found that effects of personalization, open to public, and social value on intention to recommend the service showed significance in the case of millennials, while effects of brand value, easy to use, and open to publis on intention to recommend the service showed significance in the case of generation Z. The results provide managerial and policy implications on how to apply better strategies and pepare policies to enhance adoption of the digital payment service in cases of millennials and generation Z.