SlideShare une entreprise Scribd logo
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
•
•
•
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
•
•
•
intMin-1 Undefined Action”
intMin a 5
intMax a 12
intMax+1 Undefined Action”
4 “a 5 ”
5 “a 5 12 ”
11 “a 5 12 ”
12 “a 12 ”
if
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
•
•
•
•
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
•
•
•
•
•
•
•
•
•
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
•
•
: 7
:(6,8,6,8,8,6,6,)
•
•
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
• BWDM
• ( )
•
•
•
•
•
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
: http://formal.mri.co.jp/outline/
VDM
•
•
•
•
: http://research.nii.ac.jp/~f-ishikawa/vdm/faq.html
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
• 12
• 2
•
•
2 1
• : 7 7 2
6
1
intMin-1 -2147483649( )
intMin -2147483648
intMax 2147483647
intMax+1 2147483648( )
natMin-1 -1( )
natMin 0
natMax 4294967295
natMax+1 4294967296( )
nat1Min-1 0( )
nat1Min 1
nat1Max 4294967296
nat1Max+1 4294967297( )
( ) 6 4
•
•
•
•
•
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用
•
•

Contenu connexe

Plus de Futa HIRAKOBA

Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜
Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜
Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜
Futa HIRAKOBA
 
これからどう学生時代を過ごせば良いか
これからどう学生時代を過ごせば良いかこれからどう学生時代を過ごせば良いか
これからどう学生時代を過ごせば良いか
Futa HIRAKOBA
 
量子コンピュータを触ってみる
量子コンピュータを触ってみる量子コンピュータを触ってみる
量子コンピュータを触ってみる
Futa HIRAKOBA
 
レーダーってなあに
レーダーってなあにレーダーってなあに
レーダーってなあに
Futa HIRAKOBA
 
Web API The Good Partsの紹介 ~美しいWebAPIの作り方~
Web API The Good Partsの紹介 ~美しいWebAPIの作り方~Web API The Good Partsの紹介 ~美しいWebAPIの作り方~
Web API The Good Partsの紹介 ~美しいWebAPIの作り方~
Futa HIRAKOBA
 
機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作
機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作
機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作
Futa HIRAKOBA
 
デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法
デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法
デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法
Futa HIRAKOBA
 
近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介
近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介
近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介
Futa HIRAKOBA
 
自己紹介 平木場風太
自己紹介 平木場風太自己紹介 平木場風太
自己紹介 平木場風太
Futa HIRAKOBA
 
ETロボについて
ETロボについてETロボについて
ETロボについて
Futa HIRAKOBA
 
渦電流とその利用
渦電流とその利用渦電流とその利用
渦電流とその利用
Futa HIRAKOBA
 
僕たちがいつまでも​プログラマでいるには?​
僕たちがいつまでも​プログラマでいるには?​僕たちがいつまでも​プログラマでいるには?​
僕たちがいつまでも​プログラマでいるには?​
Futa HIRAKOBA
 

Plus de Futa HIRAKOBA (12)

Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜
Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜
Agri Hack Day 2019 in 宮崎大学 〜マンゴーチーム〜
 
これからどう学生時代を過ごせば良いか
これからどう学生時代を過ごせば良いかこれからどう学生時代を過ごせば良いか
これからどう学生時代を過ごせば良いか
 
量子コンピュータを触ってみる
量子コンピュータを触ってみる量子コンピュータを触ってみる
量子コンピュータを触ってみる
 
レーダーってなあに
レーダーってなあにレーダーってなあに
レーダーってなあに
 
Web API The Good Partsの紹介 ~美しいWebAPIの作り方~
Web API The Good Partsの紹介 ~美しいWebAPIの作り方~Web API The Good Partsの紹介 ~美しいWebAPIの作り方~
Web API The Good Partsの紹介 ~美しいWebAPIの作り方~
 
機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作
機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作
機械学習を用いた仕様書からのテストケース自動生成ツールSpec2Testの試作
 
デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法
デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法
デジタル一眼レフカメラとSNSを利用したインドア派から脱却する方法
 
近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介
近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介
近年の仮面ライダーに感じる不満を解消するトゲのある仮面ライダー、アマゾンズの紹介
 
自己紹介 平木場風太
自己紹介 平木場風太自己紹介 平木場風太
自己紹介 平木場風太
 
ETロボについて
ETロボについてETロボについて
ETロボについて
 
渦電流とその利用
渦電流とその利用渦電流とその利用
渦電流とその利用
 
僕たちがいつまでも​プログラマでいるには?​
僕たちがいつまでも​プログラマでいるには?​僕たちがいつまでも​プログラマでいるには?​
僕たちがいつまでも​プログラマでいるには?​
 

VDM++仕様を対象としたテストケース自動生成ツール BWDM における境界値分析結果へのペアワイズ法の適用