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
우리는 테스트 사례 생성 시스템으로 컴퓨터 대수학 시스템인 Mathematica를 사용하려고 합니다. 테스트 케이스 생성에서는 일반적으로 방정식과 부등식을 풀어야 합니다. 우리가 Mathematica를 선택하는 주된 이유는 방정식과 부등식을 풀 수 있는 기능이 내장되어 있기 때문입니다. 본 논문에서는 블랙박스 테스트와 화이트박스 테스트를 모두 다룬다. 먼저 Mathematica에 설명된 두 가지 블랙박스 테스트 케이스 생성 절차를 보여줍니다. 첫 번째는 등가 분할을 기반으로 합니다. Mathematica는 테스트 케이스가 존재하지 않는 경우를 명시적으로 보여줍니다. 이는 Mathematica를 사용할 때의 장점입니다. 두 번째 절차는 경계값 분석을 채택한 첫 번째 절차를 수정한 것입니다. 경계값 분석의 구현을 위해 공식화를 제공합니다. 다음으로 화이트박스 테스트 케이스 생성 절차를 보여줍니다. 이를 위해 소스 프로그램에 대한 모델도 제공합니다. 이는 제어 흐름 그래프 모델과 같습니다. 제안된 절차는 프로그램의 모델 설명을 분석합니다.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
부
Satoshi HATTORI, "Computer Algebra System as Test Generation System" in IEICE TRANSACTIONS on Information,
vol. E93-D, no. 5, pp. 1006-1017, May 2010, doi: 10.1587/transinf.E93.D.1006.
Abstract: We try to use a computer algebra system Mathematica as a test case generation system. In test case generation, we generally need to solve equations and inequalities. The main reason why we take Mathematica is because it has a built-in function to solve equations and inequalities. In this paper, we deal with both black-box testing and white-box testing. First, we show two black-box test case generation procedures described in Mathematica. The first one is based on equivalence partitioning. Mathematica explicitly shows a case that test cases do no exist. This is an advantage in using Mathematica. The second procedure is a modification of the first one adopting boundary value analysis. For implementation of boundary value analysis, we give a formalization for it. Next, we show a white-box test case generation procedure. For this purpose, we also give a model for source programs. It is like a control flow graph model. The proposed procedure analyzes a model description of a program.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E93.D.1006/_p
부
@ARTICLE{e93-d_5_1006,
author={Satoshi HATTORI, },
journal={IEICE TRANSACTIONS on Information},
title={Computer Algebra System as Test Generation System},
year={2010},
volume={E93-D},
number={5},
pages={1006-1017},
abstract={We try to use a computer algebra system Mathematica as a test case generation system. In test case generation, we generally need to solve equations and inequalities. The main reason why we take Mathematica is because it has a built-in function to solve equations and inequalities. In this paper, we deal with both black-box testing and white-box testing. First, we show two black-box test case generation procedures described in Mathematica. The first one is based on equivalence partitioning. Mathematica explicitly shows a case that test cases do no exist. This is an advantage in using Mathematica. The second procedure is a modification of the first one adopting boundary value analysis. For implementation of boundary value analysis, we give a formalization for it. Next, we show a white-box test case generation procedure. For this purpose, we also give a model for source programs. It is like a control flow graph model. The proposed procedure analyzes a model description of a program.},
keywords={},
doi={10.1587/transinf.E93.D.1006},
ISSN={1745-1361},
month={May},}
부
TY - JOUR
TI - Computer Algebra System as Test Generation System
T2 - IEICE TRANSACTIONS on Information
SP - 1006
EP - 1017
AU - Satoshi HATTORI
PY - 2010
DO - 10.1587/transinf.E93.D.1006
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E93-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2010
AB - We try to use a computer algebra system Mathematica as a test case generation system. In test case generation, we generally need to solve equations and inequalities. The main reason why we take Mathematica is because it has a built-in function to solve equations and inequalities. In this paper, we deal with both black-box testing and white-box testing. First, we show two black-box test case generation procedures described in Mathematica. The first one is based on equivalence partitioning. Mathematica explicitly shows a case that test cases do no exist. This is an advantage in using Mathematica. The second procedure is a modification of the first one adopting boundary value analysis. For implementation of boundary value analysis, we give a formalization for it. Next, we show a white-box test case generation procedure. For this purpose, we also give a model for source programs. It is like a control flow graph model. The proposed procedure analyzes a model description of a program.
ER -