Computer Algebra System as Test Generation System

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 2010-05-01

著者

• Hattori Satoshi

  Graduate School Of Information Science And Engineering Tokyo Institute Of Technology

• Hattori Satoshi

  Graduate School Of Comprehensive Human Science University Of Tsukuba

関連論文

• 2B-O-8 The effect of lycopene intake and treadmill running exercise training on bone mineral in growing male rats(The Proceedings of the 18th Annual Meetings of Japan Society Exercise and Sports Physiology Jury 31 August 1, (Kagoshima))
• Computer Algebra System as Test Generation System

スポンサーリンク