• 정보과학회 논문지
• /
• 제44권1호
• /
• pp.27-35
• /
• 2017

사용자 및 기기의 상황을 파악하고 이에 따라 실시간으로 사용자 인터페이스를 변경하는 '적응형 사용자 인터페이스 (Adaptive User Interface)' 연구가 진행되어 왔다. 기존 관련 연구들은 주로 설계 방법론에 초점을 맞추고 있으며, 요구공학 방법론에 대해서는 거의 다루어지지 않았다. 본 연구에서는 적응형 사용자 인터페이스를 요구공학 관점에서 조명하고, 자가 적응 시스템 분야에서 연구되어 온 개념들에 기초한 요구사항 도출 및 명세 방법을 제안한다. 잘 알려진 자가 적응 소프트웨어 개념들을 재정의 및 해석한 후, 적응형 사용자 인터페이스 요구사항을 도출 및 명세하는 방법을 단계적으로 보인다. 사례연구에서는 제안하는 방법에 따라 적응형 사용자 인터페이스 요구사항을 도출 및 명세하여 본 기법이 효과적임을 보인다.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.929-936
• /
• 2004

컴포넌트 기반 플랫폼이 갖는 주 한계점은 컴포넌트 기반 시스템이 갖는 컴포넌트간 상호작용과 관련된 행위에 대한 기술과 추론에 대한 적당한 수단을 제대로 제공하지 못한다는 것이다. 현 컴포넌트 기반 플래폼이 CORBA의 IDL과 같은 컴포넌트에 대한 시그네쳐 수준에서의 기술을 위한 방법을 제공하기는 하지만, 이는 컴포넌트들간 상호작용과 같은 행위 기술을 저 수준에서 제공하는 것에 불과하다 컴포넌트 기반 시스템에서 중요한 과제 중 하나는 바로 컴포넌트들간 상호작용과 같은 행위를 기술하는 것과 이를 바탕으로 행위에 대한 검증이 필요하다. 본 논문에서는 프로세스 대수를 이용하여 컴포넌트 인터페이스의 명세 정의와 추상화된 소프트웨어 아키텍처를 어떻게 만족시킬 것인가를 보장받기위한 role의 결합방법, 생성된 아키텍처에 대한 전개규칙, 시각화방법을 연구한다. 또한 사례연구를 통해 본 논문에서 제안한 명세기법 및 정의의 타당함을 보였다.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2445-2452
• /
• 1997

시스템 개발방법론을 지원하는 자동화도구를 만들기 위해서 시스템의 행위나 사용자 행위를 자연어 명세로 기술하고 이를 처리하는데 대한 많은 연구가 진행되고 있다. 본 논문에서는 객체 지향 소프트웨어 개방 방법인 IFM(InFormation Modeling)을 기반으로 한 한글 질의 처리기를 제안한다. 이 질의 처리기는 시스템에 입력된 자연어 형태의 한글 명세로 SQL로 변환하여 처리하며, 한글을 사용하는 사용자에게 편리를 제공하여 시스템 활용도를 높이기 위해 고안되었다. 이 한글 질의 처리기는 한글로 입력된 사용자의 요구를 받아들여 처리하므로, 시스템에 익숙하지 않은 사용자도 전문가의 도움 없이 직접 시스템에 접근할 수 있으며, 한국어 사용자들이 시스템 개발에 능동적으로 참여하여 시스템 개발 시간을 줄일 수 있는 장점이 있다.

• 정보보호학회논문지
• /
• 제14권6호
• /
• pp.47-56
• /
• 2004

본 논문에서 다루는 보안 정형 명세를 지원하는 도구인 SPEAR II와 IFAD VDM-SL Toolbox의 추요 기능과 사용자 환경 및 동작 모듈, 코드 생성 과정을 비교하고, 보안 소프트웨어 개발을 위한 두 도구의 성능적 측면을 살펴 본 후 용이한 개발을 제공해주는 도구로부터의 보안 소프트웨어 개발 방안을 제시한다. 본 논문에서 제시하는 보안 프로토콜 코드 생성 도구 기능 비교는 정형 명세 기법을 이용한 소프트웨어 개발 방법에서 정형 명세를 통한 보다 안전한 보안 소프트웨어를 개발하는 방향을 제시한다. 이러한 방향 제시를 통하여 보다 안전한 보안 소프트웨어 개발을 이룰 수 있다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• pp.1477-1478
• /
• 2004

Science the change of development methods and environment of the software is rapidly kept going in industry, previous manual test methods will not be able to guarantee the quality of software. Therefore the software test automation tools is being developed actively. And many of the tools which is reliable is applied and used in domestic organizations. Indirect test techniques currently are used For the improvement of the software quality, such as formal specification and design, structural programming. And also the various do direct test techniques are used to the measurement of software quality through the fault detection and modification, such as black box, which box and test automation tools. In this survey, the software test automation tools which predicate and access the software quality at the software development phase for the improvement of the software quality should be introduced.

• 품질경영학회지
• /
• 제41권3호
• /
• pp.433-441
• /
• 2013

Purpose: This study investigates software qualification procedures based on the FA-50 flight control software to satisfy high reliability and flight safety. Methods: We studied software qualification categories, standard/specification and developed country case. We proposed procedure to satisfy not only flight safety but also international standard. Results: The proposed software qualification procedure satisfied flight safety and airworthiness based on the testing result of the FA-50 flight control software. Conclusion: This paper showed an appropriate qualification procedures of the flight control software in domestic circumstance through the FA-50 flight control software qualification.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2003년도 추계학술대회 및 정기총회
• /
• pp.297-300
• /
• 2003

This paper considers formal verification methods for enhancing software reliability. The formal method verifies that a software is correctly implemented according to its specification by using a mathematical formalism. This paper presents a partial survey on the formal methods and discusses possible applications for the improved software implementation. Finally, some topics are remarked as further studies.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.147-156
• /
• 2010

임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. 하지만 테스트 시나리오는 테스트 수행의 효율성을 고려할 필요가 있다. 이 연구에서는 각 함수들을 테스트하는데 걸리는 시간과 사용자 입력으로 인해 발생하는 대기 시간을 고려하여 최적화된 테스트 시나리오를 추출하는 기법을 제안한다. 테스트 시나리오를 추출하기 위해 상태 머신 다이어그램과 테스트 케이스를 바탕으로 그래프 형태의 테스트 모델을 생성한다. 테스트 모델에는 테스트 수행 시간과 사용자 입력에 대한 정보가 포함되어 있다. 최적화된 테스트 시나리오는 테스트 모델을 기반으로 수정된 최단거리 알고리즘을 이용하여 추출한다. 제안하는 테스트 시나리오 작성 기법을 이용하면 테스트 수행 시간을 줄일 수 있고, 테스트 자동화를 향상시킬 수 있다.

• ETRI Journal
• /
• 제30권1호
• /
• pp.141-151
• /
• 2008

In this paper, we introduce a new verification platform with ARM- and DSP-based multiprocessor architecture. Its simple communication interface with a crossbar switch architecture is suitable for a heterogeneous multiprocessor platform. The platform is used to verify the function and performance of a DVB-T baseband receiver using hardware and software partitioning techniques with a seamless hardware/software co-verification tool. We present a dual-processor platform with an ARM926 and a Teak DSP, but it cannot satisfy the standard specification of EN 300 744 of DVB-T ETSI. Therefore, we propose a new multiprocessor strategy with an ARM926 and three Teak DSPs synchronized at 166 MHz to satisfy the required specification of DVB-T.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.202-211
• /
• 2003

객체지향 방법론에서 정적 및 동적 모델에 관한 구문(Syntax)과 의미론(Semantics)의 형식적 정의는 잘 이루어 졌으나 객체 상호작용의 행위에 대한 형식론은 아직까지 제시되지 않았다. 본 논문에서는 객체 상호작용을 묘사하는 UML의 순서(Sequence) 다이어그램을 토대로 프로세스 대수를 사용하여 객체 상호작용을 정의하고 객체 상호작용의 특성을 정규화 시킨다. 이러한 결과는 M. Snoeck과 G. Dedene[9]가 제시한 종속존재 관계의 개념을 상호작용 관계의 개념으로 대체하여 형식론을 전개할 수 있음을 보여준다.