• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.665-668
• /
• 2017

임베디드 소프트웨어의 개발은 실제 어플리케이션이 수행되는 대상 시스템이 아닌 호스트 시스템에서 개발되기 때문에 개발 중 테스팅을 수행하기 어렵다. 또한 대상 시스템에서 어플리케이션이 실행될 때 결함 또는 오류가 발견되면 이를 재현하기 어렵다. 이러한 문제를 해결하기 위한 기존의 연구로는 RTOS 시뮬레이터를 사용하거나 모니터링 시스템을 추가하여 임베디드 소프트웨어의 동작을 확인한다. 하지만 RTOS 시뮬레이터는 기능 테스트만 가능하고 실직적인 시간 추정이 불가능하다. 또한 임베디드 소프트웨어에 모니터링 시스템을 추가하게 되면 어플리케이션의 동작에 영향을 주기 때문에 실시간 시스템의 제약 조건을 확인하기 어렵다. 따라서 본 논문에서는 임베디드 소프트웨어의 RIOS 기반 어플리케이션 구조를 제안하여 호스트 시스템에서 대상 시스템의 테스팅과 모니터링이 가능함을 보인다.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1998.10a
• /
• pp.157-164
• /
• 1998

본 논문은 원시 프로그램에 오류가 생겼을 때 신속한 오류검출, 소프트웨어의 유지 보수, 유연한 테스팅 등을 목적으로 하는 프로그램 슬라이싱과 원시 프로그램의 복잡한 베 어 흐름이나 데이터 흐름을 이해하고 프로그램이 테스팅 속도 향상과 오류위치를 파악하는 데 도움을 주는 구조적 순서도의 개념을 도압하여, C 언어데 대한 할당문(Assignment Statement)과 복합 제어 문(Compound Control Statement)으로 된 원시 프로그램의 입력 에 대해 프로시듀어(Procedure) 내에서의 구조적 순서도인 나씨-슈나아더만 차트 (Nassi-Shnei-derman Chart)를 자동 생성하고 실제 관심있는 변수에 대해 정적 슬라이싱 (Static Slicing)을 하는 도구를 개발함으로써 보다 빠르고 정확한 프로그램 구조의 이해에 도움을 주고자 한다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.306-315
• /
• 2002

With the rapid growth of WWW, the existing systems are integrated into web and various web-based systems are developed. Unlike the general applications, web aplications are developed by combining the various technologies and have their own complexities. So, we have much difficulties in the development and maintenance of web applications. To accommodate to the rapidly changing business environments and user requirements, the continuos evolution is required. In this paper, we present a method for supporting the effective development and maintenance of web applications. Our method involves the extraction of web application's structure information and analyzes web log ales containing the useful information about web site. We also describe a web testing method using the attracted information and our system developed for extracting hyperlink information and analyzing web log.

• Journal of KIISE
• /
• v.41 no.10
• /
• pp.774-784
• /
• 2014

Studies of fault-injection into state machine diagram have been studied for generating robustness test cases. Conventional studies have, however, tended to inject too many faults into diagrams because they only have considered structural aspects of diagrams. In this paper, we propose a method that aims to reduce the number of injected fault without a decrease in effectivenss of robustness test. A proposed method is demonstrated using a microwave oven sate machine diagram and evaluated using a hash table state machine diagram. The result of the evaluation shows that the number of injected faults is decreased by 43% and the number of test cases is decreased by 63% without a decrease in effectiveness of hash table robustness test.

• Journal of KIISE:Software and Applications
• /
• v.30 no.10
• /
• pp.925-937
• /
• 2003

The input of digital TV software is the Transport Stream, which utilizes the moving picture compression technique, MPEC-2 (Moving Picture Experts Groups-2). MPEG-2 TS consists of the complicated table hierarchy and internal relationships, as well as the various restrictions with regards to system standard of digital TV software in determining the field values of transport stream. However, the general MPEG-2 TS generation tool produces transport streams solely based on the MPEG-2 TS specification itself, and does not consider the interaction between modulo features or modules themselves, which construct digital TV software. In this paper, we propose a method to systematically generate MPEG-2 TS test data, namely‘Test Stream’, for digital TV software. We present the experiment result where the test stream derived from our developed tool according to the proposed method was applied to the actual digital TV software settop-box, and then analyze the result. Apart from other existing MPEG-2 TS generation tools, the advantage of our method is that not only is it capable of generating various levels of test streams including digital TV software module, integration, and system testing, but also detecting errors and analyzing their causes.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.7
• /
• pp.666-676
• /
• 1992

In this paper, algorithm and testable circuit to find all PSF(Pattern Sensitive Fault ) occured in RAM were proposed. Conventional test circuit and algorithm took much time in testing because consecutive test for RAM cells or f-dimensional memory struciure was not employed. In this paper, methodology for parallel RAM-testing was proposed by compensating additional circuit for test to conventional RAM circuit. Additional circuits are parallel comparator, error detector, group selector circuit and a modified decoder used for parallel testing. And also, the constructive method of Eulerian path to obtain efficient test pattern was performed. Consequently, If algorithm proposed in this paper Is used, the same operations as 32sxwor4 lines will be needed to test b x w=n matrix RAM. Circuit simulation was performerd, and 10 bits x :If words testable RAM was designed.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.45 no.2
• /
• pp.140-149
• /
• 2008

Recently, the need for accessing information from anywhere at any time has been a driving force for a variety of mobile applications. As the number of mobile applications increases rapidly, there has been a growing demand for the use of Service Oriented Architectures(SOA) for various applications. Mobile based SOA offers a systematic way to classify and assess technical realizations of business processes. But mobile has severly restricted range of utilizing services in computing environment and more, a mobile computer is envisioned to be equipped with more powerful capabilities, including the storage of a small database, the capacity of data processing, a narrow user input and small size of display. This paper present mobile adaption method based on SOA to overcome mobile restriction. To improve mobile efficient we analyzing mobile application requirement writing service specification, optimizing design, providing extended use case specification which test use case testing and testing service test case which derived from service specification. We discuss an mobile application testing that uses a SOA as a model for deploying discovering, specifying, integrating, implementing, testing, and invoking services. Such a service use case specification and testing technique including some idea could help the mobile application to develop cost efficient and dependable mobile services.

• Proceedings of the Korea Institute of Convergence Signal Processing
• /
• 2001.06a
• /
• pp.73-76
• /
• 2001

High-level synthesis generates a structural design that implements the given behavior and satisfies design constraints for area, performance, power consumption, packaging, testing and other criteria. Thus, high-level synthesis generates that register-transfer(RT) level structure from algorithm level description. High-level synthesis consist of compiling, partitioning, scheduling. In this paper, we proposed the efficient scheduling algorithm that find the number of the functional unit and scheduling into the minimum control step with silicon area resource constrained.

• Proceedings of the Korea Technology Innovation Society Conference
• /
• 2001.11a
• /
• pp.19-35
• /
• 2001

우리나라에서 수행된 국책연구개발기술과 관련된 기존 연구는 주로 기술개발에 초점이 맞추어진 관계로, 개발기술의 상용화는 연구개발 결과평가요인의 하나로서 다루어졌을 뿐, 그 자체를 효율화하기 위한 체계적인 연구는 없었다고 해도 과언이 아니다. 이러한 결과로 실제 국책연구개발의 기술적인 이전이 부족하고, 여러 분야에로의 2차 확산을 통한 상용화에 대한 성공률이 상대적으로 낮은 수준에 머무르고 있다. 또한 국내에서 출원된 특허를 포함한 산업재산권의 휴면 율이 55%-65% 수준에 이르고 있다. 이와 같이 연구개발기술의 산업계로의 확산이 부족한 관계로 국제적인 기술경쟁력의 제고가 어려우며, 기술발전과 산업발전이 상호 작용하는 선 순환적 구조를 이루지 못하고 있다. 따라서 본고에서는 기술집약형 중소기업 또는 기술벤처기업을 통한 정보통신산업분야의 정부지원 연구개발 기술의 상업화를 촉진하기 위한 효율적 방안의 도출을 위하여, 일차적으로 연구개발 기술의 상용화프로세스 모형을 도출하고, 다음으로 도출된 모형의 단계별 특성에 대한 기술개발자, 기술사용기업, 지원기관간의 중요도 차이를 분석하고자 한다. 이를 위하여 기존의 기술상용화 관련문헌 분석과, 우리나라의 정보통신 분야의 상용화 특성분석을 통하여, 우리나라 기술개발특성에 맞는 6 단계의 상용화프로세스 모형, 즉 1) 연구개발 계획 및 제안서 작성, 2)연구개발의 수행, 3)개발기술의 인큐베이팅과 시작품제작, 4)테스팅, 엔지니어링 및 시험생산, 5) 공장입지 결정 및 대량생산, 6) 시장판매, 마케팅 및 확산 등을 도출하였다. 아울러 동 모형의 단계별 특성을 설문지로 작성하여, 기술사용기업(벤처기업 및 기술집약형 중소기업), 기술개발자(국책연구소, 대학, 및 일반기업), 관련기관(정부, TBI운영기관, 정책 및 지원기관)을 대상으로 설문조사를 하였다. 회수 및 사용된 142개 설문지 분석을 통하여, 일차적으로 정보통신 국책개발기술의 상용화에 관한 변수들의 중요도 순위로 본 중요도 실태를 분석하였으며, 나아가 이들 변수에 대하여 앞에서 제시한 기술사용기업-기술개발자-관련기관 즉 세 집단 간의 차이분석 즉 ANOVA 분석을 하였다. 이러한 분석을 통하여 우리나라 정보통신 국책연구개발기술의 상용화와 관련된 특성을 도출하는 동시에, 이를 촉진하기 위한 인프라조성과 관련한 중요한 특성 및 지원정책 대안을 도출하였다.