Soumettre la recherche
Mettre en ligne
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
•
Télécharger en tant que PPTX, PDF
•
4 j'aime
•
3,290 vues
啓次 植月
Suivre
Ingénierie
Signaler
Partager
Signaler
Partager
1 sur 20
Télécharger maintenant
Recommandé
ICST 2015 まるわかりDay! "ICST2015参加報告"
ICST 2015 まるわかりDay! "ICST2015参加報告"
SIGSTJ
わんくま同盟大阪勉強会 Vol.68 - Visual Studio Code 拡張機能作成入門
わんくま同盟大阪勉強会 Vol.68 - Visual Studio Code 拡張機能作成入門
TATSUYA HAYAMIZU
デブサミ2014【13-B-L】テスト自動化を見直そう!自動化への投資が開発チームをクリエイティブにする(安竹由起夫〔コベリティジャパン〕)
デブサミ2014【13-B-L】テスト自動化を見直そう!自動化への投資が開発チームをクリエイティブにする(安竹由起夫〔コベリティジャパン〕)
Developers Summit
平成24年度社会知能情報学専攻修士論文発表会(予稿)
平成24年度社会知能情報学専攻修士論文発表会(予稿)
n-yuki
研究を基にしたオープンソース開発チェックポイント
研究を基にしたオープンソース開発チェックポイント
Recruit Technologies
モデル勉強会100710kajiura改
モデル勉強会100710kajiura改
Kazuya Nishina
EfficientDet: Scalable and Efficient Object Detection
EfficientDet: Scalable and Efficient Object Detection
harmonylab
2024 State of Marketing Report – by Hubspot
2024 State of Marketing Report – by Hubspot
Marius Sescu
Recommandé
ICST 2015 まるわかりDay! "ICST2015参加報告"
ICST 2015 まるわかりDay! "ICST2015参加報告"
SIGSTJ
わんくま同盟大阪勉強会 Vol.68 - Visual Studio Code 拡張機能作成入門
わんくま同盟大阪勉強会 Vol.68 - Visual Studio Code 拡張機能作成入門
TATSUYA HAYAMIZU
デブサミ2014【13-B-L】テスト自動化を見直そう!自動化への投資が開発チームをクリエイティブにする(安竹由起夫〔コベリティジャパン〕)
デブサミ2014【13-B-L】テスト自動化を見直そう!自動化への投資が開発チームをクリエイティブにする(安竹由起夫〔コベリティジャパン〕)
Developers Summit
平成24年度社会知能情報学専攻修士論文発表会(予稿)
平成24年度社会知能情報学専攻修士論文発表会(予稿)
n-yuki
研究を基にしたオープンソース開発チェックポイント
研究を基にしたオープンソース開発チェックポイント
Recruit Technologies
モデル勉強会100710kajiura改
モデル勉強会100710kajiura改
Kazuya Nishina
EfficientDet: Scalable and Efficient Object Detection
EfficientDet: Scalable and Efficient Object Detection
harmonylab
2024 State of Marketing Report – by Hubspot
2024 State of Marketing Report – by Hubspot
Marius Sescu
Everything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPT
Expeed Software
Product Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage Engineerings
Pixeldarts
How Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental Health
ThinkNow
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
marketingartwork
Skeleton Culture Code
Skeleton Culture Code
Skeleton Technologies
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
Neil Kimberley
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
contently
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
Albert Qian
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
Kurio // The Social Media Age(ncy)
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
Search Engine Journal
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
SpeakerHub
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
Clark Boyd
Getting into the tech field. what next
Getting into the tech field. what next
Tessa Mero
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Lily Ray
How to have difficult conversations
How to have difficult conversations
Rajiv Jayarajah, MAppComm, ACC
Introduction to Data Science
Introduction to Data Science
Christy Abraham Joy
Time Management & Productivity - Best Practices
Time Management & Productivity - Best Practices
Vit Horky
The six step guide to practical project management
The six step guide to practical project management
MindGenius
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
RachelPearson36
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Applitools
Contenu connexe
En vedette
Everything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPT
Expeed Software
Product Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage Engineerings
Pixeldarts
How Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental Health
ThinkNow
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
marketingartwork
Skeleton Culture Code
Skeleton Culture Code
Skeleton Technologies
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
Neil Kimberley
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
contently
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
Albert Qian
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
Kurio // The Social Media Age(ncy)
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
Search Engine Journal
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
SpeakerHub
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
Clark Boyd
Getting into the tech field. what next
Getting into the tech field. what next
Tessa Mero
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Lily Ray
How to have difficult conversations
How to have difficult conversations
Rajiv Jayarajah, MAppComm, ACC
Introduction to Data Science
Introduction to Data Science
Christy Abraham Joy
Time Management & Productivity - Best Practices
Time Management & Productivity - Best Practices
Vit Horky
The six step guide to practical project management
The six step guide to practical project management
MindGenius
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
RachelPearson36
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Applitools
En vedette
(20)
Everything You Need To Know About ChatGPT
Everything You Need To Know About ChatGPT
Product Design Trends in 2024 | Teenage Engineerings
Product Design Trends in 2024 | Teenage Engineerings
How Race, Age and Gender Shape Attitudes Towards Mental Health
How Race, Age and Gender Shape Attitudes Towards Mental Health
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
Skeleton Culture Code
Skeleton Culture Code
PEPSICO Presentation to CAGNY Conference Feb 2024
PEPSICO Presentation to CAGNY Conference Feb 2024
Content Methodology: A Best Practices Report (Webinar)
Content Methodology: A Best Practices Report (Webinar)
How to Prepare For a Successful Job Search for 2024
How to Prepare For a Successful Job Search for 2024
Social Media Marketing Trends 2024 // The Global Indie Insights
Social Media Marketing Trends 2024 // The Global Indie Insights
Trends In Paid Search: Navigating The Digital Landscape In 2024
Trends In Paid Search: Navigating The Digital Landscape In 2024
5 Public speaking tips from TED - Visualized summary
5 Public speaking tips from TED - Visualized summary
ChatGPT and the Future of Work - Clark Boyd
ChatGPT and the Future of Work - Clark Boyd
Getting into the tech field. what next
Getting into the tech field. what next
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Google's Just Not That Into You: Understanding Core Updates & Search Intent
How to have difficult conversations
How to have difficult conversations
Introduction to Data Science
Introduction to Data Science
Time Management & Productivity - Best Practices
Time Management & Productivity - Best Practices
The six step guide to practical project management
The six step guide to practical project management
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
Unlocking the Power of ChatGPT and AI in Testing - A Real-World Look, present...
ICST 2015 まるわかりDay 論文紹介:Perspectives on white box testing
1.
Perspectives on White-Box
Testing: Coverage,Concurrency, and Concolic Execution 著者 Azadeh Farzan, Andreas Holzer, Helmut Veith 紹介者: うえつきけいじICST 2015 まるわかりDay 論文紹介
2.
背景 近年 Concolic Testing
技術によるホワイト ボックステストが盛り上がっている ツールもいっぱいある – http://mit.bme.hu/~micskeiz/pages/cod e_based_test_generation.html 2
3.
Concolic Testingの活用 A. バグ検出 B.
全数探索 C. 部分探索 Bができるのが理想であるが、ソフトウェア規模が大きくなると非現実的 よってAの活用がすすんでいる Cには課題あり 3
4.
部分探索の課題 • 探索の網羅性と実行リソース・時間のト レードオフを制御する手段が必要 • 探索アルゴリズムは網羅結果を報告し、 ユーザが探索戦略を調整できること 4
5.
2つの取組み テスト仕様(=探索したい対象)を厳密に 記述できるクエリ言語を開発し、探索する 空間を制御できる仕組みを構築 並行(マルチスレッド)プログラムにたい するConcolic Testingの拡張技術を開発。 探索戦略の柔軟な調整が可能 5
6.
クエリによるテストケースの選択 http://forsyte.at/download/ase-slides.pdf より抜粋 データベースからSQLによってデータを取 り出すように、 ソースコードからクエリ(※)によってテスト ケースを取り出す ※ FQL:
FShell Query Language 6
7.
テスト仕様としてのクエリ テストしたい関心ごとを記載する すべてのブランチを実行する 関数fooのすべてのステートメントを実行する 10行目を実行した後 j >
0 を満足するすべて のステートメントを実行する 抽象的 具体的 7
8.
FQLの文法 単純な文法、正規表現による拡張性 cover @CONDITIONEDGE cover @BASICBLOCKENTRY
& @FUNC(foo) cover @BASICBLOCKENTRY passing ˆ(@LINE(10).{j>0}+NOT(@LINE(10)))∗$ すべてのブランチを実行する 関数fooのすべてのステートメントを実行する 10行目を実行した後 j > 0 を満足するすべて のステートメントを実行する 8
9.
FQA実行のしくみ 2つの実行環境を開発した FShell CPA/Tiger 9
10.
CPA/Tiger 述語抽象化法(Predicate Abstraction) を利用したモデル検査にもとづく アーキテクチャ FShell 有界モデル検査(Bounded Model
Checking) にもとづくアーキテクチャ 10
11.
(Con)2 Colic Testing 造語です。 Symbolic
+ Concrete Testing → Concolic Testing Concolic + Concurrent Testing → (Con)2 colic Testing 11
12.
(Con)2 Colic Testing 並列実行プログラムにたいする Concolic
Testing の拡張 http://forsyte.at/wp-content/uploads/fse13-presentation.pdf より抜粋12
13.
実行の流れ 1.スレッド個別にConcolic Testingを実行 2.スレッド間の干渉を発見したら、探索 パス空間に組み込み 1,2を繰り返すことで段階的に 探索パス空間を拡張する http://forsyte.at/wp-content/uploads/fse13-presentation.pdf より抜粋13
14.
3スレッドプログラムの例 グローバル変数: x,y ローカル変数: z http://forsyte.at/wp-content/uploads/fse13-presentation.pdf
より抜粋14
15.
各スレッドへのConcolic Testing実行 グローバル変数: x,y ローカル変数:
z 未達パス未達パス http://forsyte.at/wp-content/uploads/fse13-presentation.pdf より抜粋 15
16.
干渉の検出 グローバル変数: x,y ローカル変数: z 干渉を発見! http://forsyte.at/wp-content/uploads/fse13-presentation.pdf
より抜粋 16
17.
探索パスへの組み込み http://forsyte.at/wp-content/uploads/fse13-presentation.pdf より抜粋 17
18.
再びConcolic Testing実行 http://forsyte.at/wp-content/uploads/fse13-presentation.pdf より抜粋 さっき未達だったところが 通った!そしてスレッドAと の干渉を検出した! 18
19.
2回の干渉を組み込んだ結果 http://forsyte.at/wp-content/uploads/fse13-presentation.pdf より抜粋 19
20.
ツール • FShell – http://forsyte.at/software/fshell/ •
CPA/Tiger – http://forsyte.at/software/cpatiger/ • CONCREST – C言語向けConcolic Testing ToolであるCREST を(Con)2 Colicに拡張 – http://forsyte.at/software/concrest/ 20
Télécharger maintenant