• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권7호
• /
• pp.451-460
• /
• 2013

높은 테스트 커버리지 달성을 위해 심볼릭 실행, 자료 흐름 분석 및 제약 해결 기법 등을 이용하여 테스트 데이터 생성을 하는 것이 일반적이다. 최근에 그와 같은 정교한 수단 없이도 높은 커버리지를 효과적으로 달성 할 수 있는 방법이 제안되었다. 그러나 이 방법도 실행 중에 다른 메모리 로케이션들이 바인딩되는 분기 조건을 갖는 프로그램에 대해서는 높은 커버리지를 가져오는 테스트 데이터 생성이 어려웠다. 특히 플래그 조건을 가지는 프로그램에 대해서는 특정 분기들이 실행되지 않아 높은 커버리지를 달성하지 못하는 경우가 발생한다. 이 논문에서는 이 문제를 다루기 위하여 기존 커버리지 기준을 개선한 동적 분기 커버리지 기준들과 동적 분기에 기반 한 테스트 데이터 생성 전략을 제안한다. 실험을 통하여 플래그 조건이 있는 프로그램들에 대해서도 제안된 방법이 기존의 방법에 비해 효과적으로 커버리지를 달성함을 보인다. 요약은 무슨 연구를 어떻게 수행하였는지, 주된 연구결과와 그 중요성에 관해 간결하게 기술하여야 한다.

• Asian Pacific Journal of Cancer Prevention
• /
• 제16권2호
• /
• pp.731-736
• /
• 2015

Background: Little is known about the news coverage of cancer risk factors in Korea. This study aimed to examine how the news media encompasses a wide array of content regarding cancer risk factors and related cancer sites, and investigate whether news coverage of cancer risk factors is congruent with the actual prevalence of the disease. Materials and Methods: A content analysis was conducted on 1,138 news stories covered during a 5-year period between 2008 and 2012. The news stories were selected from nationally representative media in Korea. Information was collected about cancer risk factors and cancer sites. Results: Of various cancer risk factors, occupational and environmental exposures appeared most frequently in the news. Breast cancer was mentioned the most in relation to cancer sites. Breast, cervical, prostate, and skin cancer were overrepresented in the media in comparison to incidence and mortality cases, whereas lung, thyroid, liver, and stomach cancer were underrepresented. Conclusions: To our knowledge, this research is the first investigation dealing with news coverage about cancer risk factors in Korea. The study findings show occupational and environmental exposures are emphasized more than personal lifestyle factors; further, more prevalent cancers in developed countries have greater media coverage, not reflecting the realities of the disease. The findings may help health journalists and other health storytellers to develop effective ways to communicate cancer risk factors.

• 한국콘텐츠학회논문지
• /
• 제12권11호
• /
• pp.39-48
• /
• 2012

소프트웨어 테스팅이 소프트웨어 개발 비용의 상당 부분을 차지하는 것은 잘 알려진 사실이다. 소프트웨어 테스팅 비용을 줄이기 위해 소프트웨어 테스트 데이터를 자동으로 생성하는 방법에 많은 연구가 이루어지고 있다. 일반적으로 테스트 데이터 자동 생성을 지원하기 위해 심볼릭 실행기나 제약 해결기와 같은 정교한 도구들을 요구한다. 그러나 이와 같은 도구들을 개발하거나 구입하는 것은 소프트웨어 테스트 관련 비용을 증가시키는 또 다른 요소로 작용된다. 이 논문에서는 심볼릭 실행이나 제약 해결에 의존되지 않는 동적 테스트 데이터 방법을 제안한다. 제안된 방식은 분기 커버리지 기준을 효과적으로 만족하도록 Korel의 경로 지향 테스트 데이터 생성 방법을 확장한다. 이 논문에서는 삼각형 분류 프로그램에 대한 실험을 통하여 제안된 방법이 분기 커버리지를 매우 효과적으로 달성함을 보인다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권9호
• /
• pp.3885-3906
• /
• 2020

Hybrid fuzzing which combines fuzzing and concolic execution, has proved its ability to achieve higher code coverage and therefore find more bugs. However, current hybrid fuzzers usually suffer from inefficiency and poor scalability when applied to complex, real-world program testing. We observed that the performance bottleneck is the inefficient cooperation between the fuzzer and concolic executor and the slow symbolic emulation. In this paper, we propose a novel solution named EPfuzzer to improve hybrid fuzzing. EPfuzzer implements two key ideas: 1) only the hardest-to-reach branch will be prioritized for concolic execution to avoid generating uninteresting inputs; and 2) only input bytes relevant to the target branch to be flipped will be symbolized to reduce the overhead of the symbolic emulation. With these optimizations, EPfuzzer can be efficiently targeted to the hardest-to-reach branch. We evaluated EPfuzzer with three sets of programs: five real-world applications and two popular benchmarks (LAVA-M and the Google Fuzzer Test Suite). The evaluation results showed that EPfuzzer was much more efficient and scalable than the state-of-the-art concolic execution engine (QSYM). EPfuzzer was able to find more bugs and achieve better code coverage. In addition, we discovered seven previously unknown security bugs in five real-world programs and reported them to the vendors.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.17-24
• /
• 2006

We consider the sensor location problem (SLP) on a given sensor field. We present the sensor field as grid of points. There are several types of sensors which have different detection ranges and costs. If a sensor is placed in some point, the points inside of its detection range can be covered. The coverage ratio decreases with distance. The problem we consider in this thesis is called multiple-type differential coverage sensor location problem (MDSLP). MDSLP is more realistic than SLP. The coverage quantities of points are different with their distance form sensor location in MDSLP. The objective of MDSLP is to minimize total sensor costs while covering every sensor field. This problem is known as NP-hard. We propose a new integer programming formulation of the problem. In comparison with the previous models, the new model has a smaller number of constraints and variables. This problem has symmetric structure in its solutions. This group is used for pruning in the branch-and-bound tree. We solved this problem by branch-and-cut(B&C) approach. We tested our algorithm on about 60 instances with varying sizes.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2006년도 Proceedings of ISRS 2006 PORSEC Volume II
• /
• pp.946-949
• /
• 2006

With repeated coverage, spaceborne SAR (Synthetic Aperture Radar) instruments provide the most efficient means to monitor and study the changes in important elements of the marine environment. Due to highresolution of SAR data, the coverage of SAR sensor is always limited, especially for a repeat cycle. With more SAR sensors from various satellites, new data products such as ocean surface drift can be derived when two SARs' tracks overlap in a short time over coastal areas. Currently, there are two SAR sensors on different satellites with almost the exactly same path. That is, ERS-2 is following ENVISAT with a 30-minutes delay, which will be a good timing for ocean mesosclae feature tracking. For another application, a mystery ship near a big eddy with strong ship wake has been tracked between ERS-2 and ENVISAT SAR images to estimate its ship speed.

• 소프트웨어공학소사이어티 논문지
• /
• 제25권1호
• /
• pp.1-9
• /
• 2012

기계장치에 내장되어 동작하는 내장 소프트웨어의 개발 환경은 일반 소프트웨어와 비교하여 불편한 점이 많다. 소프트웨어가 개발되는 장비와 동작하는 장비가 다르며 일반적으로 고가의 상용 개발도구를 필요로 한다. 본 논문은 공개 소프트웨어 도구들을 활용하여 내장 소프트웨어의 개발환경을 개선시킬 수 있는 방안을 제시한다. cross compile을 위한 GNU Compiler Collection과 Scratch box, 통합 개발 환경인 Eclipse, 원격 접속을 위한 RSE, 가상화를 위한 QEMU 등의 특징과 효과적인 활용 방법을 설명한다.

• Archives of Plastic Surgery
• /
• 제37권5호
• /
• pp.595-599
• /
• 2010

Purpose: Trochanteric pressure sores management has been improved through the development of musculocutaneous flaps. But it has many drawbacks such as donor site morbidity and functional muscle sacrifice. With the introduction of perforator flap, it is possible to use in every location where musculocutaneous perforators are present. We have reconstructed trochanteric pressure sores using perforator-based flaps from the ascending branch of lateral circumflex femoral artery. Methods: Between May of 2006 and April of 2008, we performed six cases of perforator-based flap from the ascending branch of lateral circumflex femoral artery for the coverage of trochanteric pressure sores. For identifying perforators, a line was drawn from the anterior superior iliac spine to the superolateral border of the patella as the vertical axis, from the pubis to the trochanteric prominence as the horizontal axis. In the lateral aspect of the intersection of these two axes, various flap were designed according to its defects. The flap was raised in the subcutaneous plane above the fascia and the pedicle was traced by doppler and identified. The pedicle was meticulously dissected not to injure the periadventitial tissues and transposed to the defect. The donor site was closed primarily. Results: The mean age of patients was 56.2 years. Four male and two female patients were studied. Five patients were paraplegic. The mean defect size was $6{\times}4\;cm$. The largest flap dimension was $14{\times}7\;cm$. Donor sites were closed primarily without any complications. All flaps survived completely without necrosis, hematoma or infection. There were no recurrence during the follow-up period. Conclusion: Trochanteric pressure sores using perforator-based flap from the ascending branch of lateral circumflex femoral artery can be performed safely and it would be a reliable option for coverage of trochanteric pressure sores with minimal donor site morbidity.

• Archives of Plastic Surgery
• /
• 제47권5호
• /
• pp.435-443
• /
• 2020

Background The innervated radial artery superficial palmar branch (iRASP) flap was designed to provide consistent innervation by the palmar cutaneous branch of the median nerve (PCMN) to a glabrous skin flap. The iRASP flap is used to achieve coverage of diverse volar defects of digits. However, unexpected anatomical variations can affect flap survival and outcomes. Methods Cases in which patients received iRASP flaps since April 1, 2014 were retrospectively investigated by reviewing the operation notes and intraoperative photographs. The injury type, flap dimensions, arterial and neural anatomy, secondary procedures, and complications were evaluated. Results Twenty-eight cases were reviewed, and no flap failures were observed. The observed anatomical variations were the absence of a direct skin perforator, large-diameter radial artery superficial palmar branch (RASP), and the PCMN not being a single branch. Debulking procedures were performed in 16 cases (57.1%) due to flap bulkiness. Conclusions In some cases, an excessively large RASP artery was observed, even when there was no direct skin perforator from the RASP or variation in the PCMN. These findings should facilitate application of the iRASP flap, as well as any surgical procedures that involve potential damage to the PCMN in the inter-thenar crease region. Additional clinical cases will provide further clarification regarding potential anatomical variations.

• 유통과학연구
• /
• 제11권6호
• /
• pp.13-19
• /
• 2013

Purpose - This study aims to predict the audit reports of listed companies on the Tehran Stock Exchange by using meta-heuristic algorithms. Research design, data, methodology - This applied research aims to predict auditors reports' using meta-heuristic methods (i.e., neural networks, the ANFIS, and a genetic algorithm). The sample includes all firms listed on the Tehran Stock Exchange. The research covers the seven years between 2005 and 2011. Results - The results show that the ANFIS model using fuzzy clustering and a least-squares back propagation algorithm has the best performance among the tested models, with an error rate of 4% for incorrect predictions and 96% for correct predictions. Conclusion - A decision tree was used with ten independent variables and one dependent variable the less important variables were removed, leaving only those variables with the greatest effect on auditor opinion (i.e., net-profit-to-sales ratio, current ratio, quick ratio, inventory turnover, collection period, and debt coverage ratio).