• Journal of Software Engineering Society
• /
• v.14 no.1
• /
• pp.50-58
• /
• 2001

소프트웨어의 품질은 개발이 완료된 후 운영과정에서 발생되는 고장(Failure)의 정도에 따라 결정되고, 고장(Failure)은 소프트웨어에 남아있던 오류(Defects)가 실행 중(Activate)되어 나타나는 현상이다. 따라서 소프트웨어의 품질을 효과적으로 높이기 위해서는 다음 사항을 고려해야 한다. 첫째, 오류가 만들어지면 가능한 한 빨리 찾아서 없애야 한다는 점이다. 다음 단계로 전이될 경우, 오류를 정정하는 비용이 크게 증가되기 때문이다. 둘째, 오류가 균등 분포하기 보다 특정 부분에 몰리는 경향이 있으므로, 문제 부품을 예측하여 집중 관리를 해야 한다. 본 논문에서는 이들을 고려하여 효과적인 오류 검출 방법인 인스펙션을 기반으로 여러 오류 검출 방법간의 비교 우위를 분석하고, 모든 모듈을 예측하는 품질 예측 모델을 제시하였다.

• Review of KIISC
• /
• v.28 no.2
• /
• pp.27-32
• /
• 2018

최근들어 소프트웨어의 오류 및 취약점을 자동으로 수정하는 기술이 주목받고 있다. 소프트웨어의 오류를 수정하는 작업은 소프트웨어 개발 단계에서 매우 큰 비용이 소요된다. 본 글에서는 이를 자동화하는 기술인 소프트웨어 오류 자동 수정 기술에 대해서 소개하고 연구 동향을 살펴본다.

• Journal of Software Assessment and Valuation
• /
• v.16 no.2
• /
• pp.69-76
• /
• 2020

In this paper, the problem of determining the optimal time to market of software was studied using error correction time, an indicator of error correction difficulty. In particular, it was intended to modify the assumption that error detection time and correction time are independent in the software reliability growth model considering the existing error correction time, and to establish a general framework model that expresses the correlation between error detection time and correction time to determine when the software will be released. The results showed that it was important from an economic perspective to detect errors that took time to correct early in the test. It was concluded that it was very important to analyze the correlation between error detection time and error correction time in determining when to release the optimal software.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1149-1157
• /
• 2003

As an Embedded system combining hardware and software gets more complicated, the importance of the embedded software test increases. Especially, it is mandatory to test the embedded software in the system which has high safety level. In embedded system, it is necessary to develop a test technique to detect faults in interaction between hardware and software. In this paper, we propose a test data selection technique using a fault injection technique for the faults in interaction between hardware and software in embedded system and we apply our technique to the Digital Plant Protection System and analyze effectiveness of the proposed technique through experiments.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.7 no.4
• /
• pp.49-54
• /
• 2012

In this paper, a software policy considering testing time and the number of errors corrected is presented. The software is tested until a specified testing time or the time to a specified number of errors are corrected, whichever comes first. The model includes the cost of error correction and software testing during the testing time, and the cost of error correction during operation. It is assumed that the length of software life cycle has no bounds, and the error correction follows an non-homogeneous Poisson process. An expression for the total cost under the policy is derived. It is shown that the model includes the previous models as special cases.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.9-10
• /
• 2019

항공기 소프트웨어는 기능적 실패 시 인명피해나 재산피해와 같은 큰 사고로 이어질 수 있다. 따라서 항공기 소프트웨어 개발과정에서 엄격한 검증 프로세스를 수행하지만 오류를 완벽히 제거하는 것은 어렵다. 병행 프로그램에서 발생하는 동시성 오류는 잘못된 동기화에 의하여 공유자원을 사용할 때 발생할 수 있다. 하지만 복잡한 인터리빙을 모두 고려하여 디버깅하기 어렵기 때문에 자율적으로 수리되어야 한다. 본 논문은 항공기 소프트웨어에서 함수 호출을 기반으로 동시성 오류를 자율적으로 수리하는 기법을 제시한다. 제시하는 기법은 모니터 및 컨트롤 엔진, 순차정보 제공 엔진, 건전성 관리시스템으로 구성된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.855-856
• /
• 2009

소프트웨어의 크기가 대형화되고 복잡화됨에 따라 소프트웨어의 기능성 오류 및 취약점을 개발 후 테스팅에 의해 찾는 비용이 매우 커지고 있다. 또한 테스트에 의한 방법을 통해 내재된 모든 오류나 취약점을 찾는 것은 거의 불가능하다고 인식되고 있다. 이러한 이유로 소프트웨어 개발에서 오류 및 취약성을 제거하고자 하는 노력이 증대되고 있다. 본 논문에서는 오류를 줄이고자 하는 기법중 하나인 Design by Contract와 취약성을 줄이고자 하는 시큐어 코딩을 소개하고, 이 두 가지 기법을 접목하여 오류가 없는 안전한 소프트웨어를 개발하는 방법을 소개한다.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.9 no.1
• /
• pp.114-119
• /
• 2016

The necessity of IoT(Internet of Things) and Multimedia CSCW is described, and error control for multimedia CSCW(Computer Supported Cooperated Works) based on CoAP stack is suggested. This paper describes an error synchronization running on gateway software stack based CoAP. This system consists of an CS_EDA, and CS_ESA. CS_EDA is an agent that detects an error for multimedia distance system based on gateway software stack based CoAP environment. CS_ESA is an agent that is an error synchronization system for multimedia distance control based on gateway software stack based CoAP environment. From the perspective of multimedia collaborative environment of gateway software stack based CoAP, an error application becomes another interactive presentation error is synchronized with participants engaged in a cooperative work.

• KIPS Transactions on Software and Data Engineering
• /
• v.1 no.2
• /
• pp.75-80
• /
• 2012

There are many problems that cause the process improvement of software and hardware, personality errors during software development. This paper propose the quantitative analysis of error that removes and manages the system problems as well.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1405-1408
• /
• 2000

소프트웨어의 사용자층이 확대되면서 소프트웨어는 갈수록 많은 기능을 가진 복잡한 시스템이 되고 있다. 사용자의 요구 사항에 부응할 수 있도록 소프트웨어가 대형화되고 복잡해졌으며 이로 인해 품질의 중요성이 더욱 높아지게 되었다. 그러나 다수의 소프트웨어들이 품질관리의 미흡으로 인해 발견되지 못한 오류들을 지닌 채 상품화되고 있는 것이 현실이다. 소프트웨어의 오류를 최소화하기 위해 일반적으로 소프트웨어에 대한 시험 사례를 통해 검증하게 되며 구현 이후, 시험 단계에서 이루어지는 경우가 대부분이다. 그러나 소프트웨어의 오류는 생명주기 전단계에 걸쳐 발생될 수 있으므로 생명주기 전단계에 걸친 적절한 시험을 통해 문제점을 점검하는 것이 고품질의 소프트웨어를 개발하는 최선의 방법이 될 수 있을 것이다. 본 연구에서는 생명주기 단계 중 소프트웨어 구현 단계의 테스트를 위한 시험 측정 항목을 개발하였다.