• Journal of Internet Computing and Services
• /
• v.15 no.5
• /
• pp.107-121
• /
• 2014

Distributed systems are collection of physically distributed computers linked by a network. General use of wired/wireless Internet enables users to make use of distributed service anytime and anywhere. The explosive growth of distributed services strongly requires functional verification of services as well as verification of non-functional elements such as service quality. In order to verify distributed services it is necessary to build a test environment for distributed systems. Because, however, distributed systems are composed of physically distributed nodes, efforts to construct a test environment are required more than those in a test environment for a monolithic system. In this paper we propose a test framework to verify functional and non-functional features of distributed systems. The suggested framework automatically generates test cases through the message sequence charts, and includes a test driver composed of the virtual nodes which can simulate the physically distributed nodes. The test result can be checked easily through the various graphs and the graphical user interface (GUI). The test framework can reduce testing efforts for a distributed system and can enhance the reliability of the system.

• Journal of the Korea Convergence Society
• /
• v.6 no.4
• /
• pp.121-126
• /
• 2015

Korea Youth Panel (2008) has 2 panels of the 5th year of Knowledge data to perform statistical analysis and regression analysis, the risk factors in the risk conditions of the family of functional deficits, protective factors, the relationship between the mediating effect of psychological adaptation and protective factors verification mechanisms and the psychological adaptation level it is an objective to analyze the protective factors that protect the high youth. To investigate the differences by frequency analysis and personal characteristics of the analyte's was performed t test using PASW (Predictive Analytics Software) 18.0. And to verify the effect of the parameters is performed rank regression analysis for verification of the effects of protection factors for adaptation. Rather than focusing on youth risk factors in social welfare practice field, focusing on processes and protective factors to reduce the risk factors, it is possible to convert the viewpoint overlooking the youth exposed to risk factors. Also, for young people experiencing difficulties that features loss of the family, it is determined that the prepared foundation which can be provided in the direction of social welfare practical intervention.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2024.01a
• /
• pp.331-334
• /
• 2024

하이퍼레저 패브릭(Hyperledger Fabric)은 참여자의 신원을 확인하고, 정보교환(트랜잭션)의 유효성을 검증하는 허가형 블록체인 모델이다. 기존의 대표적인 블록체인 모델인 비트코인, 이더리움과 대비하여 효율적인 데이터 검증 방안이 가능한대, 체인코드와 채널, 그리고 피어를 중심으로 구성되어 있기 때문이다. 먼저 본 블록체인 모델은 '체인코드'라는 스마트 계약(컨트랙트)를 실행하며 허가된 사용자만 네트워크에 참여할 수 있다. 또한, '채널' 기능이 있어 서로 다른 조직 간의 데이터 공유와 검증에 대한 새로운 접근방식을 보여줄 수 있으며, 특정 네트워크 내에서 데이터를 분리할 수 있다. 이를 통해 특정 데이터에 대한 접근권한을 제어하는 기능을 제공하며 동시에 데이터의 신뢰성과 보안성을 높일 수 있다. 마지막으로 '피어'는 체인코드를 통해 들어온 트랜잭션을 검증하고, 유효한 데이터만 원장에 추가하는 기법으로 무결성을 유지하는 데 중요한 역할 담당하고 있다. 본 연구결과를 기반으로 하이퍼레저 패브릭을 효과적으로 활용하여 데이터 검증 프로세스가 산업계에 널리 적용될 수 있기를 기대한다.

• Journal of vocational education research
• /
• v.29 no.3
• /
• pp.107-132
• /
• 2010

The purpose of this study was to investigate the effects of learning achievement by comparing project approach group and the control group on the unit of growing flowers and vegetables in practical arts education. For this purpose, the experimental study on the unit of growing flowers and vegetables was achieved with 63 students(5th grade 2 classes) in S elementary school. The project approach model (Chung, Sung-bong) was applied to the experimental group, and the traditional model to the control group. To verify the effects of each class, nonequivalent control group post test-only design was applied 10 times. The SPSSWIN(ver 12. 0. 1) was used for analyzing the frequency and t-tests. The results of this study were as follows ; First, there was significant effect of learning achievement(cognitive domain) in the project approach groups. In addition, learning achievement of the experimental group has been showed significant difference about intellectual function and ability but not about knowledge. Second, there was significant effect of learning achievement(psychomotor domain) in the project approach groups. In other words, there has been showed significant difference in basic skill and integrated skill for growing flowers and vegetables but not in elemental skill for planting. Third, as the post test, there existed significant effect(affective domain) in the project approach groups. In other words, there was a meaningful difference in acceptance, value, belief, actualization but not in interest. Based on these results, It is believed that the project approach model in the unit of 'growing flowers and vegetables' is more effective than the traditional learning method in learning achievement of learners' cognitive, psychomotor and affective domain.

• Journal of the Korean Society for Computer Game
• /
• v.31 no.4
• /
• pp.1-8
• /
• 2018

The present study investigated the validity of a serious game named 'Draw Ttoring' developed for accessment of children's attention and tried to provide the basic information about it. To this goal, we tested it to 284 elementary school students in measuring various behavior data(reaction time, total playing time, correct rate, discrepancy between type of TMT). Futhermore, the behavior data was compared with academic achievement to see the external validity. In results, 'Draw Ttoring' showed various behavior data and correlation with academic achievement. In Type A of TMT, total time and reaction time had a correlation with academic achievement, while, in Type B of TMT, total time and correct rate did. Mental flexibility calculated by the discrepancy between Type A and Type B showed also the positive correlation with academic achievement. These results showed that the serious game named 'Draw Ttoring' can provide more various information about children attention and these can't be observed by traditional paper pencil test. Finally, serious game can provide an good alternative method to access children's cognition.

• Journal of Internet Computing and Services
• /
• v.6 no.2
• /
• pp.37-47
• /
• 2005

Most of the methods of estimating the size of software are based on the functions provided to costumers and in the process of granting the score to each function we consider the complexity during the process. The FFP technique has advantages applied to vast areas like data management. real-time system, algorithmic software, etc, but on the other hand, has disadvantage on estimating sizes for weights for necessary function elements. This paper proposes the estimating method for software size by considering the complexity of each function elements in full function point calculation method applied to a new developed project and maintenance projects. For this, based on function point by using surveyed data proved the validity of proposed method. The valid result. was that the function elements, the attributes used in size estimation of software, est mated better estimated sizes than in the case of other weights being applied.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.81-84
• /
• 2001

본 논문은 중규모 단어급의 핵심어 검출 시스템에서 인식률 향상을 위해 미등록어 거절(Out-of-Vocabulary rejection) 기능을 제어하기 위한 연구이다. 이것은 핵심어 검출기에서 인식된 결과를 확인하는 과정으로 검증시스템이 구현되기 위해서는 매 음소마다 검증 기능이 필요하고, 이를 위해서 반음소(anti-phoneme model) 모델을 사용하였다. 검증의 역할은 인식기에서 인식된 단어가 등록어인지 미등록어인지 판별하는 것이다. 단어인식기는 비터비 탐색을 하므로, 기본적으로 단어단위로 인식을 하지만 그 인식된 단어는 내부적으로 음소단위로 인식된다. 따라서, 최소 검증 오류를 갖는 반음소 모델을 사용하고, 이를 이용하여 인식된 음소 단위들을 각각의 반음소 모델과 비교하여 통계적인 방법에 의해 신뢰도를 구한다 이 음소단위의 신뢰도를 단어 단위의 신뢰도로 환산하기 위해서 음소단위를 평균 내는 방식 을 취한다. 이렇게 함으로서, 등록어와 미등록어 사이의 분별력을 크게 하여 향상된 인식 성능을 얻었다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.12B
• /
• pp.1636-1646
• /
• 2011

In this paper, we implement IEEE 802.1Qay PBB-TE system and verify interoperability with the commercial PBB-TE product. In order to verify interoperability, we implement the standard protocol as well as the system integrating functions including system kernel control functions. Through interoperability tests with the commercial system, we verify the implemented protocol to perform PBB-TE TESI and ESP configurations, and protection switching as well as monitoring the results.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.447-450
• /
• 2004

인터넷의 보급으로 인해 수많은 데이터가 생성되고 있고 이러한 데이터를 효율적으로 관리하고자 메타데이타 표준이 수차례에 걸쳐 발표되었다. 그러나 기존 발표된 표준들은 데이터 관리를 위해 특정 도메인에 제한적이거나 너무 광범위하여 효율적이지 못하다는 문제를 가지고 있다. 또한 표준에 따라 생성된 메타데이타라 할지라도 유효성을 검증하지 못하기 때문에 정확한 메타데이타로 정의내릴 수 없는 실정이다. 따라서 본 논문에서는 RDF(Resource Description Framework)에 기초하여 메타데이타를 효율적으로 저작할 수 있는 저작 기능, 생성된 메타데이타에 대한 유효성 검증이 가능한 유효성 검증 기능, 메타데이타의 N-Triple 표현을 지원하고 생성할 수 있는 N-Triple Generator를 지원할 수 있는 RDF 기반 저작 틀을 개발하였다.