• Title/Summary/Keyword: Automatic Testing

Search Result 400, Processing Time 0.028 seconds

The Comparative Study for the Property of Learning Effect based on Delay ed Software S-Shaped Reliability Model (지연된 소프트웨어 S-형태 신뢰성모형에 의존된 학습효과 특성에 관한 비교 연구)

  • Kim, Hee-Cheul;Shin, Hyun-Cheul
    • Convergence Security Journal
    • /
    • v.11 no.6
    • /
    • pp.73-80
    • /
    • 2011
  • In this study, software products developed in the course of testing, software managers in the process of testing software and tools for effective learning effects perspective has been studied using the NHPP software. The delayed software S-shaped reliability model applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$(coefficient of determination).

The Study of Software Reliability Model from the Perspective of Learning Effects for Burr Distribution (Burr분포 학습 효과 특성을 적용한 소프트웨어 신뢰도 모형에 관한 연구)

  • Kim, Dae-Soung;Kim, Hee-Cheul
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.12 no.10
    • /
    • pp.4543-4549
    • /
    • 2011
  • In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The Burr distribution applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, a numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$.

A Study of Automation for Examination Analysis of Inservice Inspection for Nuclear Power Plant (I) (원자력발전소(原子力發電所) 가동중(稼動中) 검사(檢査)의 시험분석(試驗分析)을 위한 자동화연구(自動化硏究) (I))

  • Kim, W.
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.5 no.1
    • /
    • pp.34-47
    • /
    • 1985
  • The developing country, KOREA where does not possess the natural resources for traditional energy such as oil and gas, so. The nuclear energy is the most single reliable source available for closing the energy gap. For these reason, It is inavoidable to construct the nuclear power plant and to develop technology related nuclear energy. The rate of operation in large nuclear power facilities depends upon the performance of work system through design and construction, and also the applied technology. Especially, it is the most important element that safety and reliability in operation of nuclear power plant. In view of this aspects, Nuclear power plant is performed severe examinations during preservice and inservice inspection. This study provide an automation of analysis for volumetric examination which is required to nuclear power plant components. It is composed as follows: I. Introduction II. Inservice Inspection of Nuclear Power Plant ${\ast}$ General Requirement. ${\ast}$ Principle and Methods of Ultrasonic Test. ${\ast}$ Study of Flaw Evaluation and Design of Classifying Formula for Flaws. III. Design of Automation for Flaw Evaluation. IV. An Example V. Conclusion In this theory, It is classifying the flaws, the formula of classifying flaws and the design of automation that is the main important point. As motioned the above, Owing to such as automatic design, more time could be allocated to practical test than that of evaluation of defects, Protecting against subjective bias tester by himself and miscalculation by dint of various process of computation. For the more, adopting this method would be used to more retaining for many test data and comparative evaluating during successive inspection intervals. Inspite of limitation for testing method and required application to test components, it provide useful application to flow evaluation for volumetric examination. Owing to the characteristics of nuclear power plant that is highly skill intensive industry and has huze system, the more notice should be concentrated as follows. Establishing rational operation plan, developing various technology, and making the newly designed system for undeveloped sector.

  • PDF

Development and Validation of Multi-Purpose Geostatistical Model with Modified Kriging Method (수정된 Kriging법을 응용한 다목적지구통계모델의 개발 및 타당성 검토)

  • Kim, In-Kee;Sung, Won-Mo;Jung, Moon-Young
    • Economic and Environmental Geology
    • /
    • v.26 no.2
    • /
    • pp.207-215
    • /
    • 1993
  • In modem petroleum reservoir engineering, the characterization of reservoir heterogeneities is very important to accurately understand and predict reservoir production performance. Formation evaluation for the description of reservoir is generally conducted by performing the analysis of well logging, core testing, and well testing. However, the measured data points by well logging or core testing are in general very sparse and hence reservoir properties should be interpolated and extrapolated from measured points to uncharacterized areas. In assigning the data for the unknown points, simple averaging technique is not feasible as optimum estimation method since this method does not account the spatial relationship between the data points. The main goal of this work is to develop PC-version of multi-purpose geostatistical model in which several stages are systematically proceeded. In the development of model, the simulator employs a automatic selection of semivariogram function such as exponential or spherical model with the best values of $R^2$. The simulator also implements a special algorithm for the fitting of semivariogram function to experimental sernivariogram. The special algorithm such as trial and error scheme is devised since this method is much more reliable and stable than Gauss-Newton method. The simulator has been tested under stringent conditions and found to be stable. Finally, the validity and the applicability of the developed model have been studied against some existing actual field data.

  • PDF

M2M Transformation Rules for Automatic Test Case Generation from Sequence Diagram (시퀀스 다이어그램으로부터 테스트 케이스 자동 생성을 위한 M2M(Model-to-Model) 변환 규칙)

  • Kim, Jin-a;Kim, Su Ji;Seo, Yongjin;Cheon, Eunyoung;Kim, Hyeon Soo
    • KIISE Transactions on Computing Practices
    • /
    • v.22 no.1
    • /
    • pp.32-37
    • /
    • 2016
  • In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

The Comparative Study for Property of Learning Effect based on Software Reliability Model using Doubly Bounded Power Law Distribution (이중 결합 파우어 분포 특성을 이용한 유한고장 NHPP모형에 근거한 소프트웨어 학습효과 비교 연구)

  • Kim, Hee Cheul;Kim, Kyung-Soo
    • Convergence Security Journal
    • /
    • v.13 no.1
    • /
    • pp.71-78
    • /
    • 2013
  • In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The doubly bounded power law distribution model makeup Weibull distribution applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, a numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$.

The Study of NHPP Software Reliability Model from the Perspective of Learning Effects (학습 효과 기법을 이용한 NHPP 소프트웨어 신뢰도 모형에 관한 연구)

  • Kim, Hee-Cheul;Shin, Hyun-Cheul
    • Convergence Security Journal
    • /
    • v.11 no.1
    • /
    • pp.25-32
    • /
    • 2011
  • In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The Weibull distribution applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, a numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R_{sq}$.

On Designing Domino CMOS Circuits for High Testability (고 Testability를 위한 Domino CMOS회로의 설계)

  • 이재민;강성모
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.19 no.3
    • /
    • pp.401-417
    • /
    • 1994
  • In this paper, a new testable design technique for domino CMOS circuits is proposed to detect stuck-at(s-at), stuck-open(s-op) and stuck-on(s-on) faults in the circuits by observing logic test reponses. The proposed technique adds one pMOS transistor per domino CMOS gate for s-op and s-on faults testing of nMOS transistors and one nMOS transistors and one nMOS transistor per domino gate or multilevel circuit to detect s-on faults in pMOS transistors of inverters in the circuit. The extra transistors enable the proposed testable circuit to operate like a pseudo static nMOS circuit while testing nMOS transistors in domino CMOS circuits. Therefore, the two=phase operation of a precharge phase and a evaluation phase is not needed to keep the domino CMOS circuit from malfunctionong due to circuit delays in the test mode, which reduces the testing time and the complexity of test generation. Most faults of th transistors in the proposed testable domino CMOS circuit can be detected by single test patterns. The use of single test patterns makes the testing of the proposed testable domino CMOS circuit free from path delays, timing skews, chage sharing and glitches. In the proposed design, the testing of the faults which, require test sequences also becomes free from test invalidation. The conventional automatic test pattern generators(ATPG) can be used for generating test patterns to detect faults in the circuits.

  • PDF

Position Control Technique of Ultrasonic Scanner for an Automated Ultrasonic Testing Using Surface Wave (표면파를 이용한 자동 초음파탐상검사 주사장치의 위치제어 기술)

  • Lee, Jong-Po;Park, Chul-Hoon;Um, Byong-Guk
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.23 no.1
    • /
    • pp.30-37
    • /
    • 2003
  • In order to replace the manual ultrasonic testing(UT) with an automated UT(AUT), a scanner which enables us to control the positions of a transducer is essential. Encoders have been commonly used to obtain the position information from the conventional scanners controlled by motor. Encoders have various advantages in many aspects. However, if the slip of motor wheel occurs during scanning, various errors are involved in the position accuracy. Thus, the position information of encoders becomes meaningless in case of slip. The reliability of AUT results nay become serious problem. Hence, slip must be avoided, but it can not be completely avoided at present time. In this paper, a new idea that surface wave is used to solve this problem and replace encoders has been proposed. It is shown that this idea can be employed in AUT scanner without encoders. That is, one transducer transmitting surface wave is fixed and the other transducer attached to the scanner receives UT signal. Then, computer calculates the present position of scanner based on the information given by surface wave. Thus, the movement of a scanner can be controlled by the amount of input based on the information obtained.

A Usability Testing on the Tablet PC-based Korean High-tech AAC Software (태블릿 PC 기반 한국형 하이테크 AAC 소프트웨어의 사용성 평가)

  • Lee, Heeyeon;Hong, Ki-Hyung
    • Journal of the HCI Society of Korea
    • /
    • v.7 no.2
    • /
    • pp.35-42
    • /
    • 2012
  • The purpose of this study was to evaluate the usability of the tablet PC-based Korean high-tech AAC(Augmentative Alternative Communication System) software. In order to develop an AAC software which is appropriate to Korean cultural/linguistic contexts and communication needs of the users, we examined the necessity and ease of use for the communication functions that are required in native Korean communication, such as polite expressions, tense expressions, negative expressions, subject-verb auto-matching, and automatic sentence generation functions, using a scenario-based user testing. We also investigated the users' needs, preferences, and satisfaction for the tablet PC-based Korean high tech AAC using a semi-structured and open questionnaires. The participants of this study were 9 special education teachers, 6 speech therapists, and 6 parents whose children had communication disabilities. The results of the usability testing of the tablet PC-based Korean high-tech AAC software presented positive responses in general, by indicating overall scores of above 4 out of 5 except in tense and negative expressions. The necessity and ease of use in the tense and negative expressions were evaluated relatively low, and it might be related to the inconsistent interface with the polite expressions. In terms of the user interface(UI), there were users' needs for clear visual feedback in the symbol selection and display, consistent interface for all functions, more natural subject-verb auto-matching, and spacing in the text within symbols. The results of the usability testing and users' feedback might serve as a guideline to compensate and improve the function and UI of the existing AAC software.

  • PDF