• Title/Summary/Keyword: Specification-based Test

Search Result 326, Processing Time 0.024 seconds

중국(中國) 수출(輸出) 남성(男性) 기성복(旣成服) 치수에 관(關)한 연구(硏究) -한국(韓國) 남성복(男性服) 치수를 중심(中心)으로 한 중국(中國) 남성복(男性服) 대응(對應)치수의 설정(設定) 및 제시(提示)-

  • Shim, Boo-Ja
    • Journal of Fashion Business
    • /
    • v.11 no.2
    • /
    • pp.155-171
    • /
    • 2007
  • This research aims to present the corresponding dimensions of China men's clothes on the basis of size specification of Korea men's suits. The results of this study, with the cooperation of Sejung Company exporting men's clothes to Ningbo City, Zhejiang Province in China, are as follows: 1. Based on the drop standard of KS K 0050, the body types of Chinese men in their 20s were classified. A body types were 55.77%, Y body types were 32.16%, B body types were 11.55% and BB body types were 1.51%. 2. According to the criteria of ready-made dimensions of normal body type suggested in Korea Standards, and in consideration of the basic distribution reality of body dimensions, representative 5 sizes were selected. 3. Research jackets by different sizes were produced and went through wearing tests. The means of 1st wearing test were 3.86, 4.09, 4.09, 3.57, and 3.69. The mean of 2nd wearing test of 88-73-170 size was 4.32. 4. The corresponding size specification of China men's clothes based on those of Korea men's suits were presented here, showing product sizes and physical items in detail.

Implementation of the T:1 protocol based on lava Card for USIM (자바 카드를 기반으로 한 UISM 용 T=1 프로토콜의 구현)

  • 주홍일;한종욱
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2004.05b
    • /
    • pp.800-803
    • /
    • 2004
  • This paper describes the design and implementation of the T=1 protocol based on lava Card. The T=1 protocol implemented in this paper complies with ISO/IEC 7816 standard. Also, JCOS(Java Card Operating Systems) including the contactless card protocol conforms to Java Card 2.2.1 specification and is running on 32-bit ARM7/TDMI processor. The protocol stack proposed and implemented in this paper is easy to maintenance of protocol independently. To verify the T=1 protocol implemented in this paper we tested the T=1 protocol scenarios defined in ISO/IEC 7816-3 Annex A. And we tested using USIM(Universal Subscriber Identity Module) cards, which include the implemented T=1 protocol. The T=1 protocol was tested and passed all against the specification 3GPP TS 31.122, which was the Conformance Test Specification for USIM cards including the test suites of both transmission protocols.

  • PDF

Development of an Examination System for a e-Learning Quality Manager's Certificate (이러닝 품질관리사의 자격 검정 체제 개발)

  • Ryu, Jin-Sun;Moon, Dae-Young;Lee, Kyung-Soon;Kim, Hee-Pil
    • Journal of Engineering Education Research
    • /
    • v.16 no.1
    • /
    • pp.35-44
    • /
    • 2013
  • The purpose of this study is to develop an examination system for an e-learning quality manager's certificate which is composed of subjects, criteria, method of examination. The task model of e-learning quality manager was modify and task/knowledge/skill matrix was developed to design the examination system through conferences of DACUM committee and an advisory committee. And a survey was carry out to analyze validity of contents of the examination system. The major findings were as the follow: First, occupational specification, job specification, task specification and task/knowledge/skill matrix were developed. Second, examination subjects were developed based on task/knowledge/skill matrix, which were "Basis of e-Learning and plan of service", "Expulsion and management of e-learning infrastructure", "Development of e-learning contents", "Operation and evaluation of e-learning service". Third, the criteria and methods of examination for an e-learning quality manager's certificate were developed, which is composed of test type, the sum of test items, test time and acceptable standards.

An Alloy Specification Based Automated Test Data Generation Technique (Alloy 명세 기반 자동 테스트 데이터 생성 기법)

  • Chung, In-Sang
    • The KIPS Transactions:PartD
    • /
    • v.14D no.2
    • /
    • pp.191-202
    • /
    • 2007
  • In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

Development of the Distributed Real-time Simulation System Based on HLA and DEVS (DEVS형식론을 적응한 HLA기반의 분산 실시간 시뮬레이션 시스템 개발)

  • Kim, Ho-Jeong;Lee, Jae-Hyun;Cho, Kil-Seok
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.9 no.3
    • /
    • pp.25-32
    • /
    • 2006
  • Weapon systems composed of several subsystems execute various engagement missions in distributed combat environments in cooperation with a large number of subordinate/adjacent weapon systems as well as higher echelons through tactical data links. Such distributed weapon systems require distributed real-time simulation test beds to integrate and test their operational software, analyze their performance and effects of cooperated engagement, and validate their requirement specifications. These demands present significant challenges in terms of real-time constraints, time synchronization, complexity and development cost of an engagement simulation test bed, thus necessitate the use of high-performance distributed real-time simulation architectures, and modeling and simulation techniques. In this paper, in order to meet these demands, we presented a distributed real-time simulation system based on High Level Architecture(HLA) and Discrete Event System Specification(DEVS). We validated its performance by using it as a test bed for developing the Engagement Control System(ECS) of a surface-to-air missile system. The proposed technique can be employed to design a prototype or model of engagement-level distributed real-time simulation systems.

A Study on the System-level Test and Evaluation for the CBTC System (CBTC 시스템에 대한 시스템 수준의 시험평가 방안 연구)

  • Lee, Young-Hoon;Lee, Jae-Chon
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.22 no.12
    • /
    • pp.115-121
    • /
    • 2008
  • The communication-based train control (CBTC) technology is a kind of railway signaling technologies and is to control the train operation through communication. A project adopting the CBTC technology is in progress and its object is to develop interoperable and interchangeable subsystems. Thus the purpose of this paper is on how to develop the required subsystems and integrate them successfully without sufficient design information at the system level. Accordingly this project shall require the integration and test at the system level. In order to do so, a top-level system specification shall be needed, which is not available in the current phase of the project. The main objective of the test and evaluation activities is to see whether the developed system meets the system specification. In this paper, we describe how the test and evaluation can be carried out based on the subsystems design specifications, considering the system architecture and the operation concept of the existing system as well.

Test Method for Guided Missile Cable ESS(Environmental Stress Screening) Based on MIL-HDBK-344A (MIL-HDBK-344A 기반의 유도탄 내부 케이블 ESS 시험 방안)

  • Lee, Dae-Hyun;Lee, Jung-Min;Oh, TaeckKeun;Lee, Hong-Beom;Jung, JunYoung
    • Journal of Advanced Navigation Technology
    • /
    • v.25 no.5
    • /
    • pp.313-319
    • /
    • 2021
  • In this paper, the ESS test based on the MIL-HDBK-344A is introduced, and the purpose of the ESS test of the guided missile internal cable, and the specification and test method are confirmed. The ESS test configuration consists of environmental stimulation of temperature circulation and random vibration. Based on the procedure in the handbook, the ESS test specification setting and test configuration of the guided missile internal cable are presented, and the jig for the ESS test of the guided missile internal cable for the vibration test was produced. The probability of detecting a defect determined through the screening strength(SS) was set to match the reliability of a one-time guided missile, and also introduced the inspection method and considerations for the cable inside the guided missile during the ESS test.

A Study on the Verification Scheme of SMS Encoding and Decoding Module (SMS 부호화 복호화 모듈 검증 방법에 대한 연구)

  • Choi, Kwang-Hoon
    • Journal of the Korea Society of Computer and Information
    • /
    • v.15 no.6
    • /
    • pp.1-9
    • /
    • 2010
  • This paper proposes a test method for compliance of SMS encoder and decoder modules with 3GPP (3rd Generation Partnership Project) specification on SMS PDU (Protocol Data Unit). The existing tools have focused on providing an SMS gateway and on helping to view and edit a single SMS PDU, which rarely help to resolve the compliance test problem. The proposed compliance test method is based on an automatic generation of SMS PDUs fully compliant with the 3GPP specification by using QuickCheck library written in Haskell. By applying the proposed method to a C-based SMS encoder and decoder in Linux Mobile platform, we have found out several critical bugs such as wrong interpretation of time stamps in BCD format. The automatic SMS PDU generator is reusable in that it only depends on the 3GPP SMS specification. The QuickCheck library is also applicable for testing other network protocol data encoders and decoders, as used in this paper.

Test Case Generation Strategy for Timing Diagram (Timing diagram의 테스트 케이스 생성 전략)

  • Lee, Hong-Seok;Chung, Ki-Hyun;Choi, Kyung-Hee
    • The KIPS Transactions:PartD
    • /
    • v.17D no.4
    • /
    • pp.283-296
    • /
    • 2010
  • Timing diagram is a useful tool for describing the specification of system, but there is no study for test case strategy of a timing diagram. To solve this problem, we followed the steps to generate test cases from timing diagram in this paper. 1) We defined a timing diagram formally. 2) We describe the method of transforming from a timing diagram model into a Stateflow model which has an equivalent relationship between a timing diagram model and a transformed Stateflow model. 3) We generated test cases from a transformed Stateflow model using SDV which is plugged in Simulink. To show that our approach is useful, we made an experiment with a surveillance model and arbitrary timing diagram models. In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results. The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model.

Validation Test of DEVS Models using SPN (SPN을 이용한 DEVS 모델의 타당성 검사)

  • 정영식
    • Journal of the Korea Society for Simulation
    • /
    • v.1 no.1
    • /
    • pp.77-86
    • /
    • 1992
  • In this paper, we study validation test methods of DEVSA(Descrete Event system Specification) models using SPN(Stochastic Petri Net) models. We discuss conventional validation test methods, by which DEVS models can be transformed to SPN models, by reviewing the features of DEVS model. Based on the model transformation method, we define a new homogeneous function for validation test and suggest a new validation test method of DEVS models using the property of SPN models and the new homogeneous function.

  • PDF