Earticle

Laufer, Elder, Hill, and Congdon (2004) proposed the vocabulary strength framework reflecting the process of vocabulary knowledge development with a hierarchical order of four strength modalities: passive recognition, active recognition, passive recall, and active recall. Employing this framework, the present study aims to empirically examine its generalizability to EFL contexts and further explore its availability to validating the TEPS vocabulary section. Three sets of web-based tests for three proficiency groups (beginner (n=37), intermediate (n=31), and advanced (n=30)) are developed with words from three frequency bands (3000, 5000, and 7000). The test includes four sections representing four strength modes and an optional TEPS section for the two upper groups. A one-parameter Rasch model analysis reveals that item difficulties agree to the hierarchical sequence of difficulty order in the framework. Different vocabulary growth rates were found across modes and word bands. The TEPS item difficulties that are closer to recall than recognition may give a theoretical account of the measuring construct that the TEPS items tap upon.

Successful development of weapon systems requires a stringent verification and validation (V&V) process due to the nature of the weapons in which continual increase of operational capability makes the system requirements more complicated to meet. Thus, test and evaluation (T&E) of weapon systems is becoming more difficult. In such a situation, live fire tests appear to be effective and useful methods in not only carrying out V&V of the weapon systems under development, but also increasing the maturity of the end users operability of the system. However, during the process for live fire tests, a variety of accidents or mishaps can happen due to explosion, pyro, separation, and so on. As such, appropriate means to mitigate mishap possibilities should be provided and applied during the live fire tests. To study a way of how to accomplish it is the objective of this paper. To do so, top-level sources of hazard are first identified. A framework for T&E is also described. Then, to enhance the test range safety, it is discussed how test scenarios can be generated. The proposed method is based on the use of the anticipatory failure determination (AFD) and multiple event tree analysis (ETA) in analyzing range safety. It is intended to identify unexpected hazard components even in the environment with constraints. It is therefore expected to reduce accident possibilities as an alternative to the traditional root-cause analysis.

본 연구의 목적은 조건부 운전면허 발급에 필요한 평가 시나리오 개발 프레임워크를 제안 하는 것이다. 이를 위해 프레임워크는 5단계로 구성하였다. 1단계에서는 고령 운전자에 의한 충돌사고의 주요 요인을 사고빈도와 심각도 측면에서 교통사고 특성에 대한 문헌을 검토하였 다. 2단계는 도로교통공단 교통사고분석시스템 사고 자료를 활용하여 비고령, 초기 고령, 후기 고령 집단별 교통사고 특성에 대한 분석을 수행하였다. 이를 통해 고령 운전자 등 고위험군 교통사고 유형을 도출하였다. 3단계는 고위험군 교통사고 유형에 해당하는 블랙박스 영상을 분석하여 사고가 발생한 상황에 대해 기술한 교통사고 스토리를 도출하였다. 4단계는 다양한 시나리오 개발을 위해 도출된 사고 스토리의 유형을 분류하여 여러 가지 사고 상황을 구분하 였다. 5단계는 최근 다양한 자율주행차량 평가 시나리오 개발에 활용되고 있는 PEGASUS 5-Layer 형식을 적용하여 시나리오를 제시하였다. 본 연구의 결과는 향후 조건부 운전면허 발 급을 위한 운전능력 평가시나리오 개발의 기반으로 활용될 것으로 기대된다.

The purpose of this study was to propose a framework for developing test scenarios for issuance of conditional driver’s licenses. The framework was composed of five stages. Initially, we reviewed the literature on traffic crash characteristics in terms of accident frequency and severity regarding the main factors of crashes caused by older drivers. In the second stage, the characteristics of crashes attributed to non-elderly, early elderly, and late elderly drivers were analyzed using data obtained from the Traffic Accident Analysis System (TAAS), and crash types for elderly drivers were derived. In the third stage, black box videos of high-risk crash types were analyzed to derive crash stories that described the circumstances in which crashes occurred. In the fourth step, crash situations were classified by rating the types of crash stories derived to develop various scenarios. Step 5 involved creating a scenario by applying the PEGASUS 5-Layer format, which has recently been used to develop test scenarios for autonomous vehicles. The results of this study are expected to be used as a basis for developing driving ability evaluation scenarios for the issuance of conditional driver's licenses.

국가첨단전략기술은 반도체, 이차전지, 방위산업, 첨단소재 등 국가 경쟁력과 직결되는 자산 으로, 기술 유출 위협이 심화됨에 따라 보안성 검증의 중요성이 높아지고 있다. 그러나 기존 대 응은 제도적 규제 중심에 머물러 실제 보안시스템 소프트웨어의 사전 검증 체계는 미흡하다. 본 연구는 이러한 한계를 극복하기 위해 보안시스템 소프트웨어 테스트 시나리오의 평가체계를 구 축하고, 델파이(Delphi)와 계층적분석기법(AHP)을 활용해 항목의 타당성과 상대적 중요도를 검 증하였다. 연구 결과, 상위 영역에서는 ‘시나리오 구조 타당성’과 ‘위협 기반 대응성’이 높은 중요 도를 보였으며, 세부 항목에서는 ‘시나리오 단계구성의 논리성’과 ‘위협 시나리오 구성의 현실성’ 이 핵심 요인으로 도출되었다. 이는 구조적 완성도와 위협 대응 현실성이 보안성 평가의 핵심 기 준임을 시사한다. 본 연구는 정량화된 평가체계를 제시함으로써 학술적 토대를 확장하고, 실무 적 활용 가능성과 정책적 기여 가능성을 동시에 확보한 점에서 실무적 의의가 있다.

National core strategic technologies, such as semiconductors, secondary batteries, defense systems, and advanced materials, face increasing risks of technology leakage, highlighting the need for reliable security verification. However, current measures remain regulationcentered and lack systematic pre-verification of protective software. This study proposes an evaluation framework for security system software test scenarios and validates its indicators using the Delphi method and Analytic Hierarchy Process (AHP). The results show that “Scenario Structural Validity” and “Threat-Response Effectiveness” are the most critical domains, while “Logical Structure of Scenario Phases” and “Realism of Threat Scenarios” emerged as key factors. These findings suggest that structural completeness and realistic threat modeling are essential criteria in security evaluations. By presenting a quantitative, weight-based framework, this study provides both academic contributions and practical implications for technology protection policy and practice.

본 논문의 목적은 대함유도무기 비행시험의 업무 효율 증대를 위한 프레임워크 구조 정 의와 프레임워크 개발 결과를 제시하는 것이다. 우선 프레임워크 구조 정의를 위하여 프레 임워크 구성요소 식별, 영역 분류, 단계 구분 및 프레임워크 템플릿 개발을 수행하였다. 프 레임워크의 구성요소는 표준 프로세스, 표준 산출물, 이슈사항 체크리스트로 구성되어 있 다. 프레임워크의 영역 분류는 체계수행, 시험안전, 시험지원으로 나누어져 있다. 프레임워 크의 단계 구분은 비행시험 계획, 준비, 수행, 후속으로 이루어져 있다. 프레임워크 개발을 위한 프레임워크 템플릿과 ID 식별코드 체계를 함께 제시하였다. 프레임워크 구조 정의를 한 후 대함유도무기 비행시험을 위한 총 15개 프레임워크가 개발되었다. 개발된 프레임워 크에 대한 평가 설문을 실시하여 프레임워크의 실용성을 입증하였다. 대함유도무기 비행시 험에 적용코자 개발된 프레임워크는 표준화된 업무 정립을 통해 대함유도무기 체계개발 성 과 창출에 기여할 것으로 판단된다.

The purpose of this paper is to develop the framework for increasing efficiency of the business processes for anti-ship missile flight test. First of all, for establishing the framework structure definition, it is performed framework components identification, region classification, step classification and framework template. The Frame components include standard processes, standard outputs and issue checklists. Framework regions are divided into system work region, test safe region and test support region. Framework steps consist of flight test plan, flight test readiness, flight test execution and flight test follow-up step. Framework template and ID classification schemes are proposed. Since the framework structure definition, the total of 15 frameworks for anti-ship missile flight test are developed. The evaluation of the developed framework is conducted to demonstrate the practicality of the framework. It is believed that the proposed framework will contribute to anti-ship missile development through the standardized processes.

This study is focused on the problem of interpretation of the Temptation Test Dialogues between Jesus and Devil (Matthew 4:1-11), which are expressed as an indirect speech act. These dialogues have a structure which can be interpreted differently by readers, because the points of the test questions and answers are out of line. Dostoevsky evaluated these dialogues as having influenced the discussion of Russian religious philosophy through the issue of bread and freedom in the <The Brothers Karamazov>. In his work he gave many criticisms to Jesus, but there were not any questions about the ambiguous attitude of Jesus’ answers in the dialogues. And some researchers of dialogue text have studied this conversation in terms of dialogue strategy, but did not pay any attention to Jesus' response attitude. They did not point out the problem of violation of Grice's the cooperative principle, even though these dialogues have unnatural forms of responses. The inference method for these dialogues is based on Searle's(1981) inference algorithm of the Inference theory, Relevance theory, Cooperative principle and the Speech act theory, through which the dialogues were expressed as indirect speech act with conversation implicature.

Web service composition is a mature and effective way to realize the rapidly changing requirements of business in service-oriented solutions. Testing the compositions of web services is complex, due to their distributed nature and asynchronous behaviour. Control flow testing focuses on the transfer of control, while data flow testing focuses on the definitions of data and their subsequent use. The execution of a service is driven by the received and manipulated data; hence validation of data flow is very critical in composition. Colored Petri Nets (CPNs) is one model that combines data and control flow with behavioural aspects of a given business requirement. In this paper, a test framework based on a data-driven CPN model for functional testing of web service composition is proposed. The test framework also includes test design coverage measurement using three newly formulated metrics: Decision Coverage, Input Output Coverage and Implementation Coverage. The framework was applied to airline reservation system and the generated test sequences were evaluated against the coverage criteria.

This paper introduced formal method as a new method to evaluate the reliability of software that has been developed. By using a mathematical notation called formal specification, this evaluation method describes the characteristics and functions of system that includes software or hardware and proves what can be proved using a proving technique. It can give a clearer answer than other techniques because it guarantees completeness, correctness, and consistency, which are the general characteristics of math, and evaluates reliability by mathematical technique. Since it is difficult to express a mathematical notation in a UI, a framework was developed by using it to show the measured results on a screen like other general software. This framework was named FMTF (Formal Method Test Framework) and was made to test the program of general web development. For the performance experiment of FMTF system, the parallel test, loop test, conditional branch perform test, time control test, etc. of web program were experimented. According to the measurement result, the reliability was low in the beginning of project due to many factors such as analysis design but gradually improved by error correction and debugging. By suggesting a guide on how to correct what errors, the paper could also provide a method to improve reliability.

Researchers do not effectively manage and verify artifacts produced during software R&D projects. And testing software development artifacts cannot test the whole software R&D project. It is necessary to perform continuous and detailed verification of artifacts produced in each phase during software R&D project. Thus, a framework is required to test software and verify documents generated during software R&D project. In this paper, we present requirements of test framework to verify software R&D projects. The requirements are represented with scenarios and use cases for the framework. We show effectiveness of our approach by presenting a part of prototype in case study.

Database applications play an important role in nearly every organization, yet little has been done on testing of database applications. They are becoming increasingly complex and are subject to constant change. They are often designed to be executed concurrently by many clients. Testing of database application hence is of utmost importance to avoid any future errors encountered in the application, since a single fault in database application can result in unrecoverable data loss. Many tools and frameworks for performing testing of database applications has been proposed to populate the test database and generate test cases which checks the correctness of application. They check database applications for consistency constraints and transactions concurrency. In this paper we present a DBGEN- database (test) GENerator, an automated framework for database application testing. In this framework Test Strategies for testing of embedded SQL queries within imperative language are presented. Finally we present strategies for performing efficient regression tests by reducing the resets that may occur while testing database applications. We have also computed the coverage of various test cases to predict the quality of testing. By this, we reduce the testing time and cost by approximately by 30% , thereby easing the tester to manage his testing activities easily.

A challenging part of software testing entails the generation of test cases. A good test case should have the quality to cover more features of test objective. The techniques for automatic generation of test cases try to efficiently find a small set of cases that allow an adequacy criterion to be fulfilled, thus reducing the cost of software testing and resulting in more efficient testing of software products. In this paper we introduce an all-around classification framework for automatic test case generation approaches in terms of test type and Algorithm, and represent some test case evaluation approaches. Finally we illustrate a comparison between different existing techniques.

본 연구는 최근 다양화, 대규화 되어가는 IoT시스템을 위한 시험기 개선에 관한 것으로 IoT성능시험기의 패킷 처리 성능개선, 트래픽 프로토콜 생성과 동작에 유연성을 확보하는 방안에 대한 것이다. 본 연구의 목표는 고도화되어 가는 대용량 IoT 네트워크 시스템에서 데이터 트래픽 전송의 안정성을 사전에 검증하고 성능을 측정하는 개방형 소프트 웨어인 DPDK기반 고속 IoT 네트워크 성능시험 시스템을 설계하는 것이다. DPDK 기반 트래픽 발생기를 이용하여 고 속 IoT 성능시험기의 기본 구성을 설계하였으며 실험을 통해 해당 시스템 적용시 트래픽 모델링하고 패킷생성능력의 기대효과를 제시하였다.

This study is to provide improvement of tester for IoT system , which has recently become diversified and large-scale and It is about a method to improve the packet processing performance of the tester and securing flexibility in traffic protocol creation and operation. The purpose of this study is to design a OSS DPDK-based high-speed IoT network performance test system, which pre-verifies and measures the performance of data traffic transmission in an increasingly sophisticated high-capacity IoT network system. The basic structure of the high-speed IoT performance tester was designed using a DPDK-based traffic generator, the expected effect was suggested to traffic modeling and packet generation capability when the system was applied through experiments

In this paper, we propose an efficient dynamic workload balancing strategy which improves the performance of high-performance computing system. The key idea of this dynamic workload balancing strategy is to minimize execution time of each job and to maximize the system throughput by effectively using system resource such as CPU, memory. Also, this strategy dynamically allocates job by considering demanded memory size of executing job and workload status of each node. If an overload node occurs due to allocated job, the proposed scheme migrates job, executing in overload nodes, to another free nodes and reduces the waiting time and execution time of job by balancing workload of each node. Through simulation, we show that the proposed dynamic workload balancing strategy based on CPU, memory improves the performance of high-performance computing system compared to previous strategies.

In order to provide the reliable service and contents to telematics service user, any service server must be tested and verified before launching its service in sufficient. In this paper, we proposed a test framework for telematics server. The proposed framework includes conformance test of server, interoperability test between telematics service server and telematics terminal. The framework proposed the concept and test model for two categories of testing.

객체지향 프레임워크는 다수의 응용 소프트웨어 개발에 반복적으로 재사용되므로 철저한 시험이 요구될 뿐만 아니라 재사용시 확장된 프레임워크에 대해서도 추가적인 시험이 필요하다. 본 논문에서는 재사용시 다양한 형태의 객체 구조들로 개조, 확장될 수 있는 프레임워크의 가변부위에 대해 구조적 테스트 패턴들을 프레임워크의 합성 패턴들로부터 조직적으로 추출하는 방법을 기술한다. 여기서 제안된 방법은 가변부위 클래스 구조의 테스트 모델을 정형 명세화하고, 이로부터 시험에 필요한 구조적 테스트 패턴을 추출하는 방법을 제공한다.

본 연구에서는 스미스 머신을 이용한 스쿼트 운동에 대한 가상 테스트 프레임웍을 제안하고 구현하였다. 이를 위하여 인체 및 제품의 통합 모델을 개발하고, 실험 데이터를 바탕으로 자세의 변화에 따른 새로운 동작을 생성하는 알고리즘을 개발한 후, 가상의 조건에서 동작을 생성하여 인체의 관절에 걸리는 토크와 근육에 걸리는 힘을 시뮬레이션 하는 전체 시스템을 개발하였다. 이 시스템을 검증하기 위하여 동작 수집과 더불어 EMG와 지면반력에 대한 데이터를 수집하여 시뮬레이션 결과가 실제와 잘 맞는지 확인하였다. 이 시스템을 확장시켜 사용한다면 다양한 조건에서 운동하였을 때 신체 근육과 관절에 어떤 영향을 끼치는 지 시뮬레이션 해봄으로써 적절한 운동 프로그램을 효과적으로 개발할 수 있을 것으로 기대된다.

The barbell squat is a fundamental physical exercise for strengthening the lower body and core muscles. It is an integral part of training and conditioning programs in sports, rehabilitation, and fitness. In this paper, we proposed a virtual test framework for squat exercises using a Smith machine to simulate joint torques and muscle forces, based on an integrated product-human model and motion synthesis algorithms. We built a muscular skeletal human model with boundary conditions modeling the interactions between the human body and a machine or the ground. To validate the model, EMG, external forces, and squat motions were captured through physical experiments by varying the foot position. A regression-based motion synthesis algorithm was developed based on the captured squat motions to generate a new motion for a given foot position. The proposed approach is expected to reduce the need for physical experiments in the development of training programs.

인터넷은 상거래의 중요한 매체로서 빠르게 변화해 가고 있다. 많은 인터넷서비스공급자들이 현재 상용 서비스를 하고 있으며 이들의 중요한 비즈니스 모델중의 하나가 인터넷 광고이다. 인터넷광고를 서비스하는 기술에서 가장 중요한 부분은 인터넷서비스수요자중 정의된 타깃을 가려낼수 있는 타깃팅기술이다. 본 논문에서는 인터넷 광고 서버의 타깃팅 엔진을 테스트할 수 있는 테스트 프레임워크를 설계하고 구현한다. 제안된 테스트프레임워크는 엔진의 기능 및 성능 테스트를 할 수 있다. 제안된 테스트 프레임워크는 다양한 인터넷 광고 서버시스템의 컴포넌트들에 대해 일관된 테스트 사용법과 형식화된 출력을 보여주며 플랫폼에 독립적이도록 자바언어로 개발되었다. 또한 기존에 개발된 테스트에 새롭게 개발된 테스트를 쉽게 통합할 수 있다. 다양한 형태의 테스트가 가능하도록 아주 일반적인 클래스 구조를 갖게 설계되었다.

소프트웨어 시험은 소프트웨어 제품의 고 품질을 보장하기 위한 중요한 요소들 중의 하나이고, 특히 신뢰도가 원자력 발전소외 안전에 직결되는 디지털 기반의 원전 계측제어계통 소프트웨어는 고품질과 고신뢰도를 제공하여야 한다. 그러므로 원자력발전소에 사용되는 소프트웨어는 안전성과 신뢰성을 제공하기 위해 체계적인 시험을 통하여 설계의 정당성을 확인하고, 요건명세서나 설계사양서에 나타난 계통 및 구성요소의 기능과 요건들이 만족하게 실행됨을 확인하여야 한다. 규제기관에서도 소프트웨어의 안정성, 기능의 완전한 수행, 소프트웨어 자체가 계통의 기능을 저하 시키는지와 계통에게 예정되지 않은 기능을 수행하도록 영향을 주는지외 확인 등을 소프트웨어 시험을 통해 확인하도록 요구하고 있다. 이와 같이 원자력발전소에 사용되는 소프트웨어의 시험을 위해서는 보다 엄격하고 명확한 시험 프레임웍을 개발하고 적용키는 것이 필요하다. 본 논문에서는 소프트웨어 시험과 관련된 인허가 규제요건을 분석하고, 이에 따라 현재 설계를 진행중인 SMART MMIS 소프트웨어 시험에 적용될 소프트웨어 개발생명주기 시험활동, 시험 조직, 시험문서, 소프트웨어 등급별 시험방법 등 시험 프레임웍을 제시한다.