• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.207-210
• /
• 2004

Waterfall 모델에서의 소프트웨어 개발 단계는 사용자로부터 요구 사항을 정의하고, 이것이 다음 단계의 input 이 되어 개발자에 의해 작업이 진행되는 개발 양식을 따른다. 시스템 요구 사항을 정의할 때에, 프로세스 관점에서 사용자 업무를 이해하고, 이 프로세스에서 사용되는 시스템과의 관계를 정의하여 요구 사항으로 함께 정의한다면, 단순한 시스템의 기능을 정의하여 개발하는 것 보다 시스템의 사용 목적을 이해하고 개발하게 됨으로써, 더 만족도 높은 시스템으로 개발할 수 있게 된다. 프로세스 관점에서 이해하고 정의하는 시스템의 요구 사항은 시스템 보수 작업(Maintenance)시에도 시스템의 상황이 현재 업무 프로세스와 어떻게 연계되어 있는지 파악하기 용이하고, 테스트 단계에서도 테스트 조건이나 테스트 시나리오로서도 활용이 가능하다. 새로운 업무를 담당하는 사람에게도 시스템 개발 요구 사항에서 정의된 업무 프로세스 맵(Map)이 관련 업무를 파악할 수 있는 기초 자료로 재 활용 될 수도 있다. 비즈니스 프로세스 리엔지니어링에서 사용하는 비즈니스 프로세스 맵핑(Mapping) 기술을 소프트웨어 개발 방법론에 적용하여, 요구 분석 단계에서 사용하는 분석 도구로서의 응용을 제안하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.681-683
• /
• 2009

기존 첨단안전차량의 개발시 실제 자동차를 활용하여 주행제어시스템을 개발을 하고 있다. 본 논문에서는 임베디드지능형자동차를 활용하여 자율주행제어시스템을 설계하고 테스트하여 개발에 소모되는 에너지와 비용을 절약할 수 있는 방식을 제안 한다. 본 논문에서 설계한 제어시스템은 임베디드 지능형 자동차에 설치되어 실제 도로와 유사한 환경으로 구축된 테스트베드에서 영상을 통해 감지한 차선정보와 적외선 거리 센서를 통한 장애물 정보를 통합하여 주변 상황을 판단, 적절한 주행 시나리오를 선택하는가를 테스트 하였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.216-219
• /
• 2021

In the Eco-Friendly Ship Act, the shaft generator is an equipment for eco-friendly ships. However, in order to apply the new technology in ships, high reliability is required, and the HILS (hardware in loop system) test is used as a verification method for this. Therefore, in this paper, a shaft generator is modeled and simulated for HILS test of a tugboat to which a shaft generator is applied. Through simulation, it was verified that the charging/discharging of the shaft generator operates according to the scenario.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.423-426
• /
• 2013

본 연구에서는 임분 단위에서 산림의 이산화탄소 흡수 및 저장 기능을 최적화 할 수 있는 최적의 산림시업체계를 도출하고자하였고, 이를 위해 임분 생장모델과 Simulated Annealing 휴리스틱 기법을 적용하여 임분탄소 최적화 프로그램을 개발하였다. 휴리스틱 알고리즘에서 최적해를 찾기 위해 반복 실행 되는 과정에서 더 이상 최적해을 찾지 못하고 목표 값이 어떤 일정한 값(Local Optimum)에 계속 머무는 현상을 해결하기 위해 임계치를 적용하며, SA 휴리스틱 기법에서는 열균형테스트를 이용하고 있다. 개발된 프로그램을 이용하여 3가지 산림 시업 시나리오에 대한 비교 분석을 실시하기 위해 프로그램을 실행한 결과, 목재수확량의 경우 목재수확량을 최대를 목표로 한 대안이 3개 시나리오 가운데 목재수확량이 가장 높은 것으로 나타났으며, 또한 탄소저장량에서도 탄소저장량을 최적화한 대안이가 탄소저장량이 가장 높은 것으로 나타나 프로그램이 목적에 맞게 개발된 것으로 판단됐다. 또한 열균형 테스트의 온도저감율을 조정하여 프로그램을 반복실행하여 온도저감율이 프로그램 실행 시에 미치는 영향을 분석한 결과 온도저감율에 따라 출력되는 목적함수의 최적값과 프로그램 반복횟수가 영향을 받는 것으로 나타나 프로그램 실행을 최적으로 하기위해 온도 저감율의 파라미터 값을 0.1로 설정하였다.

• Information Systems Review
• /
• v.10 no.1
• /
• pp.193-211
• /
• 2008

Effective Training has been recognized as one of the most important success factors for enterprise resource planning (ERP) system operations. However, both ERP system vendors and user companies have failed to provide an effective training method for users because practical business process cases cannot be formalized. Also, incomplete testing by ERP system vendors results in insufficient and ineffective user training. This paper suggests a scenario framework for ERP testing and training (SF-ETT). SF-ETT is constructed by expanding the practice-based ERP testing scenario construction framework designed for unERPII. SF-ETT contains concrete business process entities that users understand actually and provides practice definition, notation, and architecture.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1213-1224
• /
• 2003

In recently, digital comic content distribution was not stable for illegal distribution and the weak of intellectual property right in the internet. The research activities of suggest the distribution model and secure intellectual property right are going in international standard communities, not yet in Korea. As the basis of the research, the general framework of international projects and standards such as MPEG-21, IMPREMATUR, FILIGRANE was analysed. Targeting on the domain of digital comics industry, the digital comics distribution structure and business flow model are defined adapting secured distribution system, DRM. The detail content of this research consist of three themes. The first, survey and analysis of the international standard ＆ leading DRM project's models. The second, suggestion of the service scenario on the digital comic content distribution. The third, suggestion of the model on the secured distribution of digital comics. Through this research targeting at the digital comics business, we found that standards technical items and requirements was well adapted into target domain, and would affect other domain in digital content industry.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.27 no.1
• /
• pp.69-75
• /
• 2023

Small communication devices used in the Internet of Things are vulnerable to various hacking because they do not apply advanced encryption techniques due to their low memory capacity or slow computation speed. In order to increase the authentication reliability of small-sized transmitters operating in 433MHz band, we introduce an RF fingerprint and adopt a convolutional neural network (CNN) as a classification algorithm. The preamble signal transmitted by each transmitter are extracted and collected using software-defined-radio to constitute a training data set, which is used for training the CNN. We tested identification of 20 transmitters in four different scenarios and obtained high identification accuracy. In particular, the accuracy of 95.8% and 92.6% was obtained, respectively in the scenario where the test was performed at a location different from the transmitter's location at the time of collecting training data, and in the scenario where the transmitter moves at walking speed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.954-957
• /
• 2013

고안전성이 요구되는 내장형 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증의 고비용 문제를 해결하기 위하여, 기존연구에서는 안전성 특질기반 테스트 대상함수를 추출하여 테스트 시나리오 생성하는 생성기를 개발하여 검증 효율을 높이는데 기여하였다. 그러나 기존의 도구는 함수포인터를 탐색 하지 못한 문제와, 변수에 대한 규칙 부족문제 그리고 모듈화 되지 않아 유지 및 보수가 어려운 문제가 있었다. 본 논문에서는 기존도구의 문제점들을 개선하여 정확도를 높인 새로운 함수탐색기를 소개한다. 개발된 함수탐색기는 모듈화 되어 차후에 수정 및 보완 문제에 대하여 유연하게 대처할 수 있게 하였다. 개선된 함수탐색기를 OSEK/VDX[1] 기반의 개방형 차량전장용 운영체제인 Trampoline을 대상으로 테스트 해 본 결과 기존 도구보다 약 68%의 높은 정확도를 보였다.

• Archives of design research
• /
• v.17 no.3
• /
• pp.147-156
• /
• 2004

Currently, usability tests for web sites with representative users are conducted in laboratory environment that disturbs subjects' natural behavior. These test methods are inefficient for tests that require large number of subjects, because experimenters and subjects should be located in the same place at the same time during the test. In this study, a remote usability test tool, called 'RIO' has been developed to cope with these laboratory-based experiment problems - the 'synchronism' and the 'unnatural environment'. The tool is separated into three parts: 'Project Manager', 'Remote Interaction Observer', and 'Interaction Analyzer'. 'Project Manager' sets up overall experimental parameters and actual tasks to be peformed by subjects. 'Remote Interaction Observer', endued with Microsoft Internet Explorer Control, is a modified Web Browser which records user interactions, screen images and elaborate browser events while subject performs given tasks. This module is distributed to subjects as an installable software package. When they finish all the tasks, the captured interaction data is compressed and sent to 'Interaction Data Server' automatically. 'Interaction Analyzer' visualizes interaction data from the 'Interaction Data Server'. It also generates project-scope statistics which facilitate discovering peculiar cases among interaction submissions.