• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• 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).

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.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.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2312-2322
• /
• 1998

Test case for objcctoricnted system's integrated testing must be contained both methowmessage path and result of method execution. For this test case extraction, we should use scenario of dynamic modeling leveL Because we can reduce account of test case through user action's dependency analysis. This paper suggest test case generation method using dynamic modeling scenario. There are two advantages of this method are two. First, we can use computer when we generate test case for object's interaction and test result compare, Second, we can reduce testcase amount.

• Journal of KIISE
• /
• v.44 no.6
• /
• pp.595-600
• /
• 2017

Android applications are composed of one or more components. The components within an application or several applications may interact with each other primarily through intents. Such interactions may cause security and reliability issues such as broadcast theft, activity hijacking, and intent spoofing. These problems need to be resolved through testing techniques using various interaction test scenarios before an application gets launched. However, with the existing test scenario generation approach, some infeasible test scenarios may be generated since they do not consider the re-execution order based on activity setting when pressing the back button. This paper proposes a test case generation technique which removes infeasible interaction paths by utilizing the activity stack information.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.6
• /
• pp.293-302
• /
• 2017

This paper proposes a method that generates test cases from Simulink/Stateflow(SL/SF) using a SMT (Satisfiability Modulo Theory) solver, Yices and information of SL/SF model. The most difficult problem to generate test cases from SL/SF model is to solve reachability problem. In the propose method, Yices and the tables built with the model information are utilized to solve the reachability problem. The method utilizes the SMT model, that is the SL/SF model transformed in Yices. The tables built from SL/SF are used for backward processing of the proposed method and increases test generation efficiency. A commercial refrigerator model and two car ECU (Electrical Control Unit) models are used to evaluate the performance of the proposed algorithm..

• Fire Science and Engineering
• /
• v.34 no.2
• /
• pp.54-63
• /
• 2020

Although fires caused by heat generation due to Cu₂O breeding in wire connections are well-known among fire investigators, there are few papers on the analysis and introduction of fire cases by heat generation due to Cu₂O breeding. This study analyzed fire statistics caused by heat generation in electrical connections and the phenomena and features of heat generation due to Cu₂O breeding. Then, a fire which occurred in the wire connection in a university lab by heat generation due to Cu₂O breeding was analyzed in more detail. This fire case could reach a conclusion that heat generation due to Cu₂O breeding caused a fire in the wire connection through the fire pattern investigation of fire origin, the visual investigation of wire connection, 3D CT, power-on-test, and stereoscopic microscopy, SEM and EDS analysis.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.31 no.5
• /
• pp.40-45
• /
• 2013

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.3
• /
• pp.151-160
• /
• 2013

iOS applications refer to the apps operating on iOS, a mobile OS developed by Apple. As iOS provides graphic user interfaces based on touch screens, most of iOS apps support GUIs. GUIs become increasingly important for iOS apps. So are GUI tests. As GUI functions are performed by event handlers, faulty event handlers could cause defects in GUIs. Hence, this study detects faults in event handlers as a way to test GUIs for iOS apps, and suggests how to generate test cases by re-defining input domains of event handlers.

• Journal of Computing Science and Engineering
• /
• v.9 no.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.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.19 no.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.