• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.484-487
• /
• 2017

사람이 만드는 소프트웨어는 개발을 시작함과 동시에 오류를 만들어내기 시작한다. 간단히 생각해보면 소프트웨어를 개발하는 사람이 이러한 오류를 잘 알 수 있을 것이라고 생각하지만 개발자 스스로가 자신의 소프트웨어의 오류를 찾아 판단하는 것은 매우 어려운 일이다. 그렇기에 소프트웨어의 테스터가 따로 존재하게 되는데 소프트웨어 테스트의 방법은 크게 화이트박스 테스트와 블랙박스 테스트로 나누어 볼 수 있다. 호환성 도구는 블랙박스 테스트를 기반으로 호환성 테스트를 수행하며 자동화를 결합시켜 사람이 호환성 테스트를 수행할 때의 물리적인 시간의 한계를 극복하는데 목적을 갖고 있다. 목적에 따라 호환성 테스트를 위한 적절한 테스트 샘플을 제작한 후 다양한 테스트 케이스를 통해 호환성 테스트를 수행한 뒤 수행한 결과를 바탕으로 사람이 호환성 테스트를 진행할 때와 비교하여 시간적 효율성과 오차 범위를 줄임으로써 신뢰도를 증가시키고 이를 통해 호환성 도구의 유용함을 밝히고자 한다.

• 전기학회논문지P
• /
• 제57권2호
• /
• pp.65-71
• /
• 2008

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased. assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we propose an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM' which is formal method tools using Statechart for applying to the railway signaling systems.

• 천문학회보
• /
• 제37권2호
• /
• pp.235-235
• /
• 2012

The "Widefield ASKAP L-band Legacy All-sky Blind surveY" (WALLABY) is an extragalactic HI survey which aims to examine HI properties and large-scale distribution of ~500,000 galaxies out to z ~ 0.27, covering a wide range of science goals associated with galaxy formation and evolution (P.I.: B. Koribalski & L. Staveley-Smith). The combination of ASKAP's exquisite column density sensitivity and a large primary beam will make it possible to systematically investigate the rarely explored low column-density HI in the universe. Ultimately, the largest and most homogeneous data set from WALLABY will drastically improve and broaden our knowledge on galaxy formation and evolution. ASKAP will be on-line in 2013, so to ensure timely and efficient reduction and analysis of the large WALLABY data set, we have been developing and testing reliable source finding tools and data analysis pipelines. In this talk I present recent progress of WALLABY, especially on the kinematic parameterisation pipeline for the spatially resolved galaxies detected by WALLABY.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1999년도 학술대회지 vol.1
• /
• pp.193-205
• /
• 1999

Nowadays, public domain software CALS/EC projects give their attention to the importance of test and evaluation (T＆E). This article proposed a survey on T＆E procedures of the international standards ISO 9000-3, ISO/IEC 9126 and ISO 14598, and of the U.S. Army pamphlet as well as that of MIL-STD-498. And features of testing tools such as their characteristics were reviewed for a reference in selecting appropriate one. Large-scale software projects often encounter with problems during T＆E, when they become close to the end of development cycle. The problems generally act as a bottleneck of a project, leading to slippage of the entire schedule. This article tried a close look at the problems and solution alternatives of the T＆E policy, management, and technical issues, and proposed a T＆E model to support a variety of software development environment.

• 산업경영시스템학회지
• /
• 제10권16호
• /
• pp.39-51
• /
• 1987

This paper deals with the case analysis of second order processes under sampled-data. Proportional Integral-Derivative(PID) control, and development of Decision Support Systems(DSS) for such processes. In this paper three techniques were described for identifying the dynamics of closed loop stable processes. The first, called pulse testing is a frequency-domain method, which yields the frequency response diagram of an open loop process. The second is a time-domain method which yields the gain and time constants of the process model. The third technique is based on step response and gives the parameters of PID controllers. The development of DSS design programs consisting of above three techniques will provide very powerful tools in the microcomputer based process control.

• Smart Structures and Systems
• /
• 제20권6호
• /
• pp.729-737
• /
• 2017

Piezoelectric composite laminates are a powerful material system that offers vast options to improve structural behavior. Successful design of piezoelectric adaptive structures and testing of control laws call for highly accurate, reliable and numerically efficient numerical tools. This paper puts focus onto linear and geometrically nonlinear static and dynamic analysis of smart structures made of such a material system. For this purpose, highly efficient linear 3-node and 4-node finite shell elements are proposed. Both elements employ the Mindlin-Reissner kinematics. The shear locking effect is treated by the discrete shear gap (DSG) technique with the 3-node element and by the assumed natural strain (ANS) approach with the 4-node element. Geometrically nonlinear effects are considered using the co-rotational approach. Static and dynamic examples involving actuator and sensor function of piezoelectric layers are considered.

• Journal of Electrical Engineering and Technology
• /
• 제4권1호
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.409-412
• /
• 2004

The technique and process for the acquisition of components by searching and testing the reusable components using Web Service in the CASE tools for component-based application development are proposed. The technique and process for the notice of components using Web Service in order to reuse developed components are also proposed. As using the technique and process, a repository does not need to construct and the reusability of components will rise because components are easily and efficiently searched using Web Service. Furthermore, it is easy to develop application through the plug-and-play of components which are acquired using Web Service, and errors of application by reused components will be minimized because proper components are acquired after pretesting reusable components in the analysis and the architecture phase.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 추계학술발표대회
• /
• pp.181-184
• /
• 2018

최근 주목 받고 있는 소프트웨어 정의 네트워크(SDN: Software-Defined Networks)는 기존 네트워크 운용의 비효율성과 복잡성을 근본적으로 해결하기 위해 등장한 개방형 네트워크 인프라이다. SDN 시스템이 점차 상용화, 개방화 되는 시점에서, 내재되어있는 보안적 위협을 줄이기 위하여 효율적이고 자동화된 취약점 탐지의 필요성이 대두되고 있다. 본 논문에서는 자동화된 소프트웨어 테스트 기법 중 하나인 퍼즈테스팅이 SDN에 적용되어야 할 이유를 살펴보고자 한다. 또한, 기존에 관련된 연구의 분석을 통해 현재 학계의 연구동향을 파악하고 앞으로의 연구 방향성을 제시한다.

• Journal of the Korean Statistical Society
• /
• 제19권2호
• /
• pp.128-138
• /
• 1990

In this paper we study the properties of nonparametric tests for testing the null hypothesis of no changes against one sided and two sideds alternatives in scale parameter at unknown point. We first propose two types of nonparametric tests based on linear rank statistics and rank-like statistics, respectively. For these statistics, we drive the asymptotic distributions under the null and contiguous alternatives. The main theoreticla tools used for derivation are the stochastic process representation of the test staistic and the Brownian bridge approximation. We evaluate the Pitman efficiencies of the test for the contiguous alternatives, and also compute empirical power by Monte Carlo simulation.