• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.603-612
• /
• 2002

Area of software measurement in software engineering is active more than thirty years. There is a huge collection of researches but still no concrete software development effort and cost estimation model. If we want to measure the effort and cost of a software project, we need to estimate the size of the software. A number of software metrics are identified in the literature; the most frequently cited measures are LOC (line of code) and FPA (function point analysis). The FPA approach has features that overcome the major problems with using LOC as a measure of system size. This paper presents simple linear regression model that related software development effort to software size measured in FP. The model is derived from the plotting of the effort and FP relation. The experimental data are collected from 789 software development projects that were recently developed under the various development environments and development methods. Also, the model is compare with other regression analysis model. The presented model has the best estimation ability among the software effort estimation models.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• The KIPS Transactions:PartD
• /
• v.13D no.5 s.108
• /
• pp.699-708
• /
• 2006

The latest biometric field have marched fast with security technology of IT. As importance of present biometrics is realized, internal and external biometrics software market is trend that is soaring. Accordingly, high reliability of biometric software and request of high quality software are enlarged. Evaluation items and criteria must be established for biometric software quality assurance. In this paper, we development the evaluation module for biometric software test based on ISO/IEC 12119 that is the standard about software quality requirement and test, and ISO/IEC 9126 that is standard about evaluation of software product, and ISO/IEC 14598-6 that is the standard about construction of the evaluation module. Constituents of biometric software products(product descriptor, user document program and data) is subject to the quality evaluation module that we developed in this paper, we can expect improvement in the quality of software by using with a standard such as ISO/IEC 9126-3 that can be used in software development process.

• Korean Journal of Weed Science
• /
• v.31 no.1
• /
• pp.8-23
• /
• 2011

Weeds are one of the major constraints to crop production in organic farming systems. This paper reviews major results and techniques achieved with physical, cultural, and biological weed control and their perspectives in organic agriculture. Physical methods includes mechanical, thermal, lighting, electrocution, pneumatic, autonomous robot weeding control techniques. Cultural weed control methods includes mulching, tillage, crop rotation, cover crops and crop competition. Physical and cultural weed control techniques are especially important in organic farming crops where other weed control options are limited or not available without use of herbicides. Biological weed control includes mycoherbicides, innundative biological control, broad-spectrum biological control and allelopathy. Successful weed management in organic farming requires well managed integrated systems of mechanical control using newly developed machines, cultural control and biological control methods. Weed management decision-aid models may also needed to develop to provide greater assurance of achieving profitability and appropriate long-term weed management in organic farming in the future.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.860-867
• /
• 2015

In the defense field, weapon systems are increasing in importance, as well as the weight of the weapon system embedded software development as an advanced technology. As the development of a network-centric warfare has become important to secure the reliability and quality of embedded software in modern weapons systems in battlefield situations. Also, embedded software problems are transferred to the production stage in the development phase and the problem gives rise to an enormous loss at the national level. Furthermore, development companies have not systematically constructed a software reliability test. This study suggests that approaches about a qualityverification- system establishment of embedded software, based on a variety of source code reliability test verification case analysis.

• KIISE Transactions on Computing Practices
• /
• v.21 no.9
• /
• pp.616-621
• /
• 2015

Recently developed software systems have many components, and their complexity is thus increasing. Last year, about 375 bug reports in one day were reported to a software repository in Eclipse and Mozilla open source projects. With so many bug reports submitted, developers' time and efforts have increased unnecessarily. Since the bug severity is manually determined by quality assurance, project manager or other developers in the general bug fixing process, it is biased to them. They might also make a mistake on the manual decision because of the large number of bug reports. Therefore, in this study, we propose an approach of bug severity prediction to solve these problems. First, we find similar topics within a new bug report and reduce the candidate reports of the topic by using the meta field of the bug report. Next, we train the reduced reports by applying Naive Bayes Multinomial. Finally, we predict the severity of the new bug report. We compare our approach with other prediction algorithms by using bug reports in open source projects. The results show that our approach better predicts bug severity than other algorithms.

• Journal of KIISE:Software and Applications
• /
• v.35 no.4
• /
• pp.234-244
• /
• 2008

Since the advent of Six Sigma in 1980's, Six Sigma is widely used in various industry areas, such as manufacturing, financial, government, and service, and proves its innovation ability and value by providing lots of success stories. Several researches have been conducted to adopt Six Sigma for Software Development and Software Quality Assurance-Software Six Sigma. Although the wide use of Six Sigma, there is no software tool to support the execution of Six Sigma Project. For this reason, the Quantitative Six Sigma Project Management is required to support for measuring and analyzing Six Sigma Projects, storing and reporting the results from Six Sigma Projects, and managing Six Sigma Projects through the whole process of, DMAIC or DMADV. In this paper, we introduce the design and implementation of a Quantitative Six Sigma Project Management Framework and Tool. The execution of Six Sigma Project based on Six Sigma Project Management Tool benefits the quantification, the systematization, and the integration.

• KIPS Transactions on Computer and Communication Systems
• /
• v.5 no.9
• /
• pp.275-284
• /
• 2016

The software used in the nuclear safety field has been ensured through the development, validation, safety analysis, and quality assurance activities throughout the entire process life cycle from the planning phase to the installation phase. However, this evaluation through the development and validation process needs a lot of time and money, and there are limitations to ensure that the quality is improved enough. Therefore, the effort to calculate the reliability of the software continues for a quantitative evaluation instead of a qualitative evaluation. In this paper, we propose a reliability evaluation method for the software to be used for a specific operation of the digital controller in a nuclear power plant. After injecting weighted faults in the internal space of a developed controller and calculating the ability to detect the injected faults using diagnostic software, we can evaluate the software reliability of a digital controller in a nuclear power plant.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.9
• /
• pp.339-348
• /
• 2021

In recent software defect prediction research, defect prediction between cross projects and cross-version projects are actively studied. Cross-version defect prediction studies assume WP(Within-Project) so far. However, in the CV(Cross-Version) environment, the previous work does not consider the distribution difference between project versions is important. In this study, we propose an automated Bayesian optimization framework that considers distribution differences between different versions. Through this, it automatically selects whether to perform transfer learning according to the difference in distribution. This framework is a technique that optimizes the distribution difference between versions, transfer learning, and hyper-parameters of the classifier. We confirmed that the method of automatically selecting whether to perform transfer learning based on the distribution difference is effective through experiments. Moreover, we can see that using our optimization framework is effective in improving performance and, as a result, can reduce software inspection effort. This is expected to support practical quality assurance activities for new version projects in a cross-version project environment.

• Journal of The Korean Society of Emergency Medicine
• /
• v.29 no.5
• /
• pp.399-407
• /
• 2018

Objective: Regionalization is one of the principal subjects for the advancement of rural emergency medical service systems in South Korea. This study shows the characteristics of interhospital transfer and status of the incidence of three major emergency disorders (acute myocardial infarction [AMI], acute stroke, and severe trauma) in one local province. Methods: A retrospective study was conducted for patients with three major emergency disorders who visited emergency medical facilities in one local province from January 2013 to December 2015, on the basis of the National Emergency Department Information System (NEDIS) data. Results: The incidence of three major emergency disorders had increased annually. Patients with each of these disorders tended to choose distinguishing methods of visiting emergency medical facilities. AMI patients tended to visited emergency medical facilities using private cars or on foot, while severe trauma patients usually visited by 119 ambulance, and acute stroke patients used 119 ambulance and private car in similar amounts. Overall, 65% of AMI patients were treated in intraregional medical facilities, but about 70% of acute stoke and severe trauma patients were transferred outside of the region. Conclusion: Because each of these disorders has an individual characteristic, it is difficult to expect a solution for the problems associated with emergency disorders just by assuring the availability of medical resources. Based on regionalization, a policy to provide the optimal treatment for those emergency disorders should be developed by planning public medical service systems based on the individual characteristics of emergency disorders, the standardized transfer plans of emergency patients and the assurance for mobilization and sharing of confined medical resources.