$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

학위논문 상세정보

인과 그래프를 이용한 소프트웨어 테스트 자동화 도구

(An) automated tool for software testing using cause effect graph


Yoon, Sang-Woo (한국과학기술원 경영과학과 국내석사)
초록

소프트웨어 테스트 단계에서 발생하는 비용은 소프트웨어 개발비의 50\% 이상을 상회하고 있으며 또한 에러를 수정하는 데 소요되는 비용은 다른 어느단계에서 보다 많다. 보다 좋은 소프트웨어 테스트를 위한 computer-aided tool의 개발은 소프트웨어 테스트의 비용과 노력을 감소시켜 준다. 이 논문에서는 ISLDM/SEM으로 인-과 그래프 specification language가 정의되어 있으며, specification의 불완전성, 모호성, 모순성을 찾을 수 있는 checking rules이 기술되어 있으며, 자동적으로 s...

Abstract

The software testing cost in the software lifecycle is greater than 50\% of total programming cost, and error fixing cost in this phase is greater than any other phase of software lifecycle. The development of computer-aided tools for better software testing reduces the effort and cost of software t...

주제어

#Graph theory Automation 그래프 소프트웨어 공학 자동화 Software engineering;

참고문헌 (0)

  1. 이 논문의 참고문헌 없음

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음
저자 Yoon, Sang-Woo
학위수여기관 한국과학기술원
학위구분 국내석사
학과 경영과학과
발행년도 1987
총페이지 [iii], 67, [1] p.
키워드 Graph theory Automation 그래프 소프트웨어 공학 자동화 Software engineering
언어 eng
원문 URL http://www.riss.kr/link?id=T10509828&outLink=K
정보원 한국교육학술정보원
상세조회 0건 원문조회 0건

DOI 인용 스타일