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界隈いいな。

2014年に読んだ技術書で良かったもの

概要

新刊にかぎらず、今年読んでいて「あー、良書だなー」って思ったものをあげています。これ、ダメじゃないの？とか、あー、やっぱりこれいいよねっていうコメントもらえると嬉しいです。

基本は、.NETにおけるWeb APIやFW開発でQA * POな人が思う良書です。今年は技術書より論文、言語仕様書、実装を読んでいることが多かったので、去年の半分の30冊くらいしか読んでいないかな。

開発チーム系

• エッセンシャル スクラム

  • スクラムなんとなくわかっているんですけど、自分以外の状況よくわからんしなー、進め方変じゃないかなぁっていうときに、読むとめっちゃ参考になります。

• 組織パターン

  • これは多分ずっと良書だと言い続けるのだと思う。開発者必携。これが3年か5年ごとくらいにアップデートされるといいのかもしれませんね。

Cloud Service系

• プロフェッショナルのための 実践Heroku入門 プラットフォーム・クラウドを活用したアプリケーション開発と運用 (書籍)

  • Herokuとかよくわからなかったんですけど、ここまで丁寧で体系的入門が書かれていると便利なことこの上ないですね。薄いしよい。

Web系

• Web API: The Good Parts

  • Web API開発者必携です。簡単な感想はこちらに書きました。→ Web API The Good PartsはWeb API開発必携の書籍でした。 #apijp - うさぎ組

• ハイパフォーマンス ブラウザネットワーキング ―ネットワークアプリケーションのためのパフォーマンス最適化

  • Webアプリケーション開発というか、フルスタックエンジニアならここを抑えておかないとダメっすよね。っていう感じですかね。パフォーマンステストにも必須の知識になると思います。重要。

テスト系

• Exploratory Software Testing: Tips, Tricks, Tours, and Techniques to Guide Test Design

  • 探索的テストの書籍はいくつかあるのですが、探索的テストに関する書籍では今年はこれを一番読んだ気がします。まぁ、入門的でよいですね。翻訳されないかなー。

• 医療機器ソフトウェア?検証，妥当性確認，およびコンプライアンス: 医療用ソフトウェア開発では避けて通れない「バリデーション」の本質を理解し，FDA規制をクリアするために iMAtecアーカイブ

  • テスト全般という意味では、今年はこの書籍を読む時間が最も長かったです。テストの深い話を読める数少ない書籍だと思います。

• ソフトウェア品質知識体系ガイド -SQuBOK Guide-(第2版)

  • 文句言いたくなるSQuBOKですが、改版されて前よりも範囲が広くなっていました。うーんってなるところはあるけれど、著名な言葉や概念をかなり網羅してのっけているので、調べやすくてたすかりますね。

• 基本から学ぶソフトウェアテスト

  • 入門的によいなーっと何度か読み返していました。ページ数があるので、初心者が独学するのは難しいのかもしれませんが、バランスとれていると思いました。

• More Agile Testing: Learning Journeys for the Whole Team (Addison-Wesley Signature Series (Cohn))

  • 実践アジャイルテストの続編ですが、前作よりはエモい感じが減って少しかスキル的な話が増えた気がします。QAなにしたらいいんだろ。。。って困ったときには、まずこれを読んで雰囲気つかむみたいなのはありかなぁ。なんというか、アジャイルサムライのテスト版っていう感じが、この連作からは感じる。

ツール系

• Gradle徹底入門 次世代ビルドツールによる自動化基盤の構築

  • レビュアーとして参加しました。久しぶりに「これはツール系なのに、日本語書籍が最高な例の1つだ！」って思いました。素晴らしい。Gradleを使うなら必携。

フレームワークとかアプリケーションの設計

• APIデザインの極意 Java/NetBeansアーキテクト探究ノート

  • この書籍がもっと前に出ていたら。。。って思うくらいには良書でした。自分が仕事でフレームワークとか開発しているので、とてもよかったです。今後の開発にはガンガン活かしていけそう。（普通のアプリケーション開発でも使える概念です。）

• エンタープライズ アプリケーションアーキテクチャパターン (Object Oriented Selection)

  • これは毎年読み返しているのですが、忘れてしまっている部分もたまにあるので。で、これを読み返すと、SQLAlchemyすごいなって思いますね。（Entity Frameworkどうした！！）

.NET系

• C#プログラマのための.NETアプリケーション最適化技法

  • 今年はこの書籍にめっちゃお世話になりました。来年もお世話になること間違いないです。

• プログラミング.NET FRAMEWORK 第3版 (Microsoft Press)

  • .NET 4.0の強い味方です。そろそろ4.5.xもガッツリ勉強しないとなーと思いつつ。

BDD, 要求分析, 要件定義

• IMPACT MAPPING インパクトのあるソフトウェアを作る

  • あまりにも抽象的すぎる文化の話とかが面倒な人はまずここから始めるといいかと思います。アジッチは良書を量産していてすごい人ですね。

• Specification by Example: How Successful Teams Deliver the Right Software

  • 今年はSpecFlowというか、Scenario記述に果敢に挑戦したのでなんども読み返しました。うん。自動テストを書く人とか仕様を固める人が共通言語として覚えるのは簡易でいいと思う。（別に他の手段でもいいけど。）

• BDD in Action: Behavior-Driven Development for the Whole Software Lifecycle

  • BDDで最高の書籍と言っても過言ではないくらい。かもしれぬ。なんというか、Specification By Exampleのあとに読むとめっちゃいい。これを読まない（該当するスキルなし）でBDDしていると言われると、ちょっとモグリな感じがする。（個人的見解

• The Mikado Method

  • 2日くらいで終わりそうなプログラミングなどのソフトウェア開発活動を「正しく進める方法論」っていう感じでしょうか。個人的にはスプリント期間中の開発は原則これですすめたらいいと思う。

ソフトウェア開発全般

• ソフトウェアエンジニアリング基礎知識体系 ―SWEBOK V3.0―

  • SWEBOK V3の日本語版がでていました！洋書は無料なので読んでいたのですが、日本語でも読みたいので買いました。リファレンスがたくさんのっていて、情報の海が広がっている感がよいですね。

並列、並行処理

• 並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 (トップエスイーシリーズ 実践講座)

  • CSP楽しいですね。検証された仕様をプログラミングするというのは非常に安心感があります。あと、こういうのをやると検証されていないから何をテストしたらいいのかっていうのがたくさんこなしているとなんとなくわかってくる。

• The Art of Multiprocessor Programming 並行プログラミングの原理から実践まで

  • 並行プログラミングの基礎をおさえてくれていて、わかりやすいです。.NETがOSSになったら該当するコードがどうなっているのか実装を読むのが楽しみです。

• すごいErlangゆかいに学ぼう！

  • 今年新しく学んだ言語としてはErlangでした。とても書きやすいし勉強になりましたね。OO最高だな！とか思うくらいには読んだり書いたりしました。そのうち小さなツールをつくるのにも使ってみたいです。

週刊ソフトウェアテスト 2014-51 #swtest_jp

前書き

ソフトウェアテストにまつわるニュースを週毎にお届けする記事です。内容はid:kyon_mmの独断と偏見です。オススメの記事があるときや、質問などなどはコメントや@kyon_mmにご連絡くださるとうれしいです。 ハッシュタグ #swtest_jp でソフトウェアテストに関する事をツイートしてくださるととてもうれしいです！（なにかの紹介でも、議論でも、質問でも！

アジャイルでもWFでも共通する「開発やテストのモデル」-全てのソフトウェアテストを再定義する- #SWTestAdvent

はじめに

これはソフトウェアテストあどべんとかれんだー 2014 の17日目の記事です。

id:a-suenamiがテストとは開発プロセスそのものである #SWTestAdvent - assertInstanceOf('Engineer', $a_suenami)で僕が考えているモデルについて紹介してくれていたので、ざっくりとですが僕の方から「現状の僕が捉えているソフトウェア開発。そしてテスト。」について紹介します。これはここ数年における僕の最高傑作とも言えるコンテンツに関するエントリです。（言いすぎだ

概要

言い過ぎればプロダクト開発というものは「Define, Build, Explore, Measure」という活動から成立していると言えます。これに知識や手法やプロセスをあてはめると「何をやるべきか」「何が足りていないか」がわかりやすくなります。この記事ではそういった開発やテストを話すときのベースとなるモデルを提案しています。

これに名前をつけてからになるけれど、これに関して講演や書籍執筆など、どんどんアウトプットできたらなーって思っています。ご興味ある方はご連絡いただければ嬉しいです。

kyon.mm at gmail.comまで。

Webアプリケーションのパフォーマンステストを勉強する方法 #SWTestAdvent

はじめに

これはソフトウェアテストあどべんとかれんだー 2014 の14日目の記事です。

明日は id:kokotatata さんです。

概要

パフォーマンステストを入門するための情報を紹介します。発端は@ryushi さんが次の記事でなにやら不思議な言及をされていたというところです。

正直に申し上げて負荷テストって恐ろしく難しい種類のテストなんですけども、特にその難しさについては書いていませんので、きっと名古屋辺りのうさぎさんが補足資料を提示してくれるでしょう。よろしくお願いします。

注意

ここにあるのはkyon_mmの私見です。なので、「なに、こいつ大げさだな。。。」とか思ったらコメントで「それはお前が勉強不足だからで、世のエンジニアの感覚と違います」とか書いてください。温度感重要です。

週刊ソフトウェアテスト 2014-50 #swtest_jp

前書き

ソフトウェアテストにまつわるニュースを週毎にお届けする記事です。内容はid:kyon_mmの独断と偏見です。オススメの記事があるときや、質問などなどはコメントや@kyon_mmにご連絡くださるとうれしいです。

ハッシュタグ #swtest_jp でソフトウェアテストに関する事をツイートしてくださるととてもうれしいです！（なにかの紹介でも、議論でも、質問でも！

kyon_mmの意見

id:pocketberserker, id:bleis-tiftなど弊社メンバーが中心に開発をすすめているF# のテスティングフレームワークにおいて「複数assertの結果を持つ（失敗しても次のassertを実行する）」という機能はすばらしいですね。ちなみにこのアイディア自体はAssertJにて「Soft Assert」という概念で実装されたのがテスティングフレームワークやライブラリとしては初めてだという認識です。AssertJの実装は結構アレなのですが、彼らの場合はよりスマートですね。テストのためにASTやコンパイラ技術や型システムは重要な位置を示しています。SpockもAST技術の権化みたいなところありますからね。

MSDNマガジンで「非同期プログラミングの単体テスト」の方法について解説されていました。なかなかこういった記事がまとまっていることはないので、とてもうれしいですね。重要なのは、こういったコードをレビューできる人間でないと、統合テスト以上で「非同期に対する十分なテストを設計できる」と言えないといったことではないでしょうか。もしくは「統合テストでは無理だから、単体テストでこのような設計をすべきだ」とするところですね。 これが「テストによる設計の変更」と言えるでしょう。

また、先週は「ソフトウェアテストの初級者向け合宿イベント」であるWACATEが開催されていました。本記事でもいくつかスライドを紹介させていただきました。半年に一度なので、次は来年の夏ですね。

テストをテストする方法-ミューテーションテスト- #gadvent

はじめに

これはG* Advent Calendarの12日目の記事です。今日はミューテーションテストについて書きます。明日はid:nobusue さんです。

概要

PITというツールの紹介です。「Javaプロダクトコードを機械的に変更してからテストを実行したときに、テストはそれを検知できるのか？」ということを調べてくれるツールで、SpockのテストやGradleからの実行に対応しています。