• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.760-772
• /
• 2004

Component Based Development(CBD) Methodology is widely used in software development lifecycle to improve software quality. The Component Based Development(CBD) results to improve software reusability and reduce development term and cost. For this reason, lots of Enterprises are trying to make their processes to components. But, there has been few quality assurance or reusability testing action to those components. Most software component users can not know how their components are reusable and what extent their components satisfy to th eir quality requirements. For this reason, this paper suggests that software components can be measured their reusability by metrics proposed by this paper. We propose that in measuring software component reusability, there are direct metrics and indirect metrics. The results made by direct metrics are suggested to measure indirect metrics, so results to obtain reusability metrics.

• The Journal of the Korea Contents Association
• /
• v.9 no.7
• /
• pp.110-120
• /
• 2009

Recently raising the recognition and it joins in about software quality evaluation and authentication and the recognition is augmented in about importance of the high quality security which leads a quality investment from the software development enterprise. The quality investor do to become accomplished but substantially from which degree level, quality investment it leads and the verification of software quality improvement does not become accomplished substantially and with without being it does and wants the enterprises where are clear the quality improvement which leads a quality investment does not set the direction where the problem occurs. From the research which it sees international ISO/IEC 9126 where it is standard and in about software test ISO/IEC 12119 where it is a guide it constructed the metric in base and software tentative instance it led and is accumulated and the defect data which it analyzed. result escape it investigated/to analyze quality level and it analyzed is weak from development process part and a defect level and the quality rating instance of Middleware] software and escape a disposal plan it investigated. The research which it sees it leads and it induces it is quantitative/that there is a possibility of being sufficient it sees the quality increase of Middleware software and the demand which is qualitative.

• The Journal of Korean Association of Computer Education
• /
• v.3 no.2
• /
• pp.87-94
• /
• 2000

Software productivity doesn't satisfy the need of service of software users and software quality isn't improved. Moreover, we still have difficulty in software maintenance. As a plan to counteract solving this crisis, the technology that is called CBSE or Componentware is introduced. Componet Based Software Architecture, one of the technologies associated with CBSE, as a structural description of system, describes both the components composed system of and interaction among these components. Software Architecture provides the technology and the methodology of composition among components in the field of CBSE. is accepted one of core technologies. In this thesis, we analyse information necessary for component specification and then proposed that component specificaton activities using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 9 tasks. By presenting specific 11 products, it is also proposed that component specification activities which is the base of CBSD(ComponentBased Software Development) for reusing.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.8
• /
• pp.730-740
• /
• 2000

The software rejuvenation method for highly available multiplex systems uses a pro-active fault-tolerant approach to handle system failures. The software rejuvenation prevents failures from occurring, while the previous methods recover from failures after happening. Especially, since the software aging proceeds fast in the software used for the multimedia mobile computing due to the loss of communications or data, the preventive method from failures using software rejuvenation can be used for the multimedia mobile computing. In this paper, according to the operational parameters such as rejuvenation period, rejuvenation time, failure rate and repair rate of the servers, number of running servers, duration of running time, and type of running modes, we calculate steady-state probabilities, downtime, availability, and cost of the multiplex systems using software rejuvenation method. We validate the closed-form solutions of the mathematical model by experiments based on various operational parameters and find that the software rejuvenation method can be adopted as preventive fault-tolerant technique. The failure rate and unstable rate of the servers are essential factors for the decision making of the rejuvenation policies.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.73-82
• /
• 2009

Open Source Software has over 60 percent of application software development but previous studies of objective quality model and characteristic to utilize Open Source Software appeared to be low and there are few studies regarding quantitative evaluation methods to evaluate Open Source Software. To solve these problems, in this paper, we propose a quality evaluation model, "Logical Open Source Software quality model", which is able to utilize for developing and maintaining application software and quantitative quality evaluation method that can utilize in the proposed model. The proposed Open Source Software quality model derives quality characteristics based on literature and it forms six main-features and twelve sub-characteristics by comparing with the quality characteristic of ISO/IEC 9126 and twelve evaluation metrics that can measure the metrics and the characteristics quantitatively. To verify efficiency of the proposed quality evaluation model, we apply the proposed quality evaluation to top 5 project management system (PMS) software in open source software community and prove its availability.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.2
• /
• pp.51-59
• /
• 2007

Software testing is the process of analyzing a software item to detect the differences between existing and required conditions and to evaluate the features of the software item. A traditional testing focuses on proper functionality, not security testing. Fuzzing is a one of many software testing techniques and security testing. Fuzzing methodology has advantage that low-cost, efficiency and so on. But fuzzing has defects such as intervening experts. Also, if there is no specification, fuzzing is impossible. ROAD Tool is automated testing tool for RPC(Remote Procedure Call) based protocol and software without specification. Existing tools are semi-automated. Therefore we must modify these tools. In this paper, we design and implement ROAD tool. Also we verify utility in testing results.

• Journal of The Korean Association of Information Education
• /
• v.25 no.6
• /
• pp.871-878
• /
• 2021

This study analyzed the polarization of software education by analyzing the relationship between the average monthly total private education expenditure, software education expenditure, and academic achievement. For this purpose, data were collected and analyzed by surveying 2,780 parents of elementary school children nationwide. The results of this study are as follows: First, there was a statistically significant difference in children's academic achievement depending on whether or not they participated in software education. Second, the higher the children's academic achievement, the higher the percentage of participation in software private education expenditure. Third, there was a significant positive correlation between total private education expenditure and software-related private education expenditure. Fourth, although not statistically significant, there was a positive correlation between software private education expenses and academic achievement. In this study, software education provided by public education is not sufficient. For this reason, participation in private education and the amount of expenditure are increasing, and there is a gap in improving the main competencies of students according to household income.

• Journal of IKEEE
• /
• v.15 no.4
• /
• pp.267-273
• /
• 2011

In hardware design, its stability and reliability are important, because a hardware error can cause serious damages or disaster. To improve stability and reliability, this paper presents the implementation of the hardware verification system using the fault injection method in PC environment. This paper presents a verification platform that can verify hardware system reliably and effectively, through a process to generate faults as well as insert input signals into the actual running system environment. The verification system is configured to connect a PC with a digital I/O card, and it can transmit or receive signals from the target system, as a verifier's intention. In addition, it can generate faults and inject them into the target system. And it can be monitored by displaying the received signals from the target system to the graphical wave signals. We can evaluate its reliability by analyzing the graphical wave signals. In this paper, the proposed verification system has been applied to the FPGA firmware of a nuclear power plant control system. As a result, we found its usefulness and reliability.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.23 no.2
• /
• pp.95-103
• /
• 2019

Control systems of compressed gas supply facility are responsible for storing and supplying compressed gases required for launch complex qualification test and launch operation. Most of the facilities that make up the launch complex require compressed gas for their operation. Therefore, such control systems should be developed and verified earlier rather than the other systems that constitute the launch complex. Each verification for hardware and software is performed separately. In particular, software verification of control algorithms loaded on the controller takes a lot of time and man power during the development period of the control system. Thus, specific test procedures and methods should be prepared in advance for efficient development. This paper introduces the configuration of a compressed gas supply facility and its control system with the verification procedure and results of major algorithms.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.11
• /
• pp.969-973
• /
• 2018

Avionics OFP runs on the mission computer and can be operated by interacting with several avionics equipments. In order to verify OFP SW, SIL having real avionics equipments or models is absolutely necessary. Therefore in many cases SIL is implemented concurrently with OFP developing, and only one SIL is provided to developers. So developers sometimes need an alternative to SIL for verifying requirements in the middle of development process. In this paper, we propose a single PC based STE SW that simulates interworking equipments and verifies OFP in a single PC environment without actual interworking equipments or SIL HW interfaces.