• 한국정보처리학회논문지
• /
• 제4권8호
• /
• pp.1987-1994
• /
• 1997

ATM 교환기 소프트웨어 품질 특성은 신뢰성이 높고 기능성, 확장성 및 유지 보수성이 조아야만 한다. 소프트웨어의 개발 과정이나 설계 후에 이러한 품질 특성이 만족되었는지의 여부를 평가하고 검증하는 테스팅 도구들은 많이 개발되어 왔으나 ATM 관련 소프트웨어의 품질 평가 도구는 기능성에서 뒤떨어지고 품질면에서도 부적합하다. 본 논문에서는 CHILL 언어로 작성된 ATM 교환기 소프트웨어를 대상으로 이를 평가하기 위한 테스팅 분석자료, 디버깅 및 유지 보수 정보를 제공하는 정적 도구를 설계하여 구현한다. 이 도구는 입력 프로그램에 대한 높은 가시성을 제공하여 병렬 프로세싱에 관한 정보를 통계표와 그래프로 나타내는 특성을 갖는다.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.423-430
• /
• 2010

소프트웨어가 대형화 및 복잡화되고 품질보증 및 관리에 대한 요구가 한층 커짐에 따라 소프트웨어 테스트 활동이 중요시되고 있다. 소프트웨어 테스트 활동은 시스템에 존재하는 결함 발견과 처리가 주요 목적이지만, 현재 시스템의 위험요소를 관리하기 위한 요구 또한 존재한다. 하지만 일반적인 테스트 자동화 도구에서는 테스트케이스를 이용하여 동일한 순서로 테스트를 수행하며, 이러한 테스트 방식은 빈번하게 변경되는 소프트웨어를 테스트함에 있어 결함을 조기에 발견할 가능성이 낮아지고 처리되는 시간이 늦어지게 된다. 이에 따라 본 논문에서는 과거 테스트 이력을 이용하여 테스트케이스에 동적인 가중치를 부여함으로써 위험도가 높은 테스트케이스를 우선적으로 테스트 하여 결함을 빠르게 발견할 수 있도록 가중치를 이용한 테스트케이스 동적 관리 기법을 설계하였다.

• International journal of advanced smart convergence
• /
• 제13권1호
• /
• pp.99-107
• /
• 2024

In AI image generation tools, most general users must use an effective prompt to craft queries or statements to elicit the desired response (image, result) from the AI model. But we are software engineers who focus on software processes. At the process's early stage, we use informal and formal requirement specifications. At this time, we adapt the natural language approach into requirement engineering and toon engineering. Most Generative AI tools do not produce the same image in the same query. The reason is that the same data asset is not used for the same query. To solve this problem, we intend to use informal requirement engineering and linguistics to create a toon. Therefore, we propose a sequence diagram and image generation mechanism by analyzing and applying key objects and attributes as an informal natural language requirement analysis. Identify morpheme and semantic roles by analyzing natural language through linguistic methods. Based on the analysis results, a sequence diagram and an image are generated through the diagram. We expect consistent image generation using the same image element asset through the proposed mechanism.

• 한국철도학회논문집
• /
• 제11권2호
• /
• pp.139-144
• /
• 2008

최근 임베디드 시스템 기술의 발전에 따라 열차제어시스템의 자동화가 촉진되고 있다. 이를 위한 하드웨어의 안전성 검증을 위한 연구는 활발히 진행되고 있으나, 소프트웨어의 안전성을 검증하기 위한 체계적인 노력은 거의 이루어지지 않고 있다. 이 논문에서는 열차제어 시스템 소프트웨어의 안전성을 자동으로 평가 할 수 있는 소프트웨어 도구를 제안한다. 이를 위하여 관련 국제표준을 분석하였으며, 기존의 사용 소프트웨어 테스팅 도구들을 조사하였다. 이로부터 국제표준에서 요구하는 주요 요건을 테스팅 할 수 있는 도구를 제안하였으며, 이 도구는 소프트웨어 전 개발주기에서 이용이 가능하다. 이 도구는 기존의 테스팅 도구들과는 달리 소프트웨어의 안전성을 검증할 수 있다는 점에서 그 의의가 크다.

• Genomics & Informatics
• /
• 제5권4호
• /
• pp.200-202
• /
• 2007

For the past several years, we have built various tools for automatic construction of biopathways to help biological experts, especially in the field of agriculture. We integrated several systems for constructing web applications for analyzing biological pathway information for agricultural species, constructing optimized pathway maps. In addition to building web applications for agricultural pathway information, we developed several stand-alone software tools, which are publicly downloadable under proper license agreements.

• 한국전자거래학회지
• /
• 제13권3호
• /
• pp.67-83
• /
• 2008

Web caching server is one of the important components of any web site, as it makes the access of users to web content much faster while balancing the network and server load. There are many caching approaches proposed in order to solve this problem. Classically, we know several caching algorithms like FIFO, LRU, LRU-min and etc. Most of them have their advantages and disadvantages based on specific context. The purpose of this paper is to introduce the new concept of caching objects along with their related content and test the performance of the proposed caching method using CPN Tools simulator program. It is generally known that the use of Colored Petri Nets(CPNs) for modeling the simulation of new idea is one of the popular methods of system evaluation throughout software development projects. Moreover it could be very handy in describing the overall logic of the system. The CPN Tools is one of the most robust simulator programs which supports all necessary tools and functions to build and run the simulation model for CPN. Therefore in this paper, we will use CPN Tools software in order to build a simulator for our innovative caching approach named as web caching with related content. Then we will analyze the results derived from the simulation of our model and will make corresponding conclusions.

• 정보교육학회논문지
• /
• 제19권4호
• /
• pp.545-556
• /
• 2015

2015 소프트웨어 교육 운영지침의 기본 방향은 ICT 교육의 관점을 확장하여 학습자들이 문제를 해결하는 역량을 기르는 것으로 한다. 그러나 정작 이 지침에는 ICT 교육 내용이 포함되어있지 않다. 본 연구는 컴퓨터 활용교육을 위한 초등학교 정보윤리와 창작도구의 교육과정 모델을 개발하는 연구이다. 세계 여러 나라의 컴퓨터 교육과정에서 정보윤리와 창작도구 관련 교육과정을 조사하고 우리나라에 적절한 교육과정을 제안한다. 연구 결과로 초등학교 현장에서 바로 적용이 가능한 정보윤리와 창작도구에 대한 내용체계와 성취기준을 수준별 7단계로 제안한다.

• 대한임베디드공학회논문지
• /
• 제7권2호
• /
• pp.113-120
• /
• 2012

In this paper we describe the integrated development environment for embedded software education. Our environment uses a cheap and widely available portable game console, Nintendo DS-lite. We have integrated open source development tools, and have implemented download shell, remote debugger. The results are all open source, and were used for university class for real embedded software education.

• 품질경영학회지
• /
• 제27권4호
• /
• pp.256-265
• /
• 1999

In this paper, we Present the implementation of statistical process control software by using XLISP-STAT which is a kind of object oriented language under Windows environment. This software can be used to generate the graphic objects for various control charts, histogram and plots using the full-down menu system. This software can also be used to calculate control limits, process capability indices and test procedures for normality.

• KIEE International Transactions on Power Engineering
• /
• 제2A권4호
• /
• pp.145-152
• /
• 2002

This paper illustrates applications of the Component Object Model (COM) for power system software developments. As an integral part of Microsoft's component services, COM has gained increased popularity for developing enterprise applications. This paper illustrates the concepts of COM and the latest developments as well as the available tools for developing COM components. Possible COM applications for developing power system software, such as sparse matrix manipulation, fault location, genetic algorithm applications, and so on. are presented. Advantages and promises brought about by COM are manifested through these examples.