검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Computer Algebra System as Test Generation System 테스트 생성 시스템으로서의 컴퓨터 대수학 시스템

Satoshi HATTORI

  • 조회수

    0

  • 이것을 인용

요약 :

우리는 테스트 사례 생성 시스템으로 컴퓨터 대수학 시스템인 Mathematica를 사용하려고 합니다. 테스트 케이스 생성에서는 일반적으로 방정식과 부등식을 풀어야 합니다. 우리가 Mathematica를 선택하는 주된 이유는 방정식과 부등식을 풀 수 있는 기능이 내장되어 있기 때문입니다. 본 논문에서는 블랙박스 테스트와 화이트박스 테스트를 모두 다룬다. 먼저 Mathematica에 설명된 두 가지 블랙박스 테스트 케이스 생성 절차를 보여줍니다. 첫 번째는 등가 분할을 기반으로 합니다. Mathematica는 테스트 케이스가 존재하지 않는 경우를 명시적으로 보여줍니다. 이는 Mathematica를 사용할 때의 장점입니다. 두 번째 절차는 경계값 분석을 채택한 첫 번째 절차를 수정한 것입니다. 경계값 분석의 구현을 위해 공식화를 제공합니다. 다음으로 화이트박스 테스트 케이스 생성 절차를 보여줍니다. 이를 위해 소스 프로그램에 대한 모델도 제공합니다. 이는 제어 흐름 그래프 모델과 같습니다. 제안된 절차는 프로그램의 모델 설명을 분석합니다.

발행
IEICE TRANSACTIONS on Information Vol.E93-D No.5 pp.1006-1017
발행일
2010/05/01
공개일
온라인 ISSN
1745-1361
DOI
10.1587/transinf.E93.D.1006
원고의 종류
Special Section PAPER (Special Section on Formal Approach)
범주
소프트웨어 테스팅

작성자

키워드