• Journal of Software Engineering Society
• /
• v.28 no.1
• /
• pp.7-12
• /
• 2019

Recently, as the weight of software in the weapon system increases, the quality of the software becomes a very important factor. In order to improve the quality of the weapon system software, DAPA(Defense Acquisition Program Administration) has institutionalized software reliability in Weapon System Software Development and Management Manual. The manual presents specific methods and procedures to improve the weapon system software quality. In order to meet the required reliability test standards specified in the manual, it is necessary to continuously detect and correct defects throughout the entire development period. However, it is difficult to build proper reliability test environment due to the cost of software reliability tools, setting up secured and separated network environment, and etc. Therefore, in this study, we propose an efficient environment construction method for software reliability test of defense industry field in restricted development environment and limited resources.

• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.657-664
• /
• 2007

URC robot offers necessary service anytime and anywhere by using a network to the robot, expanding the applicable service, keeping all the functions in itself, it undertakes functions for the causing problems through the network. URC software components are composed of HRI(Human Robot Interaction), robot action technology and others. We analyze the quality models based on ISO/IEC 9126, define URC components evaluation specification consists of 4 parts such as generic rule, instance rule, evaluation value and test method. And we define the quality process and test case design for URC, and show a testing and evaluation process for URC components.

• Journal of Convergence for Information Technology
• /
• v.12 no.5
• /
• pp.15-20
• /
• 2022

This research studied the evaluation of reliability among the software quality characteristics: suitability, reliability, usability, portability, maintainability, performance efficiency, security, and compatibility. It proposes a quantitative evaluation of reliability in the measurement of software quality. This study introduces a method for measuring the failure rate included in maturity during reliability evaluation, which is one of the characteristics of software quality, and is a study with experimental data on how the failure rate changes depending on the form of failure data. Focusing on software testing, the failure rate was measured and compared according to the type of failure data by applying it to the software reliability growth model, focusing on the number of failures per day. The failure rate was measured around the failure time found through the 6-day test, and the failure rate was compared with the failure rate proposed by the international standard ISO/IEC 25023 using the measurement results, and the application was reviewed according to the data type.

• The KIPS Transactions:PartD
• /
• v.11D no.2
• /
• pp.381-386
• /
• 2004

Because of rapid increase of internet user, numerous popular web sites have been made on the internet but it is hard to find out a systematic technique for the selection of qualified web site in consumer position. Generally, there are black box, white box and gray box viewpoint for evaluating web site. In this paper present evaluation criteria based on AHP(Analysis Hierarchy Process) technique of black box viewpoint for optimal web site selection in consumer position. We considered usability, efficiency, compatibility based on ISO/IEC 9126 for quality measurement of web site and executed practical analysis about web site in internet. This paper show that the proposed selection technique is applicable to optimal web site selection.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.212-218
• /
• 2007

Not enough verification or enough design of test is not performing in many software developments organization as yet. Therefore, defects that can be detected and corrected during the beginning phases of development are usually found during dynamic testing, it is often observed that testing is inefficient compared to effort for testing. This study aims to suggest a method for effective testing through case study. It is useful in case of not verification and not enough design of test in the previous phase than coding. We show in a concrete way major activities that determine prioritization of testing and level of test case design through static testing, i.e. code review and analysis of code quality. And also we show role between test team and development team.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.1
• /
• pp.19-26
• /
• 2013

To improve the reliability and quality of software system, many studies of the testing based on state-transition diagram have been in progress. Existing studies tried to solve the complexity problem of state-transition diagram. But the development of test case demands the better way to derive and manage the state diagram with low complexity. In this paper, the STMT(State-Transition Mapping Tree) is proposed to decrease the complexity of state diagram without changing or loosing the original state or transition information. Comparing with other methods, the proposed method turns out to be less complex.

• The KIPS Transactions:PartD
• /
• v.9D no.5
• /
• pp.897-902
• /
• 2002

Because of rapid evolution of software technique, numerous software professionals have been concerned with component based development methodologies. However, it is hard to find out a systematic technique for the selection of COTS (Commercial Off The Shelf) component in consumer position. Up to date, the major of component quality evaluation is object-oriented metric based evaluation methodology. But this paper present four step process and evaluation criteria based on MCDM (Multiple Criteria Decision Making) technique for optimal COTS component selection in consumer position. We considered funtionality, efficiency, usability based on IS0/IEC 9126 for Quality measurement and executed practical analysis about commercial EJB component in internet. This paper show that the proposed selection technique is applicable to optimal COTS component selection.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.1-9
• /
• 2015

As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.11 no.4
• /
• pp.460-466
• /
• 2018

With the development of information technology, the scale of computer software system is constantly expanding. Reliability and cost of software development have a great impact on software quality. In this study, based on the software failure interval time data, a comparative analysis was performed on the characteristics of the software development cost model based on the lifetime distribution following the Type-2 Gumbel and Erlang distribution in the NHPP model. As a result, the trends of the cost curves for the Go-Okumoto model and the proposed Erlang model and the Type-2 Gumble model both decreased in the initial stage and gradually increased in the latter half of the failure time. Also, Comparing the Erlang model with the Type-2 Gumble model, we found that the Erlang model is faster and more cost-effective at launch. Through this study, Software operators should remove possible defects from the testing phase rather than the operational phase to reduce defects after the software release date, it is expected to be able to study the prior information needed to understand the characteristic of software development cost.

• Convergence Security Journal
• /
• v.7 no.2
• /
• pp.49-55
• /
• 2007

Software failure time presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing. For data analysis of software reliability model, data scale tools of trend analysis are developed. The methods of trend analysis are arithmetic mean test and Laplace trend test. Trend analysis only offer information of outline content. From the subdivision of this analysis, new attemp needs the side of the quality control. In this paper, we discuss process capability analysis using process capability indexs. Because of software failure interval time is pattern of nonnegative value, instead of capability analysis of suppose to normal distribution, capability analysis of process distribution using to Box-Cox transformation is attermpted. The used software failure time data for capability analysis of process is SS3, the result of analysis listed on this chapter 4 and 5. The practical use is presented.