RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제
      • 좁혀본 항목 보기순서

        • 원문유무
        • 원문제공처
          펼치기
        • 등재정보
          펼치기
        • 학술지명
          펼치기
        • 주제분류
          펼치기
        • 발행연도
          펼치기
        • 작성언어
        • 저자
          펼치기

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • 소프트웨어 프로세스 개선을 위한 SPICE 모델 분석

        황선명,이종은 대전대학교 산업기술연구소 1998 산업기술연구소 論文集 Vol.9 No.2

        Software Process Improvement(SPI) is aimed at improving an organization's software process capability. The SPICE Standard for SPI is intended for assessments that support two main activities : software improvement and software capability determination. In this paper, we analyze and describe the characteristics of SPICE and compare SPICE with CMM and other models. Through this analysis, we can find the trends of international standards about software process assessment and improvement.

      • 테스트 커버리지 기준들의 평가와 최적화 방법

        황선명 大田大學校 産業技術硏究所 1998 산업기술연구소 論文集 Vol.9 No.1

        테스트 커버리지 기준은 프로그램 흐름 그래프의 구성 요소들 집합으로 정의되며 커버리지에 따라 이들 요소들이 모두 커버되는 것을 요구한다. 본 논문에서는 먼저 널리 사용되고 있는 테스트 커버리지 기준들인 C에 대하여 이를 만족시키는 요소들의 집합인 Ec 안에 있는 모든 요소를 커버하는 테스트 경로들 집합과 같은 Spanning set을 구하는 방법을 나타낸다. Spanning set은 최소의 요소들 집합을 말하며 이를 구하는 일반적인 알고리즘과 테스팅을 위하여 요소들에 대한 Spanning set의 여러 응용 분야를 제안한다. 특히 이 방법은 테스트커버리지 기준을 만족시키기 위한 테스트 횟수를 평가하고 이를 축소시키는데 유용하다. Test coverage criteria define a set of entities of a program flowgraph and require that every entities si covered by some test. In this paper we first identify EC, the set of entities to be covered according to a criterion C, for a family of widely used test coverage criteria. We then describe a method to drive a minimum set of entities, called a spanning set, such that a set of test paths covering the entities in this set covers every entity in EC. We provide a generalized algorithm, which is parameterized by the coverage criterion. In particular, this helps to reduce and to estimate the number of tests needed to satisfy test coverage criteria.

      • 소프트웨어 품질평가 메트릭스 분석

        황선명,강성기 대전대학교 산업기술연구소 1999 산업기술연구소 論文集 Vol.10 No.2

        소프트웨어에 대한 생산성과 신뢰성에 대한 요구가 증가하면서 보다 정확한 제품의 품질 평가 방법, 메트릭스 등의 연구가 필요하게 되었다. 또한, 소프트웨어 시스템의 대형화, 복잡화를 해결하기 위한 여러 가지 방법론과 도구가 연구, 개발되고 있다. 본 논문의 목적은 기존 기능 중심의 구조적 소프트웨어와 객체지향 소프트웨어의 품질 평가 기준을 제안하고 이를 측정하는 메트릭스를 분석한다. 또한 제품의 품질평가에 대한 국제 표준들을 비교, 분석하여 국제적인 품질평가 기준에 대하여 살펴보도록 한다. 또한 소프트웨어의 생성 공정에 대한 품질 심사와 개선을 위한 ISO표준들을 분석하여 능력 수준을 결정하는 방법을 고찰한다. The requirement on improvement of software quality such as software productivity and reliability is urgently increased it is necessary to measure software quality and software process quality. In this study we analyzed software quality metrics of functional oriented software and object-oriented software, and compared CMM and SPICE model of international standards. Through this anslysis, we can find the trends of ISO about software metrics and process assessment and improvement.

      • KCI등재
      • 소프트웨어 유지 보수를 위한 프로그램 구조의 조각화 연구

        황선명 大田大學校 産業技術硏究所 1996 산업기술연구소 論文集 Vol.7 No.1

        Program slicing is a method for automatically decomposing programs by analyzing their data flow and control flow. Starting from a subset of a program's behavior, slicing reduces that program to a minimal form which still produces that behavior. The reduced program, called a "slice" is an independent program guranteed to represent faith-fully the original program within the domain of the specified subset if behavior. The goal of this paper is to report on using a combination of program slices as a maintenance tool : To evaluate variations on program slicing for maintenance and debugging, we propose a slicing-based model of program structure.

      • 프로그램 분할조각간 관련성과 파급효과 분석

        황선명 大田大學校 産業技術硏究所 1996 산업기술연구소 論文集 Vol.7 No.2

        Weiser에 의한 소개된 프로그램 조각화는 프로그램에 대한 이해도를 높여 주고 테스팅과 디버깅 정보를 제공한다. 또한 프로그램 각 위치에서의 임의의 변수에 대한 조각화를 통하여 유지보수시에 전체 프로그램 중 해당되는 일부만을 대상으로 수정 및 리테스트를 실행함으로 유지 보수 노력과 비용을 감소시킬 수 있다. 본 논문은 프로그램 조각화의 활용성을 높이기 위하여 분할 조각 간의 관련성을 데이터 의존성 분석을 통하여 정의하였으며 분할조각간 의존성으로부터 하나의 조각이 수정되었을 때 그에 따른 파급효과에 대해서 살펴보았다. 프로그램 분할 조각은 재공학 분야에서 효과적으로 사용할 수 있으며 모듈의 응집도를 측정하는데 중요한 메트릭스 요소로 적용된다. Program skicing introduced by Weiser, is known to help programmers in understanding foreign code and in debugging. This paper describes a decomposition slice that captures all computation on a given variable; I. e., is independent of line numbers. Using the lattice of single vaviable decomposition slices ordered by set inclusion, this paper demonstrates how to form a slice-based decomposition for programs, and which relationship to be formed between decomposition slices. And this is able to delineate the effects of a proposed change by isolating these effects in a single component of the decompotion. This guces maintainers a straight forward technique for determining those statements and variables which may be modified in a component are those which may not.

      • 기능 일치성 검증을 위한 OCVT의 설계

        황선명 大田大學校 産業技術硏究所 1997 산업기술연구소 論文集 Vol.8 No.2

        최근 객체지향 소프트웨어에 대한 효율성이 인식되면서 기존의 절차중심으로 개발된 소프트웨어로부터 객체지향 소프트웨어로 변형하는 객체지향 재공학 기술에 관심이 모아지고 있다. 본 연구는 RESORT 시스템의 초종과정으로서 C 프로그램을 C++ 프로그램으로 변환했을 때 기능성의 일치성 여부를 평가, 판단하고 이를 검증하기 위한 도구로 OCVT(Object Conformance Verifying Tool)를 설계한다. OCTV에서 적용되는 검증방법으로 기능에 해당하는 함수(function)를 커버하기 위한 함수 커버리지를 제안하고 이를 소스코드와 목적코드에 적용하여 두 코드의 기능적 일치성을 찾는다. 본 연구는 재공학, 역공학 방법들의 타당성 여부를 판단하는데 효과적이다. The reasons why the object-oriented paradigm is recently considered promising to foster reuse in the software engineering process already have been extensively discussed and are widly accepted. Therefore transformation of old software in reengineering area is focused based on this paradigm. This research which is performed as last process in RESORT system, is proposed a method to verify functional equivalence between a procedural software and a translated object-oriented software. Fortheremore, we developed a prototype system OCVT using function coverage. The proposed verifying tool and method are efficiently use to verify whether the transformed program preserves the same functionality as old program.

      • 소프트웨어 품질평가를 위한 국제 표준 ISO 9126과 ISO 14598의 분석

        황선명 大田大學校 産業技術硏究所 1998 산업기술연구소 論文集 Vol.9 No.1

        품질 좋은 소프트웨어 제품들의 개발과 선택은 매우 중요한데 이들 제품의 품질을 보증하는 주된 요소는 명세의 구체적인 이해와 소프트웨어 제품에 대한 품질 평가라 할 수 있다. 이는 소프트웨어 사용목적을 설명하는 적합한 품질 특성들을 정의하는 것에 의하여 이루어진다. 본 논문에선는 ISO/IEC 9126(소프트웨어 품질 특성들과 메트릭스들)과 ISO/IEC 14598(소프트웨어 제품 평가)에 관하여 설명하고 이를 분석하며 이를 통하여 소프트웨어 품질 평가에 대한 국제 표준 동향을 파악하고 국내 표준에 적용을 모색하고자 한다. Comprehensive specification and evaluation of software product quality is a key factor in ensuring adequate quality. This can be achieved by defining appropriate quality characteristics taking account of the purpose of usage of the software product. In this paper, ISO/IEC 9126(Software quality characteristics and metrics) and ISO/IEC 14598(Software product evaluation) are analyzed and described. Through this analysis, we can the find the trends of international standards about software quality evaluation.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼