• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.7 s.349
• /
• pp.38-49
• /
• 2006

In this paper, a novel concept based on embedded processor and reconfigurable logic is proposed for efficient manufacturing test and design verification. Unlike traditional gap between design verification and manufacturing test, proposed concept is to combine both design verification and manufacturing test. The semiconductor chip which is using the proposed concept is named "SwToC" and SwToC stands for System with Test On a Chip. SwToC has two main features. First, it has functional verification function on a chip and this function could be made by using embedded processor, reconfigurable logic and memory. Second, it has internal ATE on a chip and this feature also could be made by the same architecture. To evaluate the proposed SwToC, we have implemented SwToC using commercial FPGA device with embedded processor. Experimental results showed that the proposed chip is possible for real application and could have faster verification time than traditional simulation method. Moreover, test could be done using low cost ATE.

• Journal of Satellite, Information and Communications
• /
• v.7 no.1
• /
• pp.86-91
• /
• 2012

This paper described validation results of COMS Ka band antennas beam coverages which were developed by ETRI. After satellite launch, In Orbit Test(IOT) activities are stat to check spacecraft and payloads are still in healthy condition after launch. During IOT phase, ETRI measured radiation patterns of COMS Ka band antennas and compare with ground test(CATR) results. The antenna patterns similarity between IOT results and CATR results show that COMS Ka band antenna withstand launch vibration and in the good healthy condition. After IOT, ETRI performed field test for beam coverage measurements with vehicle to check if Ka band beam coverage are formed well as designed. For the beam coverage measurement, 17 points were selected over the Korean peninsula. The field measurement data were very similar with CATR data and this confirms that beam coverage are formed well over the Korean peninsula as expected.

• Proceedings of the KSR Conference
• /
• 1999.11a
• /
• pp.574-581
• /
• 1999

비선형 임계속도를 주행시험대를 이용하여 측정하였으며 비선형 임계속도가 관성에 의한 과도 현상이 아님을 확인하기 위하여 주행속도를 연속 그리고 불연속적으로 감가속 하면서 선형 및 비선형 임계속도를 측정하였다. 또한 차량의 안정성을 간편하게 예측할 때 대차모델만을 사용하던 종래의 방법이 타당한지 확인하였으며 차량의 임계속도와 응답주파수를 예측하기 위하여 산업체에서 사용되던 간편 식들의 정확성을 검토한 결과 다음의 결과를 도출할 수 있었다. (중략)

• Smart Media Journal
• /
• v.13 no.8
• /
• pp.9-15
• /
• 2024

Software testing is essential in the software development process. Modified Condition / Decision Coverage (MC/DC) is a test case derivation technique that enhances the stability and reliability of software by effectively verifying complex conditions and decision structures. We propose the MCC Test Cases (MTC) generator in this study. This generator generates Multiple Condition Coverage (MCC) test cases using binary numbers to confirm the maximum coverage value of MC/DC testing. The proposed MTC generator utilizes some conditions from the Traffic Alert and Collision Avoidance System (TCAS)-II specification. It converts them into a Comma-Separated Values (CSV) file and then validates the coverage results through the VectorCAST program. So, MC/DC testing was performed using the MCC test case to confirm the maximum coverage value when performing MC/DC tests for each condition of the TCAS-II specification. This research is helpful for the verification of MC/DC test cases by confirming the maximum coverage value when performing MC/DC tests. Moreover, having more test cases increases the likelihood of discovering defects. Therefore, it can improve the efficiency of software test coverage verification, as well as the quality and stability of software.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.13 no.5
• /
• pp.7-14
• /
• 2009

A methodology of design performance estimation for the supersonic impulse turbine was investigated. Relations of similarity condition and test nozzle area ratio were derived. Comparison of efficiencies between the turbines with real nozzle and test nozzle are made numerically and experimentally. The CFD results and test result confirmed that the turbine with test nozzle was able to predict real turbine performance. In addition, design performance of the supersonic impulse turbine also could be estimated using real nozzle in air-medium test. In this case, design efficiency was found at the pressure-ratio and velocity-ratio of similarity condition of test nozzle.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.2
• /
• pp.214-227
• /
• 2003

Developing an application, it is difficult to catch an exact requirement with the conventional text-based method. It has also problems in verification and analysis at each developing stage. Therefore, if an adjustment is required with an error and change of requirement, a bad effect happen in the whole system. In this case, it also affect adversely on the developing cost and period. Meanwhile, if an analysis or verification is performed, the possibility of an error frequency reduces. Thus, not only is it easier to correct the error but also add an new requirement. This thesis embody a TCP/IP congestion control algorithm with SDL which provides automatically graphic interface, verification and analysis to each developing stage. Using SDL gave a clear representation embodiment in each developing stage and easiness of adjustment due to changing requirements or correcting errors. In addition, the stages of protocol have been certified in a simulation by verification of MSC and the results showed a possibility of developing a better TCP/IP protocol.

• Proceedings of the Korea Contents Association Conference
• /
• 2015.05a
• /
• pp.285-286
• /
• 2015

본 연구의 목적은 대학생의 자아존중감이 어떠한 경로를 통하여 전문적 도움요청에 영향을 미치는지 확인하고자 하는 것으로서, 자아존중감, 자기은폐, 우울, 도움요청태도 사이에 어떠한 관계가 있는지를 실증적으로 검증하고자 하였다. 이를 위하여 본 연구에서는 대구 및 경북 지역 대학생 307명을 대상으로 수집된 자료에 대하여 구조방정식모형을 이용하여 그 적합도와 주요 변수들 간의 경로의 유의성을 검증하였다. 분석 결과, 본 연구에서 설정된 연구모형의 적합도는 양호한 것으로 나타났으며, 자아존중감은 자기은폐와 우울에 각각 부적으로 유의한 영향을 미치며, 자기은폐는 우울에는 정적으로, 그리고 전문적 도움요청태도에는 부적으로 유의한 영향을 미치는 것으로 확인되었다. 이러한 연구 결과에 근거하여 대학생의 전문적 도움요청에 대한 태도를 긍정적으로 변화시킬 수 있는 대안과 관련된 함의가 제시되었다.

• Proceedings of the Korea Contents Association Conference
• /
• 2015.05a
• /
• pp.287-288
• /
• 2015

본 연구에서는 급증하는 청소년기 휴대폰 의존 문제의 심각성에 주목하여 우리나라 청소년들의 휴대폰 의존이 시간의 흐름에 따라 어떠한 변화 양상을 보이는지 실증적인 검증을 실시하고자 하였다. 이를 위하여 한국아동 청소년패널조사(KCYPS) 중학교 1학년 1~4차년도 자료에 대하여 이차잠재성장모형(second-order latent growth modeling)을 이용하여 휴대폰 의존의 발달궤적을 확인하였다. 휴대폰 의존의 발달궤적에 대한 최적의 모형을 찾기 위해 다수의 모형을 구성하여 비교 검증하였으며, 그 결과, 이차함수모형에 대하여 오차 간 공분산을 설정하고, 시간의 흐름에 따른 측정동일성 제약을 가한 후, 오차 간 공분산에 대한 동일화 제약을 가한 모형이 가장 좋은 적합도를 보이는 것으로 확인되었다. 이렇게 도출된 모형에 의하면, 중학교 1학년부터 고등학교 1학년까지 휴대폰 의존 정도는 증가하다가 그 증가율이 둔화되는 이차함수모형의 변화를 보이는 것으로 나타났다. 이러한 결과에 근거하여 청소년기 휴대폰 의존에 대한 예방 및 개입과 관련된 함의를 제시하였다.

• Annual Conference of KIPS
• /
• 2011.04a
• /
• pp.1433-1436
• /
• 2011

본 연구에서는 증권사 정보시스템의 아웃소싱 성과에 영향을 미치는 기업특성적 변인에 대해 파악하고자, 아웃소싱 수혜기업인 증권사의 조직 및 부문적 특성이 아웃소싱 정도의 매개효과를 통해 아웃소싱 성과(업무효용성, 업무능률성, 업무생산성, 예산감소율)에 어떠한 영향을 미치는지 실증적으로 검증하였다. 증권사의 조직적 특성(경쟁전략, 재무능력)이 아웃소싱 정도를 매개로 성과에 미치는 영향을 검증한 가설 1과 증권사의 부문적 특성(업무특수성, IT 자원, IT 역량)이 아웃소싱 정도를 매개로 성과에 미치는 영향을 검증한 가설 2를 실증분석한 결과, 경쟁전략, 재무능력, 업무특수성, IT 자원, IT 역량의 요인들이 아웃소싱 정도를 통해 업무효용성과 예산감소율에 영향을 주는 것을 확인할 수 있었다. 특히 재무능력, IT 역량 등이 업무효용성, 예산감소율과 같은 정보시스템 아웃소싱의 성과에 상대적으로 많은 영향력을 미치는 것으로 나타났으며, 정보시스템 아웃소싱 정도의 매개효과를 확인할 수 있었다.