객체지향 소프트웨어의 신뢰성을 위해서는 정보 은폐, 상속성, 다형성 등의 객체지향 특성을 고려한 객체지향 테스팅이 요구되어진다. 본 논문에서 제안하는 상태 기반 뮤테이션 테스트 기...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82309998
1998
Korean
004
학술저널
509-511(3쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
객체지향 소프트웨어의 신뢰성을 위해서는 정보 은폐, 상속성, 다형성 등의 객체지향 특성을 고려한 객체지향 테스팅이 요구되어진다. 본 논문에서 제안하는 상태 기반 뮤테이션 테스트 기...
객체지향 소프트웨어의 신뢰성을 위해서는 정보 은폐, 상속성, 다형성 등의 객체지향 특성을 고려한 객체지향 테스팅이 요구되어진다. 본 논문에서 제안하는 상태 기반 뮤테이션 테스트 기준(SMTC)은 테스트 대상 클래스의 상태도와 그것의 변형 상태도를 차별화 시킬 수 있는 메소드 호출 순서 형태의 테스트 케이스를 선정하게 하는 테스트 기준이다.
목차 (Table of Contents)
이진 결정 다이어그램의 재순서화를 이용한 Formal verification 시스템인 VIS의 성능 향상
SAVE : 소프트웨어 모델을 사용한 효율적인 실시간 하드웨어 검증 시스템
멀티프로그래밍 환경에서의 분기 예측 (pp.12-14)