• Title/Summary/Keyword: Specification-based Test

Search Result 326, Processing Time 0.029 seconds

A Testing Method for Web-Based Banking Applications Using Formal Specification (정형 명세를 이용한 웹 기반 은행 어플리케이션의 테스트 기법)

  • Ahn, Young-Hee;Choi, Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.11D no.4
    • /
    • pp.855-864
    • /
    • 2004
  • Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

Specification-based Analog Circuits Test using High Performance Current Sensors (고성능 전류감지기를 이용한 Specification 기반의 아날로그 회로 테스트)

  • Lee, Jae-Min
    • Journal of Korea Multimedia Society
    • /
    • v.10 no.10
    • /
    • pp.1260-1270
    • /
    • 2007
  • Testing and diagnosis of analog circuits(or mixed-signal circuits) continue to be a hard task for test engineers and efficient test methodologies to solve these problems are needed. This paper proposes a novel analog circuits test technique using time slot specification (TSS) based built-in current sensors (BICS). A technique for location of a fault site and separation of fault type based on TSS is also presented. The proposed built-in current sensors and TSS technique has high testability, fault coverage and a capability to diagnose catastrophic faults and parametric faults in analog circuits. In order to reduce time complexity of test point insertion procedure, external output and power nodes are used for test points and the current sensors are implemented in the automatic test equipment(ATE). The digital output of BICS can be easily combined with built-in digital test modules for analog IC test.

  • PDF

Specification-based Analog and Mixed-signal Circuits Test with Minimal Built-In Hardware Overhead (내장 하드웨어 오버헤드를 최소화한 Specification 기반의 아날로그 및 혼합신호 회로 테스트)

  • Lee, Jae-Min
    • Proceedings of the IEEK Conference
    • /
    • 2006.06a
    • /
    • pp.633-634
    • /
    • 2006
  • A new specification-based analog and mixed-signal test technique using high performance current sensors is proposed. The proposed technique using current sensors built in external ATE has little hardware overhead in circuit under test and high testability without time consuming operation of test point placement algorithm.

  • PDF

Packaging Vibration Specification Based on Field Data (FIELD DATA를 이용한 진동시험 규격화 방안)

  • Kim, Ung-Ju;Lee, Soo-Keun
    • KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
    • /
    • v.4 no.2
    • /
    • pp.39-44
    • /
    • 1998
  • We used recording device(EDR-3) to monitor the packages and the vehicle during shipment. Provided we did this enough times, we began to gain statistically valid information which could be used to describe the particular channel of distribution. The event was obviously changed from trip to trip, but in general we could have an idea of what to expect. Considerable amount of time and money were invested to record field data. Although not ideal, it was the best suited approach to gain information regarding a specific distribution channel. Based on the recorded field data, we could make our own packaging vibration testing specification through MIL-STD-810D(Guidance for development of laboratory dynamic test specification). This test specification was proved several times through field tests. As a result, we gained confidence in this revised vibration specification and come to know the development procedures of a laboratory dynamic test specification.

  • PDF

Specification-based Current Test for Mixed-signal Circuits and Optimal Test Point Selection (혼합신호 회로를 위한 Specification 기반의 전류 테스트와 최적의 테스트 포인트 선택)

  • Jang, Sang-Hoon;Lee, Jae-Min
    • Proceedings of the IEEK Conference
    • /
    • 2005.11a
    • /
    • pp.901-904
    • /
    • 2005
  • Testing of mixed-signal circuit has become a difficult task for test engineers and efficient test solution to these problems are needed. In this paper a new specification-based mixed-signal test method called TSS(Time Slot Specification) using high performance current sensors and a novel test point selection technique without heavy computational overhead are proposed. External output and power nodes are used for test points and accessed by the current sensors in the ATE.

  • PDF

Specification-based Intrusion Detection System for the Initial Authentication Phase of WiBro (와이브로의 초기인증에 적합한 명세기반의 침입탐지시스템)

  • Lee, Yun-Ho;Lee, Soo-Jin
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.20 no.2
    • /
    • pp.23-32
    • /
    • 2010
  • WiBro(Wireless Broadband), the service based on IEEE 802.16e(mobile WiMAX) standard, is a wireless broadband Internet technology being developed by the domestic telecommunication industry. In this paper, we analyze security vulnerabilities of WiBro focusing on initial authentication phase and propose a specification-based intrusion detection system that can detect those vulnerabilities. We first derive a specification from the normally operational process of the initial authentication based on PKMv2 EAP-AKA and formalize the derived specification as a state transition diagram. Proposed system executes the intrusion detection based on those specification and state transition diagram. In this paper, to verify the detection capability of proposed system, we construct a test bed network and execute scenario-based test.

Effective Techniques for Diagnosis and Test of Hard-to-Detect Faults in Analog Circuits (아날로그 회로의 난검출 고장을 위한 효과적인 진단 및 테스트 기법)

  • Lee, Jae-Min
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.4 no.1
    • /
    • pp.23-28
    • /
    • 2009
  • Testing of analog(and mixed-signal) circuits has been a difficult task for test engineers and effective test techniques to solve these problems are required. This paper develops a new technique which increases fault detection and diagnosis rates for analog circuits by using extended MTSS (Modified Time Slot Specification) technique based on MTSS proposed by the author. High performance current sensors with digital outputs are used as core components for these techniques. A fault diagnosis structure with minimal hardware overhead in ATE is also described.

  • PDF

A study on case analysis for loading capacity standard establishment of bi-directional pile load test (BD PLT) (양방향말뚝재하시험의 재하용량 기준 설정을 위한 사례분석 연구)

  • Choi, Yong-Kyu;Seo, Jeong-Hae;Kim, Sang-Il
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2008.03a
    • /
    • pp.377-384
    • /
    • 2008
  • In the bi-directional pile load test (BD PLT) for pile load test of Mega foundation, loading capacity specification were not specified exactly. Therefore there are so many confusions and variations of maximum 2 times in loading capacity are come out. In this study, specifications of bi-directional pile load test (BD PLT) were considered. Based on cases of the bi-directional pile load test performed in domestic areas, maximum equivalent test load, test load increasing ratio and sufficiency ratio of design load were analyzed. It can be known that the loading capacity specification of bi-directional pile load test must be defined as 1-directional test load that is established as more than 2 times of design load.

  • PDF

Script-based Test System for Rapid Verification of Atomic Models in Discrete Event System Specification Simulation

  • Nam, Su-Man
    • Journal of the Korea Society of Computer and Information
    • /
    • v.27 no.5
    • /
    • pp.101-107
    • /
    • 2022
  • Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

A Study on the Automated Compliance Test System for the LSD Protocol Providing the Digital Library Lending Model

  • Kim, Tae-Hyun;Yoon, Hee-Don;Kang, Ho-Gap;Cho, Seung-Hwan
    • Journal of the Korea Society of Computer and Information
    • /
    • v.22 no.4
    • /
    • pp.51-58
    • /
    • 2017
  • Research on the Development of EPUB SCP(Secure Content Protection) Technical Specification and International Standardization has been carried out as a R&D project granted by the Korea Copyright Commission since 2014. The research aims to build a standard framework for the EPUB DRM(Digital Rights Management) based on the Readium LCP(Licensed Content Protection) and KS EPUB DRM specifications, to develop element technologies for the framework, and to standardize it as an IDPF(International Digital Publishing Forum) industrial standard. One of the essential features of the EPUB DRM developed though this study is to support the lending model of the digital library. This paper introduces LSD(License Status Document) specification which is a DRM license management protocol for the digital library lending process, and also represents a model which can automatically test the implemented entities of the LSD specification, test scenarios and test materials.