• Nuclear Engineering and Technology
• /
• 제27권1호
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• International Journal of Computer Science & Network Security
• /
• 제22권2호
• /
• pp.115-122
• /
• 2022

Component adaptation is widely recognized as one of the main problems of the components, used in component based software engineering (CBSE). We developed methods to adjust the components classified by the keywords. Three main methods are discussed in this article those methods are combined with several domain component interfaces, high level simple notation for the adapter design patterns. The automated process for classifying high-level components are using adaptation is novel to software engineering domain. All Specifications and many technologies for re-using software, CBD and further developments have been emerged in recent years. The effects of these technologies on program quality or software costs must be analyzed. The risk concerns a single technology and must identify its combinations. In this paper, we are going to discuss the methods to adapt components of different technologies

• 한국IT서비스학회지
• /
• 제5권2호
• /
• pp.79-92
• /
• 2006

Since software development team members have been more geographically spread due to the globalization of business and Internet technologies, the management of deliverables and communication efforts for developing high-quality software products on time is becoming more complicated. Among the functional requirements for collaborative software development management, the manipulation of shared information objects is essential for the collaborative work among distributed development team members. This paper proposes an integrated information object management framework comprised of a so-called BOC (Bill Of Class) scheme and a standardized software part dictionary for managing shared information objects efficiently among distributed co-workers. In order to manage these complex information objects, the proposed framework adopt product structures represented by Bills Of Materials (BOM) as stems for integrating the various information objects. Based on the proposed framework, a collaborative software development management system (CSDMS) is implemented, and the functionalities and the structure of the system are also described in this paper. The proposed system provides sufficient functionalities for the change management of information objects and the management of their relationship to other objects rather than existing system.

• 한국전자거래학회지
• /
• 제6권2호
• /
• pp.143-157
• /
• 2001

There has been a need for predicting development efforts and costs of the system during the early stage of the software process and hundreds of metrics have been proposed for computer software, but not all provide practical support to the software engineer. Some demand measurement that is too complex, others are so esoteric that few real-world professionals have any hope of understanding them, and others violate the basic intuitive notions of what high-quality software really is. It is worthwhile that metrics should be tailored to best accommodate specific products and processes after grasping their good and no good point. This paper describes two size estimation techniques, the Karner technique and the Marchesi technique, and compares and analyzes them with proposed evaluation criteria. Both techniques are to estimate software size analyzed by use case that is mainly described during the object-oriented analysis phase. We also present an empirical comparison of them, both are applied in the Internet Medicine Prescription System. We also propose some guidance for experiments based on our analysis. We believe that it should be facilitating project management more effective by adjusting software metrics properly.

• 한국콘텐츠학회논문지
• /
• 제6권5호
• /
• pp.104-112
• /
• 2006

정보통신 기술과 인터넷 기술의 급속한 발전과 보급으로 인해 게임산업의 성장은 빠르게 이루어져 왔다. 종합 예술이라고 불릴 만큼 다양한 소재와 기술이 뒷받침되어 게임 산업은 21세기의 고부가가치 산업으로 각광을 받고 있으며 다양한 새로운 게임의 장르가 등장하였다. 그 중 온라인 게임은 최근 몇 년간 IT산업의 중추적인 역할을 담당하고 있다. 현재는 교육용 게임 소프트웨어 시장이 확대되어 감에도 불구하고 잘못된 게임 소프트웨어로 인해 야기된 품질 문제들이 계속 보고 되고 있다. 본 논문에서는 교육용 온라인 게임의 질적 성능 향상과 지속적인 발전을 위해 게임의 품질평가에 대한 기존 요소들을 파악하고 개선된 품질평가 요소를 제안하고자 한다.

• 품질경영학회지
• /
• 제47권1호
• /
• pp.151-162
• /
• 2019

Purpose: This study is in order to secure high quality of military supplies, it is important to secure design quality in the development phase. I will review how to establish a quality assurance system in the development phase based on the author's seminar presentation contents and application example of Hanwha Systems Co., Ltd. Methods: To guarantee design quality in the development phase, in 2002, quality assurance system that is adequate for SQA(Software Quality Assurance)'s requirements of CMM(Capability Maturity Model) was conduct. In 2009, based on the CMMI(Capability Maturity Model Integration) Level 5, there has been continuous and reenforced quality assurance activities. Results: By suggesting the construction and a case study on application of R&D quality assurance, it would be helpful for companies aiming to construct or enhance quality assurance system. Conclusion: To secure high quality for military supplies, a development QA system should be established to secure quality in the development phase. In addition, Total life cycle QA system for development, mass production and operation phase should be reestablished.

• 대한방사선기술학회지:방사선기술과학
• /
• 제41권1호
• /
• pp.39-45
• /
• 2018

The purpose of this study is to evaluate the usefulness of a software-based quality assurance system based on Volumetric Modulated Arc Therapy treatment plan. Evaluate treatment plan through the D VH analysis, PTV mean dose ($D_{mean}$) and PTV 95% dose($D_{95}$) compare the MFX based on original treatment plan, Average error rate was $0.9{\pm}0.6%$, $1.0{\pm}0.8%$, respectively. Measuring point dose using phantom and ion chamber, the average error rate between the ionization chamber and MFX was $0.9{\pm}0.7%$, $1.1{\pm}0.7%$ (high dose region), $1.1{\pm}0.9%$, $1.2{\pm}0.7%$ (low dose region). The average gamma though of MFX and $Delta^{4PT}$ is $98.7{\pm}1.2%$, $98.4{\pm}.3%$, respectively. Through this study, A software based QA system that simplifies hardware based QA procedures that involve a lot of time and effort. It can be used as a simple and useful tool in clinical practice.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.423-430
• /
• 2010

소프트웨어가 대형화 및 복잡화되고 품질보증 및 관리에 대한 요구가 한층 커짐에 따라 소프트웨어 테스트 활동이 중요시되고 있다. 소프트웨어 테스트 활동은 시스템에 존재하는 결함 발견과 처리가 주요 목적이지만, 현재 시스템의 위험요소를 관리하기 위한 요구 또한 존재한다. 하지만 일반적인 테스트 자동화 도구에서는 테스트케이스를 이용하여 동일한 순서로 테스트를 수행하며, 이러한 테스트 방식은 빈번하게 변경되는 소프트웨어를 테스트함에 있어 결함을 조기에 발견할 가능성이 낮아지고 처리되는 시간이 늦어지게 된다. 이에 따라 본 논문에서는 과거 테스트 이력을 이용하여 테스트케이스에 동적인 가중치를 부여함으로써 위험도가 높은 테스트케이스를 우선적으로 테스트 하여 결함을 빠르게 발견할 수 있도록 가중치를 이용한 테스트케이스 동적 관리 기법을 설계하였다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.148-153
• /
• 2015

국내의 소프트웨어 산업계는 고품질 소프트웨어를 위해, 개발/테스트 프로세스, 성숙도 측정등에 초점을 두고 있다. 그러나 실제 중소기업의 산업현장에서는 코드중심으로 개발되고 있다. 그리고 대부분의 기존 레거시 시스템은 설계의 부재 그리고 코드 패칭으로 코드 내부의 복잡도가 매우 높은 현실이다. 이를 해결하고자, 코드의 가시화(visualization)를 적용하였다. 이 가시화는 모듈간의 복잡도를 줄이려는 목적을 가지고 있다. 이를 위해 기존 공개 도구로 툴 체인 구성 방법을 제안한다. 제안한 방법은 NIPA의 SW Visualization 기법을 적용 확장하였다. 또한 코드 가시화내의 품질지표 중에 결합도 요소 중의 나쁜 지표에 대한 리팩토링 시도이다. 결과적으로 레가시 코드에 대해 역 공학 기법(from programming via model to architecture)적용과 이를 통한 소프트웨어 고품질화이다.

• 한국전자거래학회지
• /
• 제8권2호
• /
• pp.113-129
• /
• 2003

컴포넌트 기반 소프트웨어 개발(CBSD: Component Based Software Development)이 재사용을 통한 소프트웨어 개발의 효율적인 방법으로 인식되고 있다. CBSD의 목적은 새로운 시스템을 개발하고자 할 때 검증된 컴포넌트, 검증된 업무 로직을 재사용 함으로써 개발 기간을 단축하고 품질을 향상하고자 하는 것에 있다. 본 논문에서는 기 존재하는 객체지향 어플리케이션을 폐기하지 않고, 이를 기반으로 재사용 성이 높은 컴포넌트로 추출하기 위하여, 컴포넌트 추출을 위한 메트릭과 인터페이스 추출 방안을 제시하였다. 클래스간의 관계 정보를 이용하여 복잡도, 응집도와 결합도를 측정하고, 이의 결과를 이용하여 후보 컴포넌트를 추출한다.