• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.752-762
• /
• 2007

The PSP (Personal Software Process) is developed to help developers make high-quality products through improving their personal process. With consistent measurement and analysis activity that the PSP suggests, developers can identify process deficiencies and make reliable estimates on effort and quality. However, due to the high-overhead and context-switching problem of manual data recording, developers have difficulties in collecting reliable data, which can lead wrong analysis results. On the other hand, the paper-based process guides of the PSP are inconvenient to navigate its process information and difficult to attach additional information. In this paper, we introduce a PSP supporting tool developed to handle these problems. The tool provides automated data collection facilities to help acquire reliable data, an EPG (Electronic Process Guide) for the PSP to provide easy access and navigation of the process information, and an experience repository to store development experience as additional information about the process.

• Nuclear Engineering and Technology
• /
• v.31 no.1
• /
• pp.58-67
• /
• 1999

The purpose is to produce a model of nuclear reactor trip logic caused by the steam generator water level of Wolsong 2/3/4 unit through an activity chart and a statechart and to produce C language automatically using Statechart-based Formalism and Stalemate MAGNUM toolset suggested by David Harel Formalism. It was worth attempting auto-generation of C language though we manually made Software Requirement Specification(SRS) for safety-critical software using statechart-based formalism. Most of the phases of the software life-cycle except the software requirement specification of an analysis phase were generated automatically by Computer Aided Software Engineering (CASE) tools. It was verified that automatically produced C language has high productivity, portability, and quality through the simulation.

• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.10a
• /
• pp.193-199
• /
• 2000

Control system for cutting piston used in vehicle that is one of the 3D shape cutting using CNC lathe is presented. In order to cut the hybrid piston shape using CNC lathe, defined piston shape and change into machine code. The control software was developed for the high speed piston shape cutting. In this paper, the performance of this software was evaluated practically. As a result, the evaluated cutting precision was quantitatively compared with theoretical precision. Also the productivity and the quality by using CNC lathe with control software were evaluated those by using profiling.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.3
• /
• pp.1761-1784
• /
• 2017

In order to improve the embedding rate of reversible watermarking algorithm for digital image and enhance the imperceptibility of the watermarked image, an adaptive reversible image watermarking algorithm based on DE is proposed. By analyzing the traditional DE algorithm and the generalized DE algorithm, an improved difference expansion algorithm is proposed. Through the analysis of image texture features, the improved algorithm is used for embedding and extracting the watermark. At the same time, in order to improve the embedding capacity and visual quality, the improved algorithm is optimized in this paper. Simulation results show that the proposed algorithm can not only achieve the blind extraction, but also significantly heighten the embedded capacity and non-perception. Moreover, compared with similar algorithms, it is easy to implement, and the quality of the watermarked images is high.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.7
• /
• pp.4522-4527
• /
• 2014

Info-communication software contains various functions and services. A software test is the only acceptance test step. Recently, however, all development steps have become important. In particular, the software acceptance step is very high, and a study of the effective use of limited time and resources on acceptance step is needed. This study examined the efficiency of the Test Design Technique for Software Test. The proposed Test Design process was applied to the domain systems of info-communication and the degree of improvement was measured. This paper establishes Software Test design process Infrastructure based on the developed software.

• Journal of Broadcast Engineering
• /
• v.17 no.4
• /
• pp.670-675
• /
• 2012

If the region of interest (ROI) is set within the picture of image and video and the high quality is provided in ROI compared to Non ROI, then overall subjective picture quality can be increased. ROI extracted by the color camera only increases the calculation complexity and reduces the extraction accuracy. In this paper, we use depth camera to set the ROI and calculate the object distance from camera, then propose a method that the different picture quality is controlled by depending on the distance of an object. That is, we apply a high quantization step size to the far object, but relatively a low quantization step size to the close object, so better picture quality can be provided. Simulation results show that applying the differential quantization step size to the distance of objects by the proposed method can improve the subjective picture quality.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.2
• /
• pp.79-88
• /
• 2021

Scientific software requires a development process different from conventional application software due to its unique characteristics, such as expert-level deep domain knowledge requirements. In this study, we proposed a V & V development process based on RE (Reverse Engineering) and TDD (Test-Driven Development) for software development for science. We also configured a virtual scenario for the actual project, applied it, checked the procedure, and refined it. The development process of this study, suggested for the purpose of developing scientific software, will contribute to the development and application of the software that can provide high quality and high reliability. And This study is expected to serve as an opportunity for the development of scientific software and the spread of research.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.17 no.1
• /
• pp.144-149
• /
• 2008

This study presents the selection of cutting conditions in high speed pipe cutting machine for the better quality. A high speed pipe cutting machine which uses a rotary knife can make good quality products in short time. But, the machine is much sensitive by cutting conditions because of the complicated mechanism. In this reason, many experiments for cutting condition selection are necessary to improve quality of production. This study carried out cutting experiments with the three factors that are cutting RPM, cutting force and pooling force. 2-dimensional profile measuring instrument is used to measure which is represented by ${\Delta}h$, a sum of burr and collapse height. The effects of factors are analyzed by using MINITAB, the commercial software.

• Journal of Information Technology Applications and Management
• /
• v.25 no.4
• /
• pp.115-122
• /
• 2018

Software reliability has the greatest impact on computer system reliability and software quality. For this software reliability analysis, In this study, we compare and analyze the trends of the properties affecting the reliability according to the shape parameters of Erlang distribution based on the finite fault NHPP. Software failure time data were used to analyze software failure phenomena, the maximum likelihood estimation method was used for parameter estimation. As a result, it can be seen that the intensity function is effective because it shows a tendency to decrease with time when the shape parameters a = 1 and a = 3. However, the pattern of the mean value function showed an underestimation pattern for the true values when the shape parameters a = 1 and a = 2, but it was found to be more efficient when a = 3 because the error width from the true value was small. Also, in the reliability evaluation of the future mission time, the stable and high trend was shown when the shape parameters a = 1 and a = 3, but on the contrary, when a = 2, the reliability decreased with the failure time. Through this study, the property of finite fault NHPP Erlang model according to the change of shape parameter without existing research case was newly analyzed, and new research information that software developers can use as basic guideline was presented.