Go to the main menu
Skip to content
Go to bottom
REFERENCE LINKING PLATFORM OF KOREA S&T JOURNALS
> Journal Vol & Issue
The KIPS Transactions:PartD
Journal Basic Information
Journal DOI :
Korea Information Processing Society
Editor in Chief :
Volume & Issues
Volume 10D, Issue 7 - Dec 2003
Volume 10D, Issue 6 - Oct 2003
Volume 10D, Issue 5 - Aug 2003
Volume 10D, Issue 4 - Aug 2003
Volume 10D, Issue 3 - Jun 2003
Volume 10D, Issue 2 - Apr 2003
Volume 10C, Issue 2 - Apr 2003
Volume 10D, Issue 1 - Feb 2003
Volume 10, Issue 7 - 00 2003
Volume 10, Issue 5 - 00 2003
Volume 10, Issue 4 - 00 2003
Volume 10, Issue 3 - 00 2003
Volume 10, Issue 2 - 00 2003
Volume 10, Issue 1 - 00 2003
Selecting the target year
Cohesion and Coupling Metrics for Component Design Model
고병선 ; 박재년 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 745~745
The component-based development methodology becomes famous as the reuse technology for independence and productivity of software development It is necessary component metrics for component-based systems, because It should be measurable to improve the quality of the software. Hence, in this paper, we propose component cohesion and coupling metrics which is reflected in characteristics of component. The operation use value is calculated by the information of classes interface commonly uses to offer the component's service. And, the operation similarity value is calculated by the operations use value. Component cohesion and coupling is calculated by the operation similarity and based of the information which is extracted in the analysis phase. And, we examine the necessity of component metrics in comparison with object-oriented metrics.
Fuzzy based Thesaurus Construction Supporting Component Retrieval
김귀정 ; 한정수 ; 송영재 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 753~753
Many Methodologies have proposed for component retrieval. Among them, thesaurus concept has introduced for similar component retrieval. This paper classified classes by concept according to inheritance relation for efficient retrieval of component, and applied fuzzy logic to thesaurus method and constructed object-oriented thesaurus. Proposed method could express category between concepts automatically, and calculate fuzzy degree between classes by comparing matching and mismatching degree to each class and category and construct thesaurus. Component retrieval is that using classes of component, candidate components are retrieved according to priority order using fuzzy similarity. Also, we improved retrieval performance by thesaurus greatly, setting critical of most suitable through simulation.
Pattern-Oriented Software Development Process using Incremental Composition for Design Patterns
김운용 ; 최영근 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 763~763
Design patterns are known widely by the techniques to improve software qualify. The design patterns are efficient solutions for problems occurring frequently in software development. Recently there are wide researches for design patterns to find them and to verify usability for them. But there are very few researches to define systematic development approaches about constructing application using design patterns. In this paper, we propose an approach for the pattern-oriented software development process using incremental composition for design patterns. For this proposal, first we define a development process using design patterns, propose technique for incremental composition for design patterns and view ports for software in the process. Also we deal with the problem of efficient traceability and maintenance to design patterns in the software system. And we use a feedback framework system as an illustrative example to show how the process can be used to develop the pattern-oriented software. In the development of software, the systematic development approach and usage increase efficiency to develop the system by using design experience and technique early in the development lifecycle. Therefore the system will assure the high stability and reusability and offer the low cost and time for development.
Test on the Security and Performance on the Basis of the Access Control Policy Implemented by Secure OS
김정녀 ; 손승원 ; 이철훈 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 773~773
SecuROS(Secure & Reliable Operating System) prevents and blocks possible system cracking by implementing additional security functions in FreeBSD 4.3 operating system (OS) kernel, including access control, user authentication, audit trail, encryption file system and trusted channel. This paper describes access control technique, which is one of core technologies of SecuROS, introduces the implementations of DAC, MAC and RBAC, all of which are corresponding access control policies, and show security and results of performance measurement on the basis of application of access control policies. Finally, security and performance between conventional OS environment and environment adopting access control policy is described.
Study on Development of Medical Software Evaluation Criteria
양해술 ; 편웅범 ; 이정림 ; 유규하 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 781~781
We medical software is becoming important means to secure competitive power of medical service by explosive increase of medical device based on software, and the quality of medical service is affected to quality of medical software as well as medical devices. But domestic related study and development is not sufficient for quality of medical software, and a falling-off in medical software quality can induce a falling-off in quality of medical service. Therefore, it is necessary to raise qualitative level of medical service by progress and quality improvement of medical devices. Therefore, in this paper, we developed test module and qualify inspection table which can test medical software and produce result based on ISO/1EC 12119.
Design and Implementation of Compatible Certification System of International Standard based Industrial Software
양해술 ; 최민용 ; 박인수 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 793~793
In the latest, it's increasing an applied technology to be related with growth of industry circles. It's one of them a software to be used in industry circles. and It's most important part to apply an industrial equipment, so software to take charge of major part is indicative performance of quipment. At this time, it's inspired an evaluation and measurement of software quality to have within industrial equipment, and it's forming the research and development by the inside and outside of the country. For this, it's constructed a valuation metric to be based on ISO/IEC 12119, the International Standard for general the terms desired of quality of software and ISO/IEC 9126-2, the International Standard of the terms valuation of qualify for evaluation and measure, and for this accomplishment, It has been designed and developed industrial software international standard compatible approval system which approve a quality based on quality test result of industrial software using the ISO/IEC 14598-6 that international standard for organization of evaluation module.
The Bayesian Analysis for Software Reliability Models Based on NHPP
이상식 ; 김희철 ; 송영재 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 805~805
on a nonhomogeneous Poisson process (NHPP) and performs Bayesian inference using prior information. The failure process is analyzed to develop a suitable mean value function for the NHPP; expressions are given for several performance measure. The parametric inferences of the model using Logarithmic Poisson model, Crow model and Rayleigh model is discussed. Bayesian computation and model selection using the sum of squared errors. The numerical results of this models are applied to real software failure data. Tools of parameter inference was used method of Gibbs sampling and Metropolis algorithm. The numerical example by T1 data (Musa) was illustrated.
Efficient Counterexample Generation for Game Solving in NuSMV
권기현 ; 이태훈 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 813~813
This paper solves Push-Push game with the model checker NuSMY which exhaustively explores all search space to determine whether a model satisfies a property. In case a model doesn't satisfy properties to be checked, NuSMV generates a counterexample which tells where this unsatisfaction occurs. However, the algorithm for generating counterexample in NuSMV traverses a search space twice so that it is inefficient for solving the game we consider here. To save the time to be required to complete the game, we revise the part of counterexample generation so that it traverses a search space once. As a result, we obtain 62% time improvement and 11% space improvement in solving the game with modified NuSMV.
Development of Package Software Test Process and Evaluation Module
이하용 ; 황석형 ; 양해술 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 821~821
Package software should have the feature that enables purchasers to discriminate a product suitable for them among a number of software belonging to the similar kind of product. Purchaser's ability to choose a package software depends on whether they can judge that a package software conforms to the relevant standard through an objective quality test process and method or not. There are the standards that can be applicable to the quality evaluation of package software, such as
. This study developed a system with which purchasers can effectively select a package software suitable for their needs, building quality test process for package software and developing test metric and application method
Performance estimation for Software Reliability Growth Model that Use Plot of Failure Data
정혜정 ; 양해술 ; 박인수 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 829~829
Software Reliability Growth Model that have been studied variously. But measurement of correct parameter of this model is not easy. Specially, estimation of correct model about failure data must be establish and estimation of parameter can consist exactly. To get correct testing, we calculate the normal score and describe the normal probability plot. Use the normal probability plot, we estimate the distribution for failure data. In this paper, we estimate the software reliability growth model for through the normal probability plot. In this research, we applies software reliability growth model through distribution characteristics of failure data. If we see plot, we determine the software reliability growth model, we can make sure superior in model's performance estimation.
A Study on the Operational Stage Reliability of Dedicated Software
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 837~837
^x The software reliability have to be improved as one major method to enhance the quality of developed software, and its defect is detected and modified through testing as a direct way to meet the purpose before releasing. Once its reliability grows up to the target and it is released to public. there nay be operational reliability problem. The operational software reliability trend nay be different depending on the condition whether it is universal or dedicated. And its reliability estimation is changed based on the condition if it follows uniform testing efforts or Weibull testing efforts. I study the operational reliability trend of dedicated software, applying two case testing efforts for the released item.
An Efficient Reengineering Process for Legacy System Evolution
최일우 ; 류성열 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 845~845
The various software engineering techniques have been come out in order to cope with the software crisis since 1980's. These days the software Engineering has focused on the process of software development which is the guide for a qualify and productive improvement of software. But, most of the methodologies assume that a new system will be constructed and reused in the future. these do not support how we reuse legacy system's resources and construct a new system efficiently. In this paper, we present an efficient Reengineering Process for legacy system evolutions, RUP+re, which extends and customizes RUP. RUP+re consists of Reverse Engineering Workflow, Transformation Workflow and Evolution Workflow based on Small-h model. We describe RUP+re's workflows with their own detail steps and verify the process through the case study practivally. So, we provide efficient guidelines to the software Reengineering process construction which evolutes the resources of a legacy system.
A Metrics-Based Approach to the Reorganization of Class Hierarchy Structures
황석형 ; 양해술 ; 황영섭 ;
The KIPS Transactions:PartD, volume 10, issue 5, 2003, Pages 859~859
Class hierarchies often constitute the backbone of object-oriented software. Their quality is therefore quite crucial. Building class hierarchies with good qualify is a very important and common tasks on the object oriented software development, but such hierarchies are not so easy to build. Moreover, the class hierarchy structure under construction is frequently restructured and refined until it becomes suitable for the requirement on the iterative and incremental development lifecycle. Therefore, there has been renewal of interest in all methodologies and tools to assist the object oriented developers in this task. In this paper, we define a set of quantitative metrics which provide a wav of capturing features of a rough estimation of complexity of class hierarchy structure. In addition to, we suggest a set of algorithms that transform a original class hierarchy structure into reorganized one based on the proposed metrics for class hierarchy structure. Furthermore, we also prove that each algorithm is "object-preserving". That is, we prove that the set of objects are never changed before and after applying the algorithm on a class hierarchy. The technique presented in this paper can be used as a guidelines of the construction, restructuring and refinement of class hierarchies. Moreover, the proposed set of algorithms based on metrics can be helpful for developers as an useful instrument for the object-oriented software development.