• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• Journal of Wetlands Research
• /
• v.17 no.3
• /
• pp.303-310
• /
• 2015

Recently the water quality management policy gives priority to management the point source. Point pollution sources have definite emission points and are discharged to one point through a pipe. But Nonpoint pollution source (NPS) has uncertain pathway, pollutant load and runoff characteristics unlike point pollution sources, making them difficult to manage. Thus, the Korea government plans to develop and equip facilities that help reduce NPS so as to manage them more easily. But removal efficiency of Best Management Practice (BMPs) is in influenced by rainfall, hydrologic condition like natural phenomenon, so factors of removal efficiency are difficult. Thus there is a need for multilateral research about many factors that affect removal efficiency for removal facility design of proper non-point pollution. In this research, mapping, vegetation coverage and retention time were investigated in the case of factors that affect removal efficiency in grassed swale, a nature-type non-point removal facility. Grassed swale obtained changed of coverage using Braun-Blanquet within swale and retention time was obtained from point that rainfall effluent enters into swale to the time that first outflow starts. Besides, correlation analysis was obtained using pearson correlation analysis method. As a result, it was shown that removal efficiency increases as retention time is longer in grassed swale and that retention time increases as vegetation coverage is higher.

• Korean journal of communication and information
• /
• v.32
• /
• pp.7-48
• /
• 2006

The study explores how Korea's major newspaper cover about science news, especially how newspaper frame biotechnology news including new source, news construction ways, coverage trend. The research has a research design to find out coverage pattern or model with frame theory. The result shows that the newspaper has some aspect of frame through out the biotechnology development in the section, theme, source, complexity. The section has been expend to the society and international section, while the theme shift from disease or cancer cure to life itself, genome, or stem cell. In the complexity, the biotechnology news stories have been developed a story plot (event-problem-development-solution). In the climax, the news coverage focuses on the explanation of biotechnology news.

• Journal of Software Engineering Society
• /
• v.25 no.1
• /
• pp.1-9
• /
• 2012

RFID systems have been widely used in various fields such as logistics, distribution, food, security, traffic and others. A RFID middleware, one of the key components of the RFID system, perform an important role in many functions such as filtering, grouping, reporting tag data according to given user specifications and so on. However, manual test data generation is very hard because the inputs of the RFID middleware are generated according to the RFID middleware standards and complex encoding rules. To solve this problem, in this paper, we propose a black box test technique based on RFID middleware standards. Firstly, we define ten types of input conversion rules to generate new test data from existing test data based on the standard specifications. And then, using these input conversion rules, we generate various additional test data automatically. To validate the effectiveness of generated test data, we measure coverage of generated test data on actual RFID middleware. The results show that our test data achieve 78% statement coverage and 58% branch coverage in the classes of filtering and grouping, 79% statement coverage and 64% branch coverage in the classes of reporting.

• Korean journal of communication and information
• /
• v.48
• /
• pp.211-230
• /
• 2009

This study aims to trace the main tendency found in Korean broadcasting news coverage of terror throughout the kidnapping of Sun Il Kim. For this purpose, this study analyzed the contents of 386 news stories found in KBS, MBC, and SBS. Through this process, it investigated the main theme and source found in the coverage of kidnapping. In addition, it analyzed how the press described Al Tawhid Al Jihad, known as the organization who kidnapped Mr. Kim and how well the press transmit the social, historical background of terror. As a result, the dominant theme found in three news company was that which dealt with investigations about suspicions about kidnapping and suspicions related to the kidnapping. However, the voice against dispatching armed forces and the demand of terrorist were seldom found in the coverage. The news sources which three broadcasting news depended on heavily was governmental officials and the media including Al Jazeera was also main source. The description of Al Tawhid Al Jihad by the press was somewhat negative and the expression 'militarized forces' were found mostly. The news which announced the social, historical background of terror were minimal, which indicated that the coverage of terror in Korean broadcasting was still episodic.

• Journal of Periodontal and Implant Science
• /
• v.25 no.1
• /
• pp.146-152
• /
• 1995

A mucogingival grafting procedure has been developed to cover denuded root surfaces. The subepithelial connective tissue graft is composed of a free connective tissue graft and an overlying pedicle graft. The source of connective tissue graft were trap door approach and thining of a full thickness palatal flap. The purpose of this study was compare a two different connective tissue obtaining method. In this study, where palatal pocket was present, pocket elimination was performed, and the tissue normally discarded after thinning of the palatal flap was used as a grafting material. The results were as follows : 1. The mean difference between trap door approach and thinning procedure for root coverage were $2.1{\pm}O.lmm$, $2.2{\pm}O.2mm$. 2. The mean difference between trap door approach and thinning procedure for pocket depth change were $O.2{\pm}O.lmm$, $O.2{\pm}O.2mm$. 3. The mean difference between trap door approach and thinning procedure for attachment gain were $2.1{\pm}O.2mm$, $2.4{\pm}O.2mm$. 4. The esthetics in recipient site, both color match and tissue contour, were acceptable to the patient in all cases. 5. Therefore, thinning procedure were similar to trap door approach in root coverage effect.

• Journal of Preventive Medicine and Public Health
• /
• v.43 no.3
• /
• pp.279-282
• /
• 2010

Objectives: This study investigates whether Korean news media pay more attention to emerging diseases than chronic ones, and whether they closely follow the changes in the magnitude of health risks of chronic or well-known diseases. These two features are expected to appear as the result of surveillance function served by health journalism that should be the main source of the public's risk perception. Methods: The number of stories published in 10 newspapers containing the words, 'SARS,' 'Bovine Spongiform Encephalopathy,' 'Avian Influenza,' and 'Influenza A virus' was compared with the number of stories on chronic or wellknown diseases. We also counted the annual number of stories, published in a 12-year period, containing following terms: 'cancer,' 'diabetes,' 'hypertension,' 'pneumonia,' and 'tuberculosis.' The number was compared with the actual mortality of each disease. Results: Although cancer represented the primary cause of mortality, the newspapers covered key emerging diseases more than cancer or other well-known diseases. Also, media coverage of 'pneumonia' and 'tuberculosis' did not vary in accordance with changes in the mortality of each disease. However, the news media coverage did vary in accordance with the mortality of 'cancer,' 'diabetes,' and 'hypertension.' Conclusions: Korean health journalism was found to have both strong and weak points. The news media reduced the relative level of attention given to pneumonia and tuberculosis. Bearing in mind the major influence of news coverage on risk perception, health professionals need to be more proactive about helping to improve Korean health journalism.

• Korean Journal of Social Welfare Studies
• /
• v.41 no.2
• /
• pp.35-65
• /
• 2010

The purpose of this study is to identify the relationship between health insurance and health by evaluating the impacts of health insurance coverage expansion on health care utilization and health status. To analyze the causal relationship between health insurance and health, this study employed a "difference-in-difference method" that could compare changes in health care utilization and health status across groups in health insurance coverage expansion in 2005. The researcher predicted that the expansion of health insurance coverage would be an exogenous source of variation in the prices of health service use. First, the difference-in-differences estimator between 'illness group' and 'non-illness group' revealed that the increase in coverage of inpatient care services would result from the increases in the stay of length of 'non-illness group' rather than that of 'illness group'. However, the difference-in-differences estimator between 'serious illness group' and 'chronic illness group' identified that the policy change that focuses on expansion of the coverage for 'serious illness' effects on the increases in health care utilization and promotion of health status. In summary, the changes of health insurance coverage focusing on serious illness and inpatient care have positive effects on health care utilization and health status of serious illness group. But, 'non-illness groups' with acute illness receive more benefits from the policy change than 'illness group' with chronic illness.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.601-602
• /
• 2011

In wireless sensor networks, coverage problem is a fundamental issue that has attracted considerable attention in recent years. Most node scheduling patterns utilize the adjustable range of sensor to minimize the sensing energy consumption. However, a large source of consumption of communication energy of sensor is not strictly taken into account. In this paper, we introduce an energy-efficient pattern that is used to minimize the communication energy consumption of a sensor network. Calculations and extensive simulation are conducted to evaluate the efficiency of the new pattern comparing to existing ones.

• The Bulletin of The Korean Astronomical Society
• /
• v.40 no.2
• /
• pp.38.4-39
• /
• 2015

We have been monitoring Sgr A*, the radio source at the center of our galaxy, continuously since G2 encounter was predicted. KaVA is a powerful High resolution imaging array at K and Q band, and it has a excellent uv-coverage for Sgr A*. Together with 1-Gbps recording, our observations have provided high-quality images of Sgr A* at Q-band. Our images reveal a scatter-broadened, elliptical Gaussian structure of the source. We found no significant flux or structural variation of Sgr A* in 2013-2014, which is consistent with recent simulations by Kawashima et al. Continuous monitoring in the coming few years would be able to capture the possible flux increase in the source caused by G2, which will lead to better understanding of the accretion process around supermassive black holes.