• Title/Summary/Keyword: Testing Tools

Search Result 451, Processing Time 0.027 seconds

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.

Development ERC32 Processor Emulator based on QEMU (QEMU를 기반으로 한 ERC32 프로세서 에뮬레이터 개발)

  • Choi, Jong-Wook;Shin, Hyun-Kyu;Lee, Jae-Seung;Cheon, Yee-Jin
    • Aerospace Engineering and Technology
    • /
    • v.10 no.2
    • /
    • pp.105-113
    • /
    • 2011
  • During the development of flight software, the processor emulator and satellite simulator are essential tools for software development and verification, which can be substituted for the actual hardware. LEO satellites being developed by KARI recently use the MCM-ERC32SC processor for on-board computer (OBC). For the flight software (FSW) development and testing, the software-based spacecraft simulator was developed using TSIM-ERC32 processor emulator from Aeroflex Gaisler. It is needed to get rid of the constraints and dependencies of TSIM-ERC32 processor emulator and to obtain high performance processor emulator to develop full satellite simulator. This paper presents the development of the ERC32 emulator based on open source dynamic translator, QEMU, as the first step. And it describes the software development and testing/debugging on the developed emulator.

A Case Report of Intervention Strategy applied ICF Tool about Floor to Stand and Stand to Floor for Stroke Patient (ICF Tool을 적용한 뇌졸중 환자의 바닥에 앉고 일어서기에 대한 중재전략의 증례)

  • Yun, Tae-Won;Kim, Tae-Yoon
    • Journal of Korean Physical Therapy Science
    • /
    • v.18 no.1
    • /
    • pp.33-49
    • /
    • 2011
  • The process of physical therapy uses a problem-solving approach to enhance a patients's functioning status. The International Classification of Functioning, Disability and Health(ICF) is the common concept for the functioning in the world. Physical therapists require the ability to identify problems, formulate hypothesis, and plan intervention strategies through clinical reasoning. In the clinical process, physical therapists need to use standard and common languages in speech and in documentation. The purpose of this study was to suggest the process of making strategy for efficient intervention, examining and evaluating the functional problem of the person with stroke using ICF tools. For the first step in this process model, therapists could list the information relating to functional problems used by the ICF Core set and then could identify the interaction among the problems using the ICF assessment sheet. For the next step, therapist is needed to make the hypothesis and hypothesis testing, and then set a primary functional goals and therapeutic goals in detail after prioritizing the problems to be managed based on the problem list. Finally, after setting the identified problems as the purpose of intervention through the hypothesis testing, therapist could do some intervention after making a plan to solve these problems, and find out the outcomes using the ICF evaluation display. This report illustrates how to apply the process based on ICF concept into physical therapy practice. Making a decision for the most efficient intervention requires that therapists use the clinical reasoning process based on ICF concept.

  • PDF

Confirmation of Male Specific Fetal Free RNA in Maternal Plasma and Comparison of Accuracy on the Sex Determination using Real-time PCR Method in Korean Native Cattle

  • Lee, Sang-Ho;Park, Chul-Ho;Park, Jun-Tae;Park, Sang-Guk;Lee, Jin-A;Suh, Guk-Hyun;Oh, Ki-Seok;Son, Chang-Ho
    • Journal of Embryo Transfer
    • /
    • v.28 no.4
    • /
    • pp.343-348
    • /
    • 2013
  • Cell-free fetal RNA has been highlighted as useful tools for the fetal sex determination or other genetic inherent disorder. However, there is no knowledge about the sex determination using cell free fetal RNA in bovine field. Thus, the present study aimed to evaluate the presence of transcripts of DDX3Y, USP9Y and ZRSR2Y genes in maternal plasma of pregnant cows to determine the sex of the fetus using real-time quantitative polymerase chain reaction assay, and verify its accuracy, sensitivity and specificity compared with the molecular testing and the calf sex at birth. Transcripts of USP9Y and DDX3Y genes were expressed in the all plasma of males and females both the control group and the experimental group. However, ZRSR2Y gene was matched up with the molecular testing and the true sex in control group and has an overall accuracy of 82.6%, a sensitivity of 75%, and a specificity of 100% in experimental group. Therefore, these results indicated that real time PCR technique, as a noninvasive and cost-efficient method, is possible to determination fetal sex in the bovine species using circulating cell free RNA in maternal plasma and especially ZRSR2Y gene could be a good candidate for the RNA based sex determination work.

A Study on Production and Its Usefulness of AAPM TG18 Guiding Instrument for Diagnostic Monitor QC (영상의학 검사 판독용 모니터 정도관리 Guiding Instrument 제작과 유용성 고찰)

  • Son, Gi-Gyeong;Sung, Dong-Wook;Jeong, Jae-Ho;Kang, Hui-Doo;Ryu, Kyung-Nam
    • Korean Journal of Digital Imaging in Medicine
    • /
    • v.10 no.1
    • /
    • pp.21-28
    • /
    • 2008
  • Diagnostic display monitor QA according to AAPM TG18 is usually performed by PACS administrator, product manager and reading doctor, and for acceptance testing and periodic quality control evaluation, a combination of visual and quantitative tests can be used, as outlined in sections 5 and 6 of 'assessment of display performance for medical imaging systems'. Although many display tests can be performed visually, a more objective and quantitative evaluation of display performance requires special test tools. The required instruments vary in their complexity and cost, depending on the context of the evaluation(research, acceptance testing, or quality control) and how thorough the evaluation needs to be. Objective and reliable assessment of many display characteristics can be performed with relatively inexpensive equipment, So, we made 'AAPM TG18 guiding instrument' to ues variable purpose of the evaluation of 'geometrical distortions(quantitative"', 'veiling glare(visual)' and 'sensor calibration'. The spatial measurements for the quantitative evaluation of geometric distortions, and the measurement of the veling-glare ring response function which provides information regarding the spatial extent of the luminance spread, can be performed using the TG18 guiding instrument can be used to sensor calibration to standardize the basic rate of 0% luminance when periodic calibration.

  • PDF

The Bayesian Inference for Software Reliability Models Based on NHPP (NHPP에 기초한 소프트웨어 신뢰도 모형에 대한 베이지안 추론에 관한 연구)

  • Lee, Sang-Sik;Kim, Hui-Cheol;Song, Yeong-Jae
    • The KIPS Transactions:PartD
    • /
    • v.9D no.3
    • /
    • pp.389-398
    • /
    • 2002
  • Software reliability growth models are used in testing stages of software development to model the error content and time intervals between software failures. This paper presents a stochastic model for the software failure phenomenon based on a nonhomogeneous Poisson process(NHPP) and performs Bayesian inference using prior information. The failure process is analyzed to develop a suitable mean value function for the NHPP ; expressions are given for several performance measure. Actual software failure data are compared with several model on the constant reflecting the quality of testing. The performance measures and parametric inferences of the suggested models using Rayleigh distribution and Laplace distribution are discussed. The results of the suggested models are applied to real software failure data and compared with Goel model. Tools of parameter point inference and 95% credible intereval was used method of Gibbs sampling. In this paper, model selection using the sum of the squared errors was employed. The numerical example by NTDS data was illustrated.

Fracture Behavior of CFRP by Time-Frequency Analysis Method (시간-주파수 해석법에 의한 CFRP의 파괴 거동)

  • Nam, Ki-Woo;Ahn, Seok-Hwan;Lee, Sang-Kee;Kim, Hyun-Soo;Moon, Chang-Kwon
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.21 no.1
    • /
    • pp.39-45
    • /
    • 2001
  • Fourier transform has been one of the most common tools to study the frequency characteristics of signals. With the Fourier transform alone, however, it is difficult to tell whether signal's frequency contents evolve in time or not. Except for a few special cases, the frequency contents of most signals encountered in the real world change with time. Time-frequency analysis methods are developed recently to overcome the drawbacks of Fourier transform, which can represent the information of signals in time and frequency at the same time. In this study, damage process of a cross-ply carbon fiber reinforced plastic (CFRP) under monotonic tensile loading was characterized by acoustic emission. Different kinds of CFRP specimens were used to determine the characteristics of AE signals. Time-frequency analysis methods were employed for the analysis of fracture mechanisms in CFRP such as mix cracking, debonding, fiber fracture and delamination.

  • PDF

Evaluation of Composite Laminates for Aircraft Primary-Structure Applications Using Non-Linear Parameter of Ultrasonic Guided Wave (유도초음파의 비선형 파라미터를 이용한 항공기 구조체의 복합재료 적층판 열화 평가)

  • Cho, Youn-Ho;Kim, Do-Youn;Choi, Heung-Soap;Lee, Joon-Hyun
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.30 no.2
    • /
    • pp.126-131
    • /
    • 2010
  • The purpose of this study is to assess the condition of composites used in aircraft under varying temperature environment with ultrasound guided wave technique. Investigation of crucial influential factor on the composite health monitoring related to aircraft operational environments such as the number of thermal cycles and temperature deviation between ground level and flight altitude has been of a great concern for aircraft safety issue. In this study, ultrasonic guided wave health monitoring scheme is proposed to evaluate composite specimens damaged with the thermal fatigue simulating aircraft operational condition. Guided wave dispersion curves are used to select right modes which show a promising sensitivity to each different thermal fatigue damage level. The present approach can be also implemented as one of on-lines health monitoring tools for aircraft.

Study and Evaluation of Tourism Websites based on User Perspective

  • Shrestha, Deepanjal;Wenan, Tan;Rajkarnikar, Neesha;Shrestha, Deepmala;Jeong, Seung Ryul
    • Journal of Internet Computing and Services
    • /
    • v.22 no.4
    • /
    • pp.65-82
    • /
    • 2021
  • A well-designed website is mandatory for good marketing and proper tourism business. This research considers Nepal as a domain of study and specifically explores welcomenepal.com, the official tourism portal as a reference for the study. The work is based on the study of the existing literature, user-survey, and technical testing of the website using open-source testing tools to identify user perspective, design issues, website architecture and design quality of the tourism website. A population size of 400 respondents, which consist of both domestic and international tourist, are considered for the survey. Data is received from 360 respondents, which is analyzed using statistical tests like Cronbach's alpha, Pearson's correlation, cross-tabulations, bars charts and graphs to draw inferences and consclusion. The software-based test results serve as another important parameter for the evaluation of the current official website. This study brings out core needs of the tourist in terms of expectations from a tourism website and access technical quality of the current portal to provide necessary feedback and suggestions. The government officials, business houses, and web designers can utilize this work as a knowledge base to build tourism websites, which are user-centric. Further, the work is specifically important for Nepal government and tourism officials to identify shortcomings in their current website and make improvements for better design and user adaptability in future.

The Effects of Productization, Organizational, Overseas Market Adaptation Competences on Export Performance: Focus on Korean Electromagnetic Wave Shielding Firms (기업의 제품화 역량, 조직역량, 해외시장 적응역량이 수출성과에 미치는 영향: 전자파 차폐 기업을 중심으로)

  • Park, Won-Cheol;Oh, Ka-Young
    • Asia-Pacific Journal of Business
    • /
    • v.11 no.3
    • /
    • pp.307-344
    • /
    • 2020
  • Purpose - The purpose of this study is to examine effects of productization and organizational competences on export performance of electromagnetic shielding companies and to analyze moderating effects of overseas market adaptation competences. For this, hypotheses were established by reviewing previous studies and an empirical analysis was conducted for testing. Design/methodology/approach - For this study, a survey was conducted for workers at electromagnetic shielding companies and 250 valid responses out of 300 questionnaires were aquired. A frequency analysis of related variables was conducted. Through an exploratory factor analysis, validity and reliability tests of measuring tools were conducted and a descriptive statistics was analyzed for collected data result and hypotheses testing. Findings - A correlation analysis was conducted to examine relationships among variables. Construct, convergent and discriminant validities were analyzed after a confirmatory factor analysis and a multi-group confirmatory factor analysis. Finally, with a verified model, the hypotheses and the moderating effects were tested. The results are as follows: First, the productization competence has a positive effect on export performance; Second, the organizational competence has a positive effect on export performance. Especially, the organizational competence has more effect on export performance than the productization competence. Although a development of new technology and product is important in terms of performance, along with these competences, a way of acquiring new skills and knowledge, and internalization and adaptation in organizations have more effect on export performance. Third, overseas market adaptation competence moderates effects of organizational and productization competences. Research implications or Originality - It is necessary to seek out opportunities for workers to participate in actively, such as conferences and seminars, to strengthen organizational competence. It is strongly believed that a constant development of high quality product will contribute to export performance. Lastly, in a policy level, supports on SMEs by governments are to be strengthened by providing with finance and human resource.