読者です 読者をやめる 読者になる 読者になる

ICST2017のプログラムの日本語訳を書いてみる(本会議1日目) #ICST2017

ICST2017

来週、IEEEが主催するソフトウェアテストに関する世界最高峰の国際カンファレンスである『ICST』が日本で初めて(アメリカとヨーロッパ以外で初めて)開催されます!

ただ、国際カンファレンスだけあって公式ページが英語です…。

ICST 2017 | Schedule

ということで、本会議1日目の発表タイトルを日本語に訳してみました。

分かるところについては、簡単な参考資料も載せています。

変な訳になっていれば、ご指摘ください!

9:30~10:30

基調講演

Googleによる、テスト自動化とCI

11:00~12:30

I01: Industry #1

①自動運転のセキュリティについて

②言語対応の自動サポートについて

R08: Model-Based Testing I

①記号実行を使用した高カバレッジ生成

②不確実性に基づくブラックボックステストデータの生成

Alloyの自動テスト生成とミューテーションテスト*1

R01: Fault Localization and Injection

SQLにおける局所的な障害について

②単一故障の普及と局所制限障害への影響について

Linux向けのカーネルレベルでの故障注入のフレームワークについて

D01: Introduction of the Tools to be Demonstrated

D02及びD03で行うデモの紹介

14:00~15:30

R02: Debugging, Composite Faults and Complexity Analysis

①デルタデバッグ*2を利用した同時データ構造の最小ストレステスト

②複合的な欠陥について

③文脈の保存履歴を用いた複雑度解析

T01: Model Checking and DSL-based Testing

Androidアプリの脆弱性を自動的に検出して確認するためのツール

②抽象化と有界モデル検査*3を使用した産業規模コードの効率的な安全性証明

③モデル検査ツールの一種「NuSMV」*4フレームワークであるNuSeenについて

R09: Model-Based Testing II

①学習オートマトンを用いたIoTのモデルベーステスト

ApacheのZookeeperにおけるモデルベースのAPIテスト

ユースケースと時間オートマトンを用いたタイミング要件に関するシステムテスト

14:00~17:30

D02-03: Live Demonstrations

①デスクトップアプリに対してのパフォーマンス測定フレームワーク

②インタフェースの契約論に基づくAPIテスト

ドメイン固有言語(DSL)を用いた自動テストの効率化

④Webサイトについてのエンタープライズレベルのテストツール

⑤JCUnitの紹介*5

⑥Load-time Weaving*6を用いたAndroidのRuntime検証

⑦ミューテーションテスト*7のデモ

16:00~17:30

R03: Security Testing

①公開鍵証明書(X.509)のためのテストについて

API間のトレーサビリティの回復とセキュリティ脆弱性について

Linuxコンテナ用のMining Sandboxes

S01: New Methods and Empirical Results (short papers)

①工業用制御ソフトウェアの手動テストと自動テストの比較に関する研究

アサーションカバレッジベースのテストスイートの削減にどのように影響しているか

オートマトンの言語等価性とモデルベースの等価性のシミュレーション

④Mutation Testingの評価と改善

J01: Special Session - Demands and Efforts in Software Engineering and IV&V among Japanese government and a company

①信頼できるIT社会の実現に向けて

②信頼できるシステム開発の体系的アプローチ

③ベリサーブ社のテストプロセス、テスト分析、テスト設計に関する活動

*1:Alloyは言語ではないか」とのことです。ご指摘いただきありがとうございました!

*2:(参考)デルタデバッグ

mag.osdn.jp

*3:(参考)有界モデル検査とか状態爆発問題の話とか

http://logic.cs.tsukuba.ac.jp/~kam/lecture/sysverif2011/hand4.pdf

*4:(参考)NuSMVの話とか

blog.devshinchi.jp

*5:(参考)JCUnitについて

uehaj.hatenablog.com

*6:(参考)Load-time Weaving

紹介スライドの直リンク

*7:(参考)ミューテーションテストを行った発表事例(SQiP2015より。たまたまこの発表を聞いてた)

https://www.juse.jp/sqip/symposium/archive/2015/day2/files/happyou_B4-3.pdf