• Title/Summary/Keyword: test coverage

Search Result 523, Processing Time 0.021 seconds

Analysis on Dynamic Software Defects for Increasing Weapon System Reliability (국방 무기체계 소프트웨어 신뢰성 향상을 위한 소프트웨어 동적 결함 분석)

  • Park, Jihyun;Choi, Byoungju
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.7 no.7
    • /
    • pp.249-258
    • /
    • 2018
  • The importance of software in military weapon systems is increasing, and the software structure is becoming more complicated. We therefore must thoroughly verify its reliability. In particular, the defects from the interaction of the software components that make up the weapon system are difficult to prevent only with static testing and code coverage level dynamic testing. In this paper, we classify dynamic software defect types and analyze the issues reported in the Open Source Software (OSS) used in the US department of defense weapon systems. The dynamic defects classified in this paper usually occur after integration, and it is difficult to reproduce and identify the cause. Based on this analysis, we come to the point that the software integration test must be enhanced in order to verify the reliability of the weapon system.

Proposal of Spacing Distribution Index Reflected Actual Air Void Characteristics in Concrete (콘크리트의 실제 공극구조 특성을 반영한 간격분포지수 제안)

  • Jeon, Sung Il;An, Ji-Hwan;Kwon, Soo Ahn;Yun, Tae Young
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.31 no.6A
    • /
    • pp.449-456
    • /
    • 2011
  • Spacing factor proposed by Power is a concept of averaging air void spacing composed of geometric models. Thus, there's a limitation on simulating actual air void characteristics in concrete. This study presents SDI(spacing distribution index) to overcome the limitation of spacing factor. SDI is also evaluated through comparing SDI with SF(spacing factor). In this study, it was confirmed that SF decreased due to increasing air-entrainer content but SDI increased. This occurs because SDI is the area of spacing distribution curve and SDI increases with increasing the frequency of spacing. SDI is evaluated to have better coverage below $300{\mu}m$ of SF so that determination of critical point of SDI above 80% of durability index can be easily obtained with more reliability. SDI is the area of spacing distribution curve and reflects actual air void characteristics in concrete. A comparative study of SDI and results of freeze-thaw test will be performed later.

Outcome Assessment of a Demonstration Project on Integration of Home Visiting Health Care and Social Welfare Services (보건소 중심의 방문보건.재가복지 통합시범사업 성과)

  • Ahn Yang-Heui;Jang Sei-Jin;Choi Gyun
    • Journal of Korean Public Health Nursing
    • /
    • v.20 no.1
    • /
    • pp.5-15
    • /
    • 2006
  • Purpose: The objectives of this study was to measure the outcomes of interventions on the health and social welfare of the elderly in a rural community in Korea. The project involved integrating services of one public health center with that of one social welfare agency, which were under different administrative structures. Method: A single group pretest-posttest design was used for this research. Seventy-five elderly residents living alone in a rural community participated in the study. All of them had coverage of free basic medical care and social welfare services by the government. Major activities for the intervention included: developing partnerships among community leaders/institutes; forming committees of community residents; educating care providers and volunteers; developing 8 integrated service programs and instruments; and organizing the networks. The 20-month intervention was care-managed by a public health nurse whom collaborated with social worker, and was assisted by volunteers. The t-test was utilized to analyze the outcome variables including the elder's health, social welfare and quality of life. A major limitation of this study was the lack of a control group. Results: The outcome of the intervention was shown by improved elder's health, social welfare needs, and quality of life. Integrating the services of public health centers with those of social welfare agencies is an effective way to improve the health of the elderly in the community. Conclusion: Developing community capacity with such integrated services will pay an important role in improving the health of the elderly who live alone.

  • PDF

The Determinants of Profitability Performance in Regional Public Hospitals (지방의료원 수익성과에 대한 결정요인 분석)

  • Hong, Mi-Yeong;Lee, Hae-Jong;Joo, Hyun-Sil;Lee, Dong-Won
    • Korea Journal of Hospital Management
    • /
    • v.14 no.2
    • /
    • pp.1-20
    • /
    • 2009
  • The purpose of this study is to find the determinant variables to make profitability in regional public hospitals. The data come from financial statements and annual reports of 34 regional public hospitals for five years (from year 2003 to year 2007). The T or F-test and hierarchical multiple regression analysis are used. The dependant variables are the profitability indicators, ordinary income to total asset and operating margin to gross revenue, and the independent variables are general characteristics, diagnosis and treatment patterns, financial and public benefits. The findings of this study are summarized as follows. First, Variables affecting the profitability indexes revealed from DEA results is the bed occupancy rate, number of hospitalized patients to outpatients, ratio of first medical examination for outpatients, number of daily patients per medical specialist, labor cost per patient and managerial expenses per patient. Second, the ordinary income to total asset representing the asset usage performance is affected by the average hospitalized days, bed occupancy rate, labor cost per patient and ratio of patients with medical insurance coverage. Third, the operating martin to gross revenue obtained from the actual operations of hospitals has its significance with the bed occupancy rate, number of hospitalized patients to outpatients, managerial expenses per patient and public benefit indicator. This study has some restriction not to use pannel data analysis, although it used data for five years. Accordingly, various additional studies should be done to supplement such problems.

  • PDF

Design of Network-based AIS Reference Station System (네트워크 기반 AIS 기준국 시스템 설계)

  • Seo, Ki-Yeol;Park, Sang-Hyun;Jeong, Ho-Cheol;Cho, Deuk-Jae
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.14 no.4
    • /
    • pp.824-830
    • /
    • 2010
  • In order to prepare for increasing performance requirement for Differential Global Navigation Satellite System (DGNSS) services of International Maritime Organization (IMO) and International Association of Lighthouse Authorities (IALA), this paper focuses on design of network-based Automatic Identification System (AIS) reference station system that can perform the functionality of Differential Global Positioning System (DGPS) reference station in an AIS base station system. AIS base station receives the differential corrections from the DGPS reference station, and it is not a method for transmitting the received differential corrections to onboard AIS units, but it is a method for generating the optimized differential corrections for onboard AIS units in AIS coverage. Therefore this paper proposes an algorithm for generating the differential corrections at AIS reference station, and performs the performance assessment of the proposed algorithm based on DGPS correction data measured from a DGPS reference station. Finally this paper discusses the test results and efficiency of the proposed system.

A Survey on Treatment Trend for Allergic Rhinitis in Korean Medicine Clinic (알레르기 비염의 한의 진료 현황 설문조사)

  • Kim, Young-Eun;Jeong, Ui-Min;Lee, Dong-Hyo
    • The Journal of Korean Medicine Ophthalmology and Otolaryngology and Dermatology
    • /
    • v.30 no.4
    • /
    • pp.75-96
    • /
    • 2017
  • Objectives : The purpose of this study was to investigate the treatment trend for allergic rhinitis in Korean Medicine. Methods : We conducted an online survey for Korean Medicine Doctors who were registered in the association of Korean Medicine. The questionnaire was consisted of patient characteristics, diagnosis status, treatment status, and future research needs. Results : Data from total of 396 respondents were analyzed. More than 70% of the patient came to the Korean Medicine Clinic after visiting the Western Medicine Clinic in 43.9% of the respondents. 55.6% of the respondents performed combination therapy. History taking, nasal examination, x-ray, and Korean Medicine diagnostic test were used for diagnosis. The mean duration of treatment ranged from $4.9{\pm}2.91$ to $15.2{\pm}8.45$ for pediatric and early childhood patients and from $17.5{\pm}16.15$ to $5.3{\pm}3.85$ weeks for adolescents and adult patients. The mean number of treatment times was from $9.8{\pm}7.00$ to $33.5{\pm}24.45$ for pediatric and early childhood patients and from $10.8{\pm}11.55$ to $40.4{\pm}48.18$ times for adolescents and adult patients. 64.5%, 48.0%, and 91.2% of the respondents used herbal medication in national health insurance coverage, herbal medication uninsured in health insurance and herbal prescription filled at each medical institution, respectively for pediatric and early childhood patients and 67.6%, 42.8% and 86.1% for adolescents and adult patients. 36.9% and 36.4% of respondents answered that the study of acupuncture and herbal medicine are needed preferentially. Conclusions : The results of this survey will be used to develop clinical practice guideline that reflect actual clinical practice.

A Study on the Job Burnout of Medical Librarians in Korea (의학도서관 사서들의 직무 소진에 관한 연구)

  • Chan, Hye Rhan;Kim, Jeong A
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.51 no.1
    • /
    • pp.245-269
    • /
    • 2017
  • To assess and understand the level of job burnout among the medical librarians and identify the factors affecting it, email survey, consisting of questions regarding personal background, organization characteristics, degree of burnout, and coping activities, was administered for two weeks in December 2016, to the librarians in 138 institutions affiliated with the Korean Medical Library Association. MBI-GS is used as a burnout measuring instrument. Data collected from 158 librarians (response rate 65.6%), were analyzed by descriptive statistics, t-test, ANOVA, and correlation analysis methods. According to MB-GS norm, respondents experience moderate level of exhaustion and professional efficacy, however the level of cynicism is extremely high. There are significant statistical differences in burnout, depending on age, medical librarian certificate, work experience, type of library, job coverage, and coping activities. There are also statistical significant correlations between workload, role conflict, decision making process and performance evaluation, organization communication, IT environment, continuing education and burnout. Based on the results, recommendations to alleviate burnout are suggested in individual, organizational, and professional association context.

Testing Android Applications Considering Various Contexts Inferred from Permissions (안드로이드 어플리케이션 개발에서 퍼미션 분석을 사용한 다양한 테스트 환경 조건 생성 기법)

  • Song, Kwangsik;Han, Ah-Rim;Jeong, Sehun;Cha, Sungdeok
    • Journal of KIISE
    • /
    • v.42 no.8
    • /
    • pp.1022-1030
    • /
    • 2015
  • The context-awareness of mobile applications yields several issues for testing, since mobile applications should be able to be tested in any environment and under any contextual input. In previous studies of testing for Android applications as an event-driven system, many researchers have focused on using generated test cases considering only Graphical User Interface (GUI) events. However, it is difficult to find failures that could be detected when considering the changes in the context in which applications run. It is even more important to consider various contexts since the mobile applications adapt and use the new features and sensors of mobile devices. In this paper, we provide a method of systematically generating various executing contexts from permissions. By referring to the lists of permissions, the resources used by the applications for running Android applications can be easily inferred. To evaluate the efficiency of our testing method, we applied the method on two open source projects and showed that it contributes to improve the statement code coverage.

SEM/EDS Evaluation of Gold Bonding Agent Applied on Non-precious Alloys and Cast CP-Ti (도재 소부용 비귀금속 합금과 티타늄에 적용한 Gold Bonding Agent의 전자현미경적 평가)

  • Lee, Jung-Hwan;Ahn, Jae-Seok
    • Journal of dental hygiene science
    • /
    • v.9 no.2
    • /
    • pp.153-160
    • /
    • 2009
  • The purposed of this study was to investigate the effect of Gold bonding agent as intermediate layer between metal substrate and ceramic coating. Gold bonding agent used to seal off any surface porosity, to mask the greyish color of the metal, and to provide an underlying bright golden hue to the ceramic coverage. The adhesion between metal substrate and ceramic is related to diffusion of oxygen during ceramic firing. The oxide layer produced on non-precious alloy anti titanium was considered to have a potentially adverse effect on metal-ceramic bonding. The oxidation characteristics of titanium and non-precious alloys are the main problem. Every group were divided into test and control groups. Control groups are carried out process of degassing for product oxide layer. Au coating was applied on each Ni-Cr, Co-Cr alloys and cp-Ti specimens with difference surface condition or degassing. Specimens surfaces and cutting plane was characterized by SEM/EDS. Results suggested that Au coating is effective barriers to protect metal oxidation during ceramic firing.

  • PDF

An analysis of the perceptions of dental implant plans in the Korean national health insurance and the dental clinic selection criteria among elderly patients in Hongseong-gun, Chungcheongnam-do (충청남도 홍성군관내 노인환자의 치과 임플란트 보험수급 인식도와 치과진료기관 선정 요건에 관한 분석)

  • Han, Min Soo;Kwon, Eun Ja;Choi, Esther
    • Journal of Technologic Dentistry
    • /
    • v.43 no.3
    • /
    • pp.124-131
    • /
    • 2021
  • Purpose: This study aimed to investigate the perception of dental implant insurance supply and demand for the elderly living in Hongseong-gun and Chungcheongnam-do, as well as the selection criteria regarding dental clinics for dental implant treatment to collect basic data for improving the oral health of the elderly population. Methods: Participants living in Hongseong-gun, Chungcheongnam-do who were at least 55 years old from November 2020 to March 2021 were included in this study. The chi-square test was performed to examine the age-specific perception of insurance-covered dental implants (p<0.05). Results: The age group that was the most interested in implants was the 70s age group, and the difference between this age group and the other age groups was statistically significant. Those in their 70's, 80's, and 90's or older paid about 600,000 won including dental implants covered by insurance, and there was a significant difference (p<0.05). Those in their 60s, 70s, and 80s estimated the highest value of implants covered by insurance as two and showed a significant difference (p<0.05). The awareness of the dental implant insurance by age showed that all age groups, except for the ≥90 years age group, considered the insurance to be mediocre mostly due to the large co-payment (p<0.05). Conclusion: There were differences by age in the awareness of dental implant insurance, co-payments, number of applications, and insurance coverage. The perceptions on dental implant insurance by age showed that all age groups except for those over 90 years and older, they considered the insurance was just mediocre the most.