• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.358-360
• /
• 2004

웹 응용은 현재 가장 빠르게 성장하고 있고 사회에 미치는 영향이 큰 분야이다. 잘 못 동작하는 웹 응용은 사회적은 큰 손실이 될 수 있다. 이에 웹 응용의 검증 방법의 중요성이 대두되고 있다. 검증 방법으로는 코드 분석과 테스팅이 있다 허나 시장에 제품이 출시되는 시간이 매우 짧고, 관련 기술의 발달이 빠른 웹 응용 개발의 특성상 코드 분석은 왜 정확한 검증 결과를 얻을 수는 있으나 적절하다고는 할 수 없다 따라서 테스팅을 검증 방법으로 사용하게 된다. 그렇다고 해도, 테스팅에 들이는 시간과 노력이 코드 분석과 비슷하다면 이 또한 적절한 검증 방법이라고 할 수 없다. 테스팅의 비용을 줄여 전체적인 개발 비용을 줄이는 것이 필요하다 테스팅의 비용은 테스트 케이스를 수행하는 시간과 테스트 케이스로 생성, 분석하는 시간으로 측정 가능하다. 이 논문에서는 이 시간들을 줄이기 위해 전체 웹 응용의 경로 중 사용빈도가 높은 경로를 테스트 케이스로 타여 테스트 케이스 실행 시간을 줄이고, 각 페이지에 안는 입력 값으로 빈도가 높은 사용자 세션 정보를 이용하여 테스트 케이스의 생성을 자동으로 할 수 있게 하여 테스터가 직접 테스트 케이스를 생성하는 것보다 시간을 줄였다.

• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.385-392
• /
• 1995

A software engineering process has been developed for the design of safety critical software for Wolsong 2/3/4 project to satisfy the requirement of the regulatory body. Among the process, this paper described the detail process of validation testing peformed to ensure that the software with its hardware, developed by the design group, satisfies the requirements of the functional specification prepared by the independent functional group. To perform the test, test facility and test software ore developed and actual safety system computer was connected. Three kinds of test cases, i.e., functional test performance test and self-check test were programmed and run to verify each functional specifications. Test failures ore fedback to the design group to revise the software and test result were analyzed and documented in the report to submit to the regulatory body. The test methodology and procedure were very efficient and satisfactory to perform the systematic and automatic test. The test results were also acceptable and successful to verify the software acts as specified in the program functional specification. This methodology can be applied to the validation of other safety-critical software.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.5
• /
• pp.147-156
• /
• 2022

Industrial control systems that manage and maintain various industries were mainly operated in closed environment without external connection, but with the recent development of the Internet and the introduction of ICT technology, the access to the industrial control system of external or attackers has become easier. Such incorrect approaches or attacks can undermine the availability, a major attribute of the industrial control system, and violation of availability can cause great damage. In this paper, when issuing commands in an industrial control system, a verification group is formed using a random list to verify and execute commands, and a trust score technique is introduced that applies feedback to the verification group that conducted verification using the command execution result. This technique can reduce overhead generated by random generation in the process of requesting command verification, give flexibility to the verification process, and ensure system availability. For the performance analysis of the system, we measured the time and gas usage when deploying a smart contract, gas usage when verifying a command. As a result, we confirmed that although the proposed system generates a random list compared to the legacy system, there was little difference in the time when it took to deploy smart contract and that the gas used to deploy smart contract increased by about 1.4 times in the process of generating a random list. However, the proposed system does not perform random operations even though the operation of command verification and confidence score technique is performed together during the command verification process, thus it uses about 9% less gas per verification, which ensures availability in the verification process.

• Korean Journal of Social Welfare
• /
• v.67 no.2
• /
• pp.61-84
• /
• 2015

The purpose of this study was to develop the Post-bereavement Growth Inventory(PBGI) for the elderly and to evaluate its validity. The items for developing PBGI were compiled from a literature search, content validity review, and a preliminary survey. A main survey of 308 widowed persons(aged 60+) was conducted. The results were as follows. First, an exploratory factor analysis revealed six factors of the PBGI. The results of the confirmatory factor analysis supported a five-factor structure for the final 24 scale items of scale. Second, in terms of concurrent validity, the PGBI compared favorably with the "Personal Growth" scale from The Hogan Grief Reaction Checklist (HGRC: Hogan and Schimdt, 2001). Third, the results of contrast group validity tests demonstrated that the group scoring in the upper 30% on the scales of Psychological Well-being (PWB, Ryff and Keyes, 1995) and the Grief Reaction Inventory (GRI: Remondet and Hansson, 1987) showed a significantly higher degree of post-bereavement growth (PBG) than the group scoring in the lower 30%. Fourth, Cronbach's ${\alpha}$ values for the five factors were between .649-.856 and .907 overall, indicating high internal consistency. Finally, education had the most significant influence on PBG. All results indicated the high validity of the PBGI. The findings from this study could provide the rationale for practical interventions from a growth-oriented perspective for widowed persons, as well as an objective assessment tool for practitioners in clinical areas.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.10
• /
• pp.2310-2316
• /
• 2010

This paper presents an application of retiming to model checking, a branch of formal verification. Retiming can change the transition relation of a circuit without changing its input-output behaviour by relocating its registers. With the retiming, a given circuit can have a different structure more adequate for model checking. This paper proposes a cost function to reflect the number of registers and the characteristic of its transition relation and develops a heuristic annealing algorithm to search efficiently the circuit structures obtained by retiming. Experimental results show that the proposed method can improve the model checking performance.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.1
• /
• pp.1-8
• /
• 2015

Safety critical systems require exhaustive verification of safety properties, because even a single corner-case fault can cause a critical safety failure. However, existing verification approaches are too costly in terms of time and computational resource required, making it hard to be applied in practice. In this paper, we implemented a tool for minimizing the size of the verification target w.r.t. verification properties to check, based on program slicing technique[1]. The efficacy of program slicing using our tool is demonstrated in a case study with a verification target Trampoline[3], which is an open source automotive operating system compliant with OSEK/VDX[2]. Experiments have shown enhanced performance in verification, with a 71% reduction in the size of the code.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.852-860
• /
• 2014

This paper proposes an efficient algorithm based on Kolmogorov-Smirnov test to determine the presence of impulsive noise in the given environment. Kolmogorov-Smirnov and Chi-Square tests are known in the literature to serve as a goodness-of-fit test especially for a testing for normality of the distribution. But these algorithms are difficult to implement in practice due to high complexity. The proposed algorithm gives a significant reduction of the computational complexity while decreasing the error probability of hypothesis test, which is shown in the simulation results. Also, it is worth noting that the proposed algorithm is not dependent on the noise environment.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.5
• /
• pp.55-64
• /
• 2009

In this paper, we design and implement verification and interface application for interactive data broadcasting middleware. This application implements ACAP and OCAP verification item according to their types (format, protocol. resource, presentation). Therefore, using this application, we can verify whether digital settop-boxes used in digital terrestrial television and digital cable television conforms to the ACAP and OCAP standards. In this paper, we evaluate our proposed application using TVPLUSiTM verifier which can verify interactive TV application in real broadcasting environment. Through performance evaluation, we show that the DTB-H650F set-top-box supports OCAP and ACAP standard 80% and 95%, respectively.

• Proceedings of the KAIS Fall Conference
• /
• 2012.05a
• /
• pp.141-144
• /
• 2012

본 연구는 일반학부모의 장애아에 대한 태도가 통합보육태도에 미치는 영향을 알아보는데 목적을 갖고, 2012년 3월 2일부터 10일까지 J지역 소재 통합보육시설에 다니고 있는 일반 자녀를 둔 학부모 150명을 대상으로 설문조사하였는데 그 결과를 요약하면 다음과 같다. 첫째, 장애아에 대한 태도가 통합보육 일반 태도에 미치는 영향을 검증한 결과 인지적, 감정적 요소가 일반 태도에 통계적으로 유의한 정(+)의 영향을 미치는 것으로 나타났다. 둘째, 장애아에 대한 태도가 통합보육 유아활동 및 교사관심에 미치는 영향을 검증한 결과 인지적, 행동적 요소가 유아활동 및 교사관심에 통계적으로 유의한 정(+)의 영향을 미치는 것으로 나타났다. 셋째, 장애아에 대한 태도가 통합보육 행동문제에 미치는 영향을 검증한 결과 인지적, 감정적, 행동적 요소가 행동문제에 통계적으로 유의한 정(+)의 영향을 미치는 것으로 나타났다. 이상의 연구결과를 종합해 보면 일반학부모의 장애아에 대한 태도에 따라 통합보육 태도에 차이가 있음을 알 수 있다. 이는 일반학부모의 장애아에 대한 인지적, 감정적 요소에서 차이를 보여 이들 요인의 인식 개선시 통합보육태도를 높이는 긍정적인 요소로 작용할 수 있음을 시사한 것으로 볼 수 있다. 이 같은 결과는 통합보육이 장애유아와 일반유아 모두가 서로의 다양성을 인정하며, 이질적인 상대의 존재를 받아들이고, 존중하며 함께 배우려는 학부모의 인식전환이 선행되어져야 할 것을 시사한 것으로 해석할 수 있다.

• Journal of Technology Innovation
• /
• v.25 no.4
• /
• pp.79-105
• /
• 2017

As the size of venture firm's operating funds continues to increase, the scope of work of the investment jurisdiction is increasing dramatically as well. However, investment decisions vary widely, depending on the competence of the judges. This follow-up study recommends verifying the validity of the effectiveness of venture investments by validating the efficacy of assessing venture investment indexes. After verifying the assessment indexes for 100 venture firms, the study noted that the efficacy of the survey as a qualitative evaluation measure was approximately 85% hit, which can act as a yardstick for investment decisions. The results of this study can contribute toward the decision making power of venture companies in terms of investments.