2. 紹介する論文
Symbolic Execution Track
1. Conceptualization and Evaluation of
Component-based Testing Unified with Visual
GUI Testing: an Empirical Study
2. Postconditioned Symbolic Execution
3. Generating Succinct Test Cases using Don’t
Care Analysis
2SIGSTJ_ICST2015まるわかりDay!_Symbolic Execution Track
3. 著者：
Emil Alégroth, Zebao Gao, Rafael A.P. Oliveira and Atif
Memon
紹介者：
村上 仁
3
Conceptualization and Evaluation of
Component-based Testing Unified with
Visual GUI Testing: an Emprical Study
SIGSTJ_ICST2015まるわかりDay!_Symbolic Execution Track
Conceptualization and Evaluation of Component-based Testing Unified with Visual GUI Testing
4. 概要
■Component-based Graphical User
Interface testing：
・特定のプログラミング言語
・Applications Under Test(AUT)での使用に制限
・VGTより3倍速く、ロバスト
・AUTをユーザー操作に依らず、アプローチする
ので、受け入れテストではなく、システムテスト
に向いている。
4SIGSTJ_ICST2015まるわかりDay!_Symbolic Execution Track
Conceptualization and Evaluation of Component-based Testing Unified with Visual GUI Testing
14. 著者：
Cuong Nguyen, Hiroaki Yoshida, Mukul Prasad,
Indradeep Ghosh and Koushik Sen
紹介者：
村上 仁
14
Generating Succinct Test Cases
using Don’t Care Analysis
SIGSTJ_ICST2015まるわかりDay!_Symbolic Execution Track
Generating Succinct Test Cases using Don’t Care Analysis
17. ■テストケース生成例
17
テストケース生成例
1 // PC: c[i] == i
2 char c[100];
3 unsigned char i = 0;
4 c[0] = 0;
5 c[1] = 0; // don’t care
6 ... // don’t care
7 c[99] = 0; // don’t care
8 foo(i, c);
Listing 2: Generated Test Case 01.
1 // PC: c[i] != i && c[i] == i+1
2 char c[100];
3 unsigned char i = 1;
4 c[0] = 0; // don’t care
5 c[1] = 2;
6 ... // don’t care
7 c[99] = 0; // don’t care
8 foo(i, c);
Listing 3: Generated Test Case 02.
1 // PC: c[i] != i && c[i] != i+1
2 char c[100];
3 unsigned char i = 0;
4 c[0] = 2;
5 c[1] = 0; // don’t care
6 ... // don’t care
7 c[99] = 0; // don’t care
8 foo(i, c);
Listing 4: Generated Test Case 03.
1
2
3
4
102
103
1
2
3
4
102
103
1
2
3
4
102
103
それぞれのテストケースで、
99/103行がパス条件等は無関
係→無視できる
Don’t Care Analysisでは、こ
の変数を無視する
→無駄な代入文を除去できる
SIGSTJ_ICST2015まるわかりDay!_Symbolic Execution Track
Generating Succinct Test Cases using Don’t Care Analysis
18. 18
Don’t Care Analysisの概要
Don’t Care Analysisを
ビットベクトルと
SMTソルバーへ統合
SIGSTJ_ICST2015まるわかりDay!_Symbolic Execution Track
Generating Succinct Test Cases using Don’t Care Analysis
論文：Fig3引用
論文：Fig5引用
