• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.471-473
• /
• 2000

소프트웨어의 대형화, 복잡화에 따라 아키텍처의 중요성이 더욱 강조되고 있다. 또한, 복잡한 사용자의 요구사항을 소프트웨어에 혹은 아키텍처에 잘 반영시킬 수 있는 방안이 연구되어지고 있다. 이 논문에서는 주요한 소프트웨어 아키텍처 분석, 검증 방법들 중의 하나인 ATAM을 지원하는 도구로서 WSMS를 제안하고 있다. WSMS는 웹 기반의 시나리오 관리도구로서, ATAM에서 아키텍처의 다양한 면을 기술하는 시나리오의 효율적인 관리를 위해 시나리오의 추출, 분류, 우선순위 결정, 변경관리 등의 기능을 수행한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.588-590
• /
• 2000

시스템에 사용되는 데이터베이스 또한 소프트웨어이고 이를 유지보수 하기위해 데이터베이스 역 공학을 사용하고자 한다. 데이터베이스 역 공학 기법은 기존 시스템에서 사용되는 데이터베이스의 스크립트 파일들을 기준으로 현 데이터베이스의 구조를 역으로 도출하는 기법이다. 본 논문은 소프트웨어 유지보수를 위해 위와 같이 도출된 구조를 대상으로 검증 과정을 실시하여 문제점을 파악하고 해결 방법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.21-23
• /
• 2000

본 논문에서는 통합설계에서 시간제약하의 최소비용 시스템 구현을 위한 분할의 최적해 탐색을 위한 ILP형식을 정의하고 실험에 의해 결과를 평가한다. 분할 문제는 각 노드의 하드웨어 소프트웨어 파티션 선택과 소프트웨어 실행을 위한 대상 노드의 스케쥴링 문제가 함께 고려되어야 한다. 본 논문에서는 분할 단계에서 스케쥴링을 함께 고려하는 ILP형 정의를 위해 ASAP과 ALAP 스케쥴에 의해 유도되는 모빌리티와 시간 제약 조건, 종속성 제약 조건을 형식화하고, 목적함수인 최소 시스템 설계 비용 탐색을 위한 형을 정의한다. 정의된 형에 의한 ILP 구현은 다양한 벤치마크 검증에 의해 최적의 해를 결과로 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.85-87
• /
• 2004

본 논문에서는 라이브 비디오 스트리밍을 지원하는 SIP 기반 단말기의 소프트웨어 구조와 설계에 대해 기술하였다. SiP 기반 단말기의 소프트웨어 시스템 구조를 분석하여 SIP 세션 설정 과정과 비디오 스트리밍 알고리즘을 설명하였으며 향후 연구로 임베디드 환경으로 포팅하기 위해 설계의 정확성을 검증하고 성능 평가를 위한 사전 실험을 수행하였다.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.476-477
• /
• 2024

ASPICE는 소프트웨어 개발 프로세스를 평가하기 위한 업계 표준 지침으로서, 차량용 소프트웨어 제품을 효과적이고 안정적으로 제공하는 조직의 능력을 평가할 수 있는 프레임워크이다. 프로세스 참고를 위한 PRM과 평가 레벨이 존재하며, 최근에 ASPICE 3.0에서 ASPICE 4.0으로 개정이 있었다. V-모델은 ASPICE가 V-모델을 기반으로 구축하는 각 개발 단계에 대한 테스트 단계이다.

• Current Industrial and Technological Trends in Aerospace
• /
• v.7 no.2
• /
• pp.40-47
• /
• 2009

In this paper, current industrial trend of simulator development which is widely spreaded and performed in globally is introduced. Usage of satellite simulator is becoming an essential choice since the complexity of satellite and mission is being continuously increased. Satellite simulation brings reduction of satellite development cost and of period which is consumed by test on satellite development for various phases. Further more, it can be used to reduce the development period of satellite since developed resource and knowledge is possible to be delivered to next program effectively.

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.276-279
• /
• 2017

오늘날 사회 전반적인 부분에서 소프트웨어의 비중은 지속적으로 증가하고 있다. 또한 소프트웨어는 점차 대규모화되고 있고 동시에 개인의 중요한 정보 등을 다루는 경우도 매우 늘어나고 있기에 소프트웨어의 보안성 검증은 매주 중요한 문제이다. 그러나 소스코드가 존재하지 않는 라이브러리의 경우 보안성 검증은 매우 어려운 문제로, 이를 해결하기 위해 바이너리 내에 존재하는 보안약점을 검사하기 위한 기술의 개발이 매우 요구되는 상황이며, 이를 위해 중간언어를 활용하여 보안약점을 분석하는 기술이 활발히 논의되고 있다. 본 논문에서는 바이너리 코드내에 존재하는 보안약점을 효과적으로 분석하기 위해서 바이너리 코드로부터 보안약점 분석에 효과적인 중간언어로 변환하는 시스템을 제안한다.

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

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.691-698
• /
• 2001

Component-based development methods are regarded as one of the most important tools for us to cope with ever-increasing software complexity and, at the same time, to improve productivity in software development. This paper presents how to generate test-cases for integrated software from those of member components and how to validate composition of components, by the analysis of domain relations of components. This paper shows the applicability of the proposed technique by the real experiment. This study is based on the dataflow systems architecture and process components, and the technique developed here is an application of domain testing technique.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1987-1994
• /
• 1997

ATM switching software should be required high reliability, functionality, extendability and maintainability. After development of the software, it is verified and tested by analyzer whether the software is accomplished the characteristics of it or not. There are so many CASE tools in other area, but the CHILL testing tools that can verify ATM softwares have not various functions are not many. In this paper we develop the testing tool which can evaluate and test CHILL programmed ATM software. This Tool supports testing reports, debugging informations and maintenance informations including parallel process about CHILL original programs.