2014年に読んだ技術系の論文で良かったもの（大体ソフトウェアテスト） #swtest_jp

概要

2014年に読んだ技術書で良かったもの - うさぎ組にて、「どんな論文読んでいたのですか？」と聞かれたので、今年読んだ良かった論文を紹介します。下記で紹介していないですが、ICSEの論文はオープンなものが多いので出来るだけ読むようにしています。

テストを評価する

• Call Stack Coverage for GUI Test-Suite Reduction

  • 僕が今年読んだ中で最高の論文はこれでした。GUIのテストで無駄なものをどうやって省くかというテーマなのですが、Web GUIはマルチ言語だし、非同期だし難しすぎるゆえにテストツールはクソになった領域の1つであるとしたうえで、コールスタックを基準にしたカバレッジでテストスイートリダクション（無駄なテストケースを減らす）をやってみるという研究です。事例の3つでもいい結果がでていました。自分もこういうのつくりたいなーと思います。

• Checked coverage: an indicator for oracle quality - Publications - Software Engineering Chair (Prof. Zeller)

  • テストオラクル自体のカバー率を計測するというChecked Coverageという基準を新しくつくっていました。ミューテーションテストやデシジョンカバレッジに次ぐ新しいやつってかんじですね。

• Covering and Uncovering Equivalent Mutants - Publications - Software Engineering Chair (Prof. Zeller)

  • ミューテーションテストによって変更された部分がプロダクトの意味を変更しないようなものである場合の影響についての調査です。なるほどなーって思いながら、JavaLanche開発再開してくれないかなって常々思います。。。

• Practical JFSL verification using TACO - Publications - Software Engineering Chair (Prof. Zeller)

  • JFSLというJavaにアノテーションで契約プログラミングっぽいなにかを記述できるツールと、TACOというツールを使うことで、途中にAlloyをかませて、SATソルバを利用し、検査をできるという紹介です。素晴らしいな。素晴らしいな。

テスト戦略

• Strategies for testing client-server interactions in mobile applications
  • モバイルとサーバーで通信するようなアプリケーションのテスト戦略の一例です。キャプチャアンドリプレイ、JSONをうまく使おうっていう感じ。Google+の例らしいです。

テストツール、アルゴリズム

• HTAF: Hybrid Testing Automation Framework to Leverage Local and Global Computing Resources

  • 複雑で分散化されているWebアプリケーションのテストとリリースのタスクを一括で管理するためのフレームワークというかツールを開発しました。という話でした。こういうの大企業になればなるほどほしくなるんですよね。（今の自分がほしいとよく思うので。

• Network bucket testing | Publications | Research at Facebook | Facebook

  • SNSのようなソーシャルネットワークにおけるA/Bテストのアルゴリズムを作ったという感じです。A/Bテストは実践したことがないのですが、SNSだと確かに複雑そうだなーとか思いながら、こういった解決をもってくるのすごいとか思いました。

• The Goals and Challenges of Click Fraud Penetration Testing Systems

  • クリック広告に関するテストシステムの紹介です。Googleらしいなーって思いながら、巨大企業だとこういうのが収益に響くしなぁと思いながら読みました。

設計

• UI 設計のための HTML デザイン パターン

  • HTMLはそろそろVirtual DOMになるのかもしれませんが、こうやって整理していって始めるの大切だよなーとか思いながら、読んでいます。こういうのが集まらないと、初心者が汚いプロダクトを量産し続けることになる。。。

• 表示的意味論に基づくパターンマッチング コンパイル方式の構築と実装

  • パターンマッチって

• Lightweight Linear Types in System F

  • 線形型の勉強のために読みましたが、SystemFがよくわかっていなかったので、SystemFを勉強しなおしてからまた読む系です。ただ、ATSでの線形型の説明しか知らなかったので、こういったものを読めたのはよかったです。

まとめ

Java界隈いいな。