ASAHIネット([URL] )のjouwa/salonからホットコーナー([URL] )に転載したものから。
---
　お買い上げありがとうございます。
[URL]
ソフトウェア・テスト PRESS 総集編 [大型本]
ソフトウェア・テストPRESS編集部　編 (著),
ソフトウェア・テストPRESS編集部 (編集)

　技評(技術評論社)は、「ソフトウェア・テスト PRESS」なんて、雑誌を出し
ていたんだ。全然、知らなかった。

[URL]
ソフトウェア・テストPRESS
をみると、最後のVol.10が、2010年だから、着眼点と実際に出したチェレンジ
精神は立派だったけど、力尽きて、廃刊になったということですね。
　その総集編が上記で、全10巻の記事もPDFで収録されていて2500円くらいだ
から、お買い得ですね。

　あ、こんなのもある。
[URL]
ソフトウェアテスト入門 押さえておきたい<<要点・重点>> [単行本（ソフトカバー）]
ソフトウェア・テストPRESS編集部 (編集)
　記事を全部放り込んだりせず、こっちは、再編集してあるから、本としては
読みやすそうだね。

　あと、さっき書いたばかりの
[URL]
エレメンタルデザインパターン、 関数型のデザインパターン、Googleはどう
やってテストしているか
で、見つけた
[URL]
How Google Tests Software [ペーパーバック]
James A. Whittaker (著), Jason Arbon (著), Jeff Carollo (著)
も。
　Kindle版。
[URL]
How Google Tests Software [Kindle版]
James A. Whittaker (著), Jason Arbon (著), Jeff Carollo (著)

　テストも大事だけど、そもそも仕様の段階でバグをなくす努力も重要。
　そのためには、形式仕様記述(フォーマルメソッド、Formal Methods)がある。

2013/05/15 補足
　Googleはどうやってテストしているかという話は、
[URL]
グーグル、マイクロソフトは、どうテストしているか。ソフトウェアテストシンポジウム

関連：
[URL]
形式仕様記述(フォーマルメソッド、Formal Methods)
[URL]
ビューティフルシリーズ、ビューティフルテスティング、ビューティフルデータ
[URL]
ソフトウェアテストシンポジウム2007九州