• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.032 seconds

Design of an Integrated Product Management System for Game Software Development (게임 소프트웨어 산출물 통합관리시스템 설계)

  • Kim, Byung-Cheol
    • Journal of Digital Convergence
    • /
    • v.13 no.12
    • /
    • pp.319-324
    • /
    • 2015
  • This paper proposes an integrated management system for products of game software development. Those products generated over software life-cycle are generally huge in numbers, various in kinds and interconnected in relationships among them. Especially they are highly complex and tightly coupled each other because they are used to build another world which is composed of multi-modal data such as graphics, sound, logics and so on. Therefore it is critical to manage development products in an integrated manner to guarantee the quality of software. The proposed system is designed to provide project/requirement/configuration/traceability management capabilities and interfacing to CASE standards. To achieve the objective, it is based on data warehouse technologies which provide central repositories of heterogeneous data, multi-aspect reporting&analysis capabilities, traceability, verification, etc.

A Logical Coupling Measurement Method Based on Transaction Time, Size and Expertise of Developer (트랜잭션의 시점, 크기 및 개발자의 숙련도를 고려한 논리적커플링 측정기법)

  • Shim, Bin-Gu;Kim, Jin-Tae;Park, Soo-Yong
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.11
    • /
    • pp.891-900
    • /
    • 2009
  • The priority of software maintenance researches has been increasing, since the lengths of software lifecycle are more increasing. Measuring couplings among software entities provides a good quantitative source for analyzing source code and point out candidate refactoring positions. Logical-coupling measures how strongly two software entities are related with each other from the evolutionary point of view. The researches on logical-coupling have been focusing on improving the correctness and explaining more aspects that are hiding by measuring logical-coupling among finer-grained entities. However, existing researches on logical-coupling fails to consider characteristics of developers and projects reflected in transactions. The research proposes a logical-coupling measurement method based on transaction time, size and expertise of developer to improve the correctness by considering characteristics of developers and projects reflected in transactions. The method has been validated by applying it to three open-source projects.

Software Similarity Detection Using Highly Credible Dynamic API Sequences (신뢰성 높은 동적 API 시퀀스를 이용한 소프트웨어 유사성 검사)

  • Park, Seongsoo;Han, Hwansoo
    • Journal of KIISE
    • /
    • v.43 no.10
    • /
    • pp.1067-1072
    • /
    • 2016
  • Software birthmarks, which are unique characteristics of the software, are used to detect software plagiarism or software similarity. Generally, software birthmarks are divided into static birthmarks or dynamic birthmarks, which have evident pros and cons depending on the extraction method. In this paper, we propose a method for extracting the API sequence birthmarks using a dynamic analysis and similarity detection between the executable codes. Dynamic birthmarks based on API sequences extract API functions during the execution of programs. The extracted API sequences often include all the API functions called from the start to the end of the program. Meanwhile, our dynamic birthmark scheme extracts the API functions only called directly from the executable code. Then, it uses a sequence alignment algorithm to calculate the similarity metric effectively. We evaluate the birthmark with several open source software programs to verify its reliability and credibility. Our dynamic birthmark scheme based on the extracted API sequence can be utilized in a similarity test of executable codes.

Similarity Analysis of Programs through Linear Regression of Code Distribution (코드 분포의 선형 회귀를 이용한 프로그램 유사성 분석)

  • Lim, Hyun-il
    • Journal of Digital Contents Society
    • /
    • v.19 no.7
    • /
    • pp.1357-1363
    • /
    • 2018
  • In addition to advances in information technology, machine learning approach is applied to a variety of applications, and is expanding to a variety of areas. In this paper, we propose a software analysis method that applies linear regression to analyse software similarity from the code distribution of the software. The characteristics of software can be expressed by instructions contained within the program, so the distribution information of instructions is used as learning data. In addition, a learning procedure with the learning data generates a linear regression model for software similarity analysis. The proposed method is evaluated with real world Java applications. The proposed method is expected to be used as a basic technique to determine similarity of software. It is also expected to be applied to various software analysis techniques through machine learning approaches.

Development of Automation Software for Corner Radius Analysis of Composite Laminated Structure (복합재 적층 구조물의 코너 부 파손 해석을 위한 자동화 소프트웨어 개발)

  • Hyeon, Ju-Ha;Moon, Yong-Ho;Ha, Seok-Wun
    • Journal of Convergence for Information Technology
    • /
    • v.8 no.3
    • /
    • pp.107-114
    • /
    • 2018
  • Recently, as aviation industry has been activated, development of software related to composite materials has been demanded. Composite analysis requires specialized structural analysis and test evaluation. Therefore, it is necessary to use existing commercial software to analyze the composite structure, but existing commercial software only provides limited functions. Especially, since there is no specialized software for corner structure analysis of aerospace composites spa structure, much human resources and time are consumed in structural analysis. In order to solve this problem, we developed a GUI-based automation software based on user-friendly GUI that reflects the existing corner structure analysis procedure and provides multiple breakdown criteria. To verify the reliability of the structural analysis results of the developed software, it was confirmed that there is no problem in the structural analysis performance as a result of comparing with the existing analysis results.

A Study on the Linkage Effects of Software Industry in Korea and the US (한국과 미국 소프트웨어 산업의 경제적 파급효과 분석 연구)

  • Mun, Jun-Hwan;Kim, Jong-Hyeon
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.22 no.4
    • /
    • pp.185-194
    • /
    • 2022
  • The software industry makes it possible to converge science and Information and Communication Technologies (ICT), create new markets, and create jobs. It is a key industry in the 21st century knowledge and information age, which is growing very rapidly. This study uses Input-output analysis to derive Linkage effect of the software industry in Korea and the United States (US), and compares the result with CO2 inducement effect to verify whether the industry meets the low carbon emission development strategy. As the result of this study, first, the software industries in Korea and the US are confirmed to have large influences on the national economy. Second, the Korean software industry has a low Forward linkage effect, so it is less affected by the output of other industries. On the other hand, in the US, it has a high Forward linkage effect and can induce a lot of output in others. Third, CO2 inducement effects of the industry in Korea and the US are both low, confirming that the industry is suitable for a sustainable future.

A Study on the System Management CSCI Software Modularization in Naval Combat Management System

  • Hyeon-Tae Ha
    • Journal of the Korea Society of Computer and Information
    • /
    • v.29 no.8
    • /
    • pp.67-75
    • /
    • 2024
  • Frequently changeable functional requirements in System Management CSCI Software make it difficult to reuse an overall application, but only the partial class codes repeatedly as a new version of Naval Combat Management System is developed. This structural environment leads to increasing development time and expenses. This is why modularization for System Management CSCI Software is proposed as a solution, leveraging the advantages of proper standardization and functional expandability offered by Standard Interface Architecture. This paper outlines the comparisons of modified class ratios as well as software reliability test runtime results between before and after implementing the modularization for System Management CSCI Software. The findings demonstrate there is sufficient improvement in areas, such as higher maintenance and reusability, supporting the application of modularization for System Management CSCI Software with the implementation of Standard Interface Architecture.

Improved Function Point Model for Software Size Estmation (소프트웨어 규모예측을 위한 기능점수모형의 개선)

  • An, Yeon-Sik
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.4
    • /
    • pp.993-1003
    • /
    • 1997
  • In this paper an improvement is made on the function point moedl,one of sortware size dstimation model,for better fesibility with increased accuracy as my proposed moedl.For better feasibility seven function typcs are proposed in this model and technical complexity factors are used to assecss the diffculties of considering technical and distributed enviroment attributes.To assess the creditability of the proposed model,24-software develop-ment cases were cinsidered in the regression model with the actual require efforts as the total function points. As seen in the statistical results,the proposed model is at least as superior to the known function point models.

  • PDF

A lightweight detection mechanism of control flow modification for IoT devices (IoT 기기를 위한 경량의 소프트웨어 제어 변조 탐지 기법)

  • Pak, Dohyun;Lee, JongHyup
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.25 no.6
    • /
    • pp.1449-1453
    • /
    • 2015
  • Constrained IoT devices cannot achieve full coverage of software attestation even though the integrity of software is critical. The limited modification attacks on control flow of software aim at the shadow area uncovered in software attestation processes. In this paper, we propose a light-weight protection system that detects modification by injecting markers to program code.

The design of a platform neutral performance measurement tool (미들웨어 중립적인 컴포넌트 성능측정도구 설계)

  • 황길승;이긍해
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.04c
    • /
    • pp.118-120
    • /
    • 2003
  • 컴포넌트 기반 개발 방법은 조립 가능한 컴포넌트들을 이용하여 소프트웨어를 구현하는 기술로써, 소프트웨어의 생산성 및 품질을 높이는 효과적인 방법으로 알려져 있다. 향후 성장이 예상되는 컴포넌트 시장에서는 여러 컴포넌트 공급자들에 의해 COTS나 Web Services의 형태로 동일 내지는 유사 기능을 수행하는 대체 가능한 컴포넌트들이 나타나게 될 것이다. 개발되는 컴포넌트 기반 소프트웨어의 품질을 위해서는 여러 경쟁 컴포넌트들 중에서 우수한 성능을 가진 컴포넌트를 선택하는 기술이 중요한 요소의 하나라고 할 수 있다. 일반적으로 컴포넌트는 컴포넌트 모델에 종속적이기 때문에 컴포넌트의 성능 측정기도 측정 대상 컴포넌트뿐만 아니라 컴포넌트 모델에 종속적으로 구현된다. 본 논문은 컴포넌트 모델과 미들웨어 프레임워크에 중립적인 분산 컴포넌트의 성능 측정 모델에 대하여 설명한다. 이 모델을 이용하여 컴포넌트 모델에 중립 적인 성능측정기를 개발할 수 있으며 컴포넌트의 비교와 검증에 필요한 객관적인 성능 측정 결과를 얻을 수 있다.

  • PDF