• Journal of Korea Society of Industrial Information Systems
• /
• v.6 no.4
• /
• pp.22-29
• /
• 2001

As the importance of software measurement increases, there are more researches developing the new software measure. Given the importance of object-oriented development techniques, one specific area where this has occurred is coupling measurement in object-oriented systems. This thesis presents the coupling measure COM based on the methods and OOC based on the classes in measuring the coupling of object-oriented systems. And, it evaluates them using the coupling properties suggested by Briand while it compares them with other coupling measures by applying them to a system developed in the language of C++programming language.

• The KIPS Transactions:PartD
• /
• v.10D no.5
• /
• pp.859-872
• /
• 2003

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.velopment.

• The KIPS Transactions:PartD
• /
• v.15D no.3
• /
• pp.313-320
• /
• 2008

A typical software development life cycle consists of a series of phases, each of which has some ability to insert and detect defects. To achieve desired quality, we should progress the defect removal with the all phases of the software development. The well-known model of phase-based defect profile is Gaffney model. This model assumes that the defect removal profile follows Rayleigh curve and uses the parameters as the phase index number. However, these is a problem that the location parameter cannot present the peak point of removed defects when you apply Gaffney model to the actual situation. Therefore, Gaffney model failed to represent the actual defect profile. This paper suggests two different models: One is modified Gaffney model that introduce the parameter of Putnam's SLIM model to replace of the location parameter, the other is the growth function model because the cumulative defect profile shows S-shaped. Suggested model is analyzed and verified by the defect profile sets that are obtained from 5 different software projects. We could see from the experiment, the suggested model performed better result than Gaffney model.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.1
• /
• pp.82-95
• /
• 2007

The paper focuses on how to classify as well as to define the Architecture Patterns which are popularly used in the design of software architecture. In order to achieve this purpose, we propose not only the revised methodology for Pattern-Oriented Software Architecture Design, but also new method of classification and definition for the Architecture Patterns. Especially, because the patterns are so diverse depending on the level of abstraction and types of applications, it was considered to have some different views of classification of the patterns in order to support convenient access to classified and stored patterns. The abstraction of the pattern is another important result of the research, which is devised for concrete expression of the patterns and for presentation of the interrelation among group of the patterns. The research also includes the extension of the quality model popularly adopted in the software domain, which enables the description of the patterns with the well defined quality attributes in terms of software architecture's point of view.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.409-429
• /
• 1997

Problems encountered during software development or pteration nay result from defects in the software,ghrdware,or their oterations.Because of their diversity,the determination of the sources of a problem and its corrective adtion requires a centrally controlled system for monitoring provlems and detemining systematiccauses. In the paper,the SPR/SCR management system was developed and applied for the collection and analysis of the error data,process data and product data delected by each phasd in SDLC.There are four objectibes in the SPR/SCR management system.The first is to assure that software errors are documented,corrected,and vot forgottem. The second is to assure that SPR.are assessed for their validity.The third is to provide feedback on SPR status to the developer and the user.The fourth is ot prvide data for measuring and prediciting sofware quality and reliability.These goals could be satisfied by the application of the SPR/SCR mangement system.Also,the accomplishment rate of software reliability,criterion of test completion,estimation of release time, efficient development and management can be reflected by applying the SPR/SCR management system.

• 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.

• Annual Conference of KIPS
• /
• 2001.10b
• /
• pp.1339-1342
• /
• 2001

통신 및 네트웍 사용자의 증가와 실시간 처리를 요하는 멀티미디어 데이터 서비스의 증가로 인해 네트웍 트래픽의 증가, 서비스 품질 저하 및 접속 속도의 감소를 초래하게 되었다. 이러한 문제를 해결하기 위하여 기존 라우터 보다 용량이 크면서 한계를 극복할 수 있는 장비가 검토 중에 있으며 또한 라우터의 총량확장에 따른 테이블의 크기 증가와 효율적인 경로 선택을 위한 검색 시간 증가를 초래하게 되므로 라우팅 테이블의 구성방식에 대한 연구는 매우 중요하다. 본 논문은 Zebra 라는 TCP/IP 기반의 라우팅 프로토콜을 관리하는 프리 소프트웨어를 이용하여 라우팅 테이블의 구조와 구성방식에 대하여 분석하며 비교 알고리즘의 구현 및 성능 비교와 평가를 통하여 그 정당성을 검증한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2000.10a
• /
• pp.400-405
• /
• 2000

Software Engineering covers techniques, tools, and methodologies needed to develop, acquire, and manage software in high quality, using appropriate resources. Therefore it can be said that the administration target of software engineering activities is the pursuit of high productivity for production of software in good quality. To do this, they should establish the engineering principle based on engineering theory and concept, and form the effective environment of engineering technology through improving development methods/methodology and tools of software engineering. In addition several guidances related to information system planning, acquisition, development, management, maintenance, and evaluation, etc. must be invented on the basis of software engineering to encourage efficiency of public information business yearly increasing fastand to make sure compatibility and interoperability. Technology, its developing and marketing situation, and standardization status are treated in this paper.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.5
• /
• pp.173-182
• /
• 2007

e-Learning can be seen as not only one of Internet based information systems which can provide education services, but also one of teaching-learning methods which can implement self-directed learning. This paper tests factors affecting the e-Learning performance based on information systems success model and self-efficacy theory using a field study. Questionnaires are collected from 216 students who are enrolling a e-learning class using online survey. The results are following: first, the service quality and self-efficacy are significant predictors of use intention, but system quality and information quality are not. second, the system quality, information quality, service quality and self-efficacy are significant predictors of user satisfaction. Third, use intention and user satisfaction are found to be a strong predictor of the learning performance.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.35-44
• /
• 2005

A software developer can use a performance evaluation tool to elevate development speed and improve qualify of softwares. But, evaluation results that most performance evaluation tools offer are complicated strings. Therefore, a developer cannot intuitively understand the meanings of the results and must make much times and efforts in analysing the result. In this paper, we propose a report view generator that can transform and provide the text-based performance evaluation results for softwares with various graphic-based views. Our proposed generator consists of a screen generator that creates a structural XML document about the text-based performance evaluation results and a log analyzer that makes various report view through the created XML evaluation document. Because the XML evaluation result document can express the result information structured according to performance evaluation items for resources of softwares, it can have flexibility in offering and integrating the result information for the items. Through the suggested report view generator, developers can intuitively understand and analysis performance evaluation results of embedded software. And they can easily and quickly improve software quality and improve development efficiency of softwares.