• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권7호
• /
• pp.3268-3283
• /
• 2018

With the advent of the Information Age, the source identification of digital images, as a part of digital image forensics, has attracted increasing attention. Therefore, an effective technique to identify the source of digital images is urgently needed at this stage. In this paper, first, we study and implement some previous work on image source identification based on sensor pattern noise, such as the Lukas method, principal component analysis method and the random subspace method. Second, to extract a purer sensor pattern noise, we propose a sample selection method to improve the random subspace method. By analyzing the image texture feature, we select a patch with less complexity to extract more reliable sensor pattern noise, which improves the accuracy of identification. Finally, experiment results reveal that the proposed sample selection method can extract a purer sensor pattern noise, which further improves the accuracy of image source identification. At the same time, this approach is less complicated than the deep learning models and is close to the most advanced performance.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.129-139
• /
• 2004

C4I 시스템과 같이 신뢰성이 강조되는 시스템의 개발에 있어 정형기법의 도입은 개발 과정에서 나타나는 결과물에 대한 검증을 가능케 함으로서 올바른 시스템을 개발하고 있다는 확신을 개발자와 의뢰자 모두에게 기공해준다. 본 논문은 엄밀한 검증이 필요한 컴포넌트를 설계할 때 사용될 수 있는 컴포넌트의 정형명세 기법과 이에 기반한 테스트 방법을 논한다. 특히 상태기반의 기능명세에 대해 미약선조건을 이용하여 분해하는 방법과 이 과정을 통해 생성된 하위명세에 대한 블랙박스 테스트케이스를 생성시키는 방법을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.414-429
• /
• 2003

시스템 개발 시 복잡성을 감소시키고 개발 비용과 기간을 단축하기 위하여 컴포넌트 기반 개발(CBD)이 산업계에서 보편화 되고 있다. 그러나, 현재 대표적인 CBD는 한 회사나 하나의 어플리케이tus에 의존적인 컴포넌트를 개발하고 있다[1,2]. 따라서 어떤 도메인의 여러 패밀리에서 컴포넌트를 재사용하기 위한 컴포넌트 가변성이 강조 되고 있다. 하지만, 컴포넌트 가변성의 정의나 유형에 대해 구체적으로 제시된 연구가 미흡하여, 컴포넌트의 주 목적인 재사용 측면보다. 유지보수 목적의 컴포넌트가 개발되고 있다[3]. 본 논문에서는 컴포넌트의 재사용성을 높이기 위하여, 컴포넌트 특징을 반영한 컴포넌트 가변성을 정형적으로 정의한다. 또한, 기존의 컴포넌트 가변성으로 인식된 논리 가변성을 명확하게 정의하고, 추가로 3가지 가변성 유형을 제시함으로써, 컴포넌트에서 존재하는 모든 가변성 유형을 제시한다. 컴포넌트 커스터마이제이션시에 가변성의 경우의 수를 예측, 확인 할 수 있는 컴포넌트 가변성 Scope를 제시한다. 컴포넌트 개발에 있어서 이러한 기법을 적용함으로써, 여러 패밀리 멤버에서 재사용 할 수 있는 고품질의 컴포넌트 개발을 지원 할 수 있다.

• 인터넷정보학회논문지
• /
• 제4권3호
• /
• pp.23-30
• /
• 2003

컴포넌트 기반 기술은 개발 시간과 비용을 줄일 뿐만 아니라 유지보수를 효율적으로 할 수 가 있다. 본 논문에서는 게임 사이트 구축을 위한 게임 설치/실행 컴포넌트를 포함한 여러 컴포넌트들을 도출하였고. UML을 이용하여 분석 및 설계를 하였다. 만일 프로그래머가 한번 클릭으로 게임 프로그램의 배포, 설치 및 실행하는 컴포넌트와 그 외의 컴포넌트들을 사용하여 게임 사이트를 구축한다면, 그들은 사이트를 쉽게 관리할 수 있고 게임 프로그램을 효과적으로 배포할 수 있으며, 편리한 사용자 인터페이스를 제공할 수 있다. 또한 컴포넌트를 재사용함으로써 프로그래머는 게임 사이트를 쉽고 경제적으로 개발 할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제7권3호
• /
• pp.16-22
• /
• 2002

컴포넌트의 효율적인 검색은 컴포넌트에 기반한 소프트웨어 개발에 필수적이다. 패싯 방식은 컴포넌트 검색 방법의 하나로 많은 연구의 대상이다. 이 논문에서 여러 개의 패싯값에 대한 논리 부정 검색에 사용되는 가중치 신경 접속 행렬을 효율적으로 만드는 새로운 알고리즘을 제안한다. 이 알고리즘을 사용하여 연산에 드는 복잡도를 향상할 수 있다. 또한 여러 개의 서로 다른 패싯을 사용하는 경우 이에 대한 논리적인 검색이 가능하도록 새로운 연산 방법을 제안하다.

• 정보처리학회논문지D
• /
• 제12D권7호
• /
• pp.985-992
• /
• 2005

OLAP 시스템은 사용자가 다양한 측면에서 대화식으로 정보를 분석할 수 있는 의사결정 지원 시스템이다. 기존의 컴포넌트를 이용한 CBD 방법론을 OLAP 시스템 구축에 직접 적용하는 것은 정형화된 컴포넌트로 인해 유연성과 재활용성 측면에서 한계를 가진다. 본 연구에서는 이러한 한계를 극복하기 위해 비즈니스 요구사항과 개발 컴포넌트를 포함하도록 확장한 템플릿의 개념을 CBD 방법론에 도입하였다. 이러한 템플릿에 기초하여 OLAP 시스템을 보다 쉽게 개발하고 재활용성을 높일 수 있는 템플릿 기반 CBD 방법론(TCBD)을 제안하였다. 템플릿 기반 방법론은 이미 생성된 템플릿에 가변적 객체를 변경하여 비즈니스 요구사항을 반영하도록 하였다. 제안 방법론을 OLAP 시스템의 실제 구축에 적용하여 제안된 TCBD 방법론이 유연성과 재활용성 측면에서 효율적이고, 테스팅과 디버깅 단계를 포함한 개발 기간을 단축할 수 있음을 보인다

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

• 한국산업정보학회논문지
• /
• 제11권4호
• /
• pp.93-104
• /
• 2006

본 논문은 도면관리 시스템과 BOM 시스템간의 데이터 공유를 통하여 효과적인 BOM산출을 시도하였다. 본 논문에서는 이러한 목적을 달성하기 위해서 본 논문에서는 CAD도면을 이용한 컴포넌트 기반 소프트웨어 시스템을 구현하였다. 본 연구의 결과로는 BOM 산출을 하는데 있어서 여러 번의 시행착오를 거쳐야하는 문제점들을 현저히 감소시켰다. 특히 본 연구의 결과로는 BOM의 산출 기간이 2주에서 2일로 단축되었으며, BOM 산출의 정확도는 95%에 도달하였다. 본 논문에서는 이 이외에도 다음과 같은 효과를 가져왔다. 첫째, 컴포넌트 개발 방법으로 인한 프로그램의 재사용성, 유지/보수 및 수정의 용이성 둘째, 웹 기반 개발 기법으로 인한 원격지에서의 시스템 운영 가능, 셋째, 이미지 및 텍스트 데이터베이스 구축으로 인한 데이터 관리의 효율화 넷째, 도면관리의 체계화, 다섯째, 회사에 적합한 맞춤형 BOM시스템 구현 등이다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.381-394
• /
• 2009

소프트웨어 모델링 과정에서 생성되는 산출물들에 대한 모델의 재사용성을 향상시키기 위한 기법으로, MDA 모델 기반의 개발방법이 적용되고 있다. 아직도, UML을 이용한 MDA 기반의 개발에 대한 계층적이고 체계적인 기법은 미약한 상태이다. 이로 인해, MDA 메타모델에 기반한 일관성 있고 재사용성이 높은 MDA 모델링이 제대로 실현되지 못하고 있다. 본 논문은 이를 해결하기 위해, 2+1 View 통합 메타모델을 통한 MDA(PIM/PSM) 컴포넌트 모델링 기법을 제시한다. 먼저, 개발 프로세스 view와 MVC View를 표현할 수 있는 meta-architecture view 모델을 정의한다. 정의된 meta-architecture view 계층의 메타 레벨에서, 개발 프로세스 view와 MVC view별로 MDA 기반의 계층적 통합 메타 모델이 제시된다. 이 메타모델은 UML 모델과 GUI 모델이 갖는 모델링 요소들을 PIM과 PSM에 의해 계층적으로 표현한다. 제시한 메타모델을 ISMS 시스템에 적용하여 MDA 기반의 컴포넌트 모델링 사례를 제시한다. 이를 통해, 개발단계별 및 MVC 방식에 의해 일관성 있고 계층적인 MDA 컴포넌트 모델을 구축할 수 있다. 따라서, 모델에 대한 독립성과 재사용성의 향상을 기대할 수 있다.

• 인터넷정보학회논문지
• /
• 제20권2호
• /
• pp.29-37
• /
• 2019

As software development technology evolves, the quality of software has increased. But software created through sophisticated technology is still defective. The developer will be aware of the defect through a bug report and the reported defect must be fixed as soon as possible for the software to function correctly. It is important to know which component of the program is related to the reported defect and should be fixed. However, even though the developer understands the developed software, the task of tracing faults is a time-consuming task and requires effort. Therefore, if there is a way for developers to support tracing faults, they could fix defects more quickly. Because fixing defects rapidly is a factor of software reliability, fault traceability is essential and an effective method is needed. Therefore, in this paper, we propose a model-based fault traceability enhancement technique by using bug report and commit information and verify the effectiveness of the proposed technique.