• Journal of Information Processing Systems
• /
• 제17권5호
• /
• pp.972-988
• /
• 2021

At present, DevOps environments are getting popular in software organizations due to better collaboration and software productivity over traditional software process models. Software artefacts in DevOps environments are vulnerable to frequent changes at any phase of the software development life cycle that create a continuous integration continuous delivery pipeline. Therefore, software artefact traceability management is challenging in DevOps environments due to the continual artefact changes; often it makes the artefacts to be inconsistent. The existing software traceability related research shows limitations such as being limited to few types of artefacts, lack of automation and inability to cope with continuous integrations. This paper attempts to overcome those challenges by providing traceability support for heterogeneous artefacts in DevOps environments using a prototype named SAT-Analyser. The novel contribution of this work is the proposed traceability process model consists of artefact change detection, change impact analysis, and change propagation. Moreover, this tool provides multi-user accessibility and is integrated with a prominent DevOps tool stack to enable collaborations. The case study analysis has shown high accuracy in SAT-Analyser generated results and have obtained positive feedback from industry DevOps practitioners for its efficacy.

• 정보교육학회논문지
• /
• 제16권4호
• /
• pp.475-482
• /
• 2012

수업은 교사와 학생의 복잡한 상호 작용으로 진행된다. 본 논문은 수업의 이러한 특성을 컴퓨터를 활용하여 정량화하는 방법에 관한 것이다. 본 논문에서는 수업 분석을 위하여 일반적으로 널리 이용되고 있는 플랜더즈(Flanders) 언어 분석법을 기초로 소프트웨어를 설계하고 구현하였다. 본 논문에서 제안하는 방법은 언어 심볼 진행을 아이콘 요소로 추상화하여 사용자가 쉽게 입력과 편집이 가능하다. 현직 교사들을 대상으로 시행한 성능 평가에서도 사용의 편의성과 분석 결과의 실용성을 확인할 수 있었다.

• 산업공학
• /
• 제21권1호
• /
• pp.109-119
• /
• 2008

Reliability of embedded softwares, as one of factors which affect system reliability, is the probability of failure-free software operation for a specified period of time in a specified environment. and Embedded software is different from general package software because hardware and operating system are tightly coupled to each other. Reliability evaluation models for embedded softwares currently used do not separate estimation and prediction models clearly, and even a standard model has not been proposed yet. In this respect, we choose a reliability estimation model suitable for embedded softwares among software evaluation models being used, and modified the model so as to accomodate recent software environments. In addtion, based on the model, the web-based reliability prediction tool RPX is developed. Finally, an embedded software is analyzed using the tool.

• 전기학회논문지P
• /
• 제65권4호
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2008년도 한국우주과학회보 제17권2호
• /
• pp.26.1-26.1
• /
• 2008

The Korean first geostationary meteorological satellite, COMS, will be launched during second half of 2009. For the next meteorological geostationary satellite mission, KARI is now preparing the development process and tools. As one of the endeavor, a software tool is being developed for the analysis and design of geostationary transfer orbit. Generally, these kind of tools should be able to do various analysis works like apogee burn planning, dispersion analysis, ground visibility analysis, and launch window analysis etc. In this presentation, a brief introduction about a design process and analysis software tool development. And simulated calculation results are provided for the geostationary transfer orbit. These software can be used for the next geostationary satellite mission design and development.

• 한국컴퓨터정보학회논문지
• /
• 제21권8호
• /
• pp.65-75
• /
• 2016

In this paper, we present a novel approach to help MSR researchers obtain necessary data with a tool, termed General Purpose Extractor for Source code (GPES). GPES has a single function extracts high-quality data, e.g., the version history, abstract syntax tree (AST), changed code diff, and software quality metrics. Moreover, features such as an AST of other languages or new software metrics can be extended easily given that GPES has a flexible data model and a component-based design. We conducted several case studies to evaluate the usefulness and effectiveness of our tool. Case studies show that researchers can reduce the overall cost of data analysis by transforming the data into the required formats.

• Nuclear Engineering and Technology
• /
• 제38권3호
• /
• pp.259-276
• /
• 2006

As the use of digital systems becomes more prevalent, adequate techniques for software specification and analysis have become increasingly important in nuclear power plant (NPP) safety-critical systems. Additionally, the importance of software verification and validation (V&V) based on adequate specification has received greater emphasis in view of improving software quality. For thorough V&V of safety-critical systems, V&V should be performed throughout the software lifecycle. However, systematic V&V is difficult as it involves many manual-oriented tasks. Tool support is needed in order to more conveniently perform software V&V. In response, we developed four kinds of computer aided software engineering (CASE) tools to support system specification for a formal-based analysis according to the software lifecycle. In this work, we achieved optimized integration of each tool. The toolset, NuSEE, is an integrated environment for software specification and V&V for PLC based safety-critical systems. In accordance with the software lifecycle, NuSEE consists of NuSISRT for the concept phase, NuSRS for the requirements phase, NuSDS for the design phase and NuSCM for configuration management. It is believed that after further development our integrated environment will be a unique and promising software specification and analysis toolset that will support the entire software lifecycle for the development of PLC based NPP safety-critical systems.

• 한국통신학회논문지
• /
• 제39C권9호
• /
• pp.880-886
• /
• 2014

열차제어시스템은 최근의 컴퓨터 기술의 발달에 따른 자동화 및 지능화에 따라 소프트웨어에의 의존성이 더욱 증가하고 있으며, 동시에 소프트웨어의 오류 내재 가능성이 높아지고 실제 장애발생으로 인한 위험비용도 증가하고 있다. 이에 따라 열차제어시스템 소프트웨어의 무결성 검증이 매우 중요한 이슈가 되고 있으며, 이 중에서 열차제어 소프트웨어 기능안전성 검증을 위한 블랙박스 테스팅 도구의 필요성이 제기되고 있으나, 기존 상용도구들은 사용하기 어렵고 복잡하여 실제 현장에서 적용이 거의 되지 않고 있다. 본 논문에서는 이러한 분석을 바탕으로 열차제어시스템 소프트웨어 기능안전성 검증을 위한 실제 사용하고 있은 인터페이스를 통한 새로운 개념의 블랙박스 테스팅 도구를 제안하였다. 현재 제안한 도구의 설계 및 프로토타입이 개발되어 열차제어시스템 소프트웨어 테스팅에 시범적용 중에 있다.

• 한국컴퓨터정보학회논문지
• /
• 제23권4호
• /
• pp.97-106
• /
• 2018

Software maintenance activities have always been important issues in many domains of the software industry. In order to help to resolve this issue, software modularization approaches have been studied to build adequate modules with high cohesion and low coupling; such modular structures can help the comprehension and maintenance of complex systems. In this paper, we propose a GUI-based automated approach for software modularization based on GUI structure analysis. GUI is a principal manner to allow users to access the overall functionalities of a software system; in particular, GUI is closely related to software functionalities, which makes it a promising tool to identify and understand the entire software system. We also implement a software tool to support our approach and evaluate it with a case study using an open source software.

• ETRI Journal
• /
• 제15권2호
• /
• pp.75-84
• /
• 1993

This paper presents a modeling tool, so-called X-ADD (X-window application Analysis & Design Diagram), which is useful for the understanding of existing X-window application program and the development of new X-window application software. This X-ADD tool is available for the X-window applications maintenance activities such as program understanding, and program analysis by the concept of reverse engineering. In addition, it supports the analysis and design for the new X-window application system development. Therefore, by the use of this tool, the visibility of the existing X-window application programs can be enhanced and modeling for the design of new X-window application systems can be easily made.