ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　お買い上げありがとうございます。
http://www.amazon.co.jp/exec/obidos/ASIN/4774147338/showshotcorne-22/
ソフトウェア・テスト PRESS 総集編 [大型本]
ソフトウェア・テストPRESS編集部　編 (著),
ソフトウェア・テストPRESS編集部 (編集)

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

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

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

　あと、さっき書いたばかりの
http://iiyu.asablo.jp/blog/2013/04/10/6773292
エレメンタルデザインパターン、 関数型のデザインパターン、Googleはどう
やってテストしているか
で、見つけた
http://www.amazon.co.jp/exec/obidos/ASIN/0321803027/showshotcorne-22/
How Google Tests Software [ペーパーバック]
James A. Whittaker (著), Jason Arbon (著), Jeff Carollo (著)
も。
　Kindle版。
http://www.amazon.co.jp/exec/obidos/ASIN/B007MQLMF2/showshotcorne-22/
How Google Tests Software [Kindle版]
James A. Whittaker (著), Jason Arbon (著), Jeff Carollo (著)

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

2013/05/15 補足
　Googleはどうやってテストしているかという話は、
http://iiyu.asablo.jp/blog/2013/05/15/6811848
グーグル、マイクロソフトは、どうテストしているか。ソフトウェアテストシンポジウム

関連：
http://iiyu.asablo.jp/blog/2006/08/20/491884
形式仕様記述(フォーマルメソッド、Formal Methods)
http://iiyu.asablo.jp/blog/2011/04/03/5771930
ビューティフルシリーズ、ビューティフルテスティング、ビューティフルデータ
http://iiyu.asablo.jp/blog/2007/09/22/1813101
ソフトウェアテストシンポジウム2007九州