スキップしてメイン コンテンツに移動

Testing Zen - ソフトウェアテストの技法 第2版

ソフトウェア・テストの技法 第2版『ソフトウェアテストの技法 第2版』を読んだ。

テストには一見相反した態度が必要になる。改めてそう思った。真剣にバグを見つけようときめ細かくテストしつつも、結果的にバグが出ないことも成功だからだ。
われわれの考え方からすると,ひと塊のソフトウェアに対する,よく構成され実行されたテストは,修正できるエラーをみつけたときに成功と見なし.そしてその同じテストによって.これ以上エラーがみつからないことが結果的に確立されたときにもまた成功と見なす.
気をつけないといけないのは、バグが出なかったという結果は成功だけれど、バグを出さないという目的でテストしているわけではないことだ。それならテストを粗くすればいい。極端な話、テストしなければ出てくるバグは皆無だ。

できるだけ多くのバグを見つけようとしなければ、テストする甲斐がない。頭では理解しても、これがなかなか難しい。例えば、一刻も遅れも許されないという状況で、バグを見つけようと徹底できるだろうか。見つけてしまえば、修正~再テストが必要になって、ますますスケジュールがタイトになるというのに。
テストとは,エラーをみつけるつもりでプログラムを実行する過程である.

嘘か誠か、テストコードを動かすだけ動かして、全く結果を見ていなかったプロジェクトがあったなんて話が、Martin Fowler's Blikiにある。4 Phase Testでいうとexerciseまでやってverifyしなかっただなんて。
しかしながら、そのJUnitのテストコードにはassertionが一切含まれていなかった。
Martin Fowler's Bliki in Japanese - AssertionFreeTesting
これは極端な例にしろ、ともすればテストが通るようにテストデータを設計しがち。最初はそれでいいと思う。まずHappy Pathを通すのは悪くない。『ソフトウェアテスト 293の鉄則』にもこうある。
鉄則287 製品の成熟度に応じてテストせよ
でも、それだけじゃ明らかに足りない(どこまでやれば十分か、は明らかじゃないけれど)。

このブログの人気の投稿

北へ - ゴールデンカムイ 16

『ゴールデンカムイ 15』、『〃 16』を読んだ。16巻を読み始めてから、15巻を買ったものの読んでいなかったことに気がつく。Kindle版の予約注文ではままあること。 15巻は「スチェンカ・ナ・スチェンク」、「バーニャ(ロシア式蒸し風呂)」と男臭いことこのうえなし。軽くWebで調べてみたところ、スチェンカ・ナ・スチェンク (Стенка на стенку) はロシアの祭事マースレニツァで行われる行事のようだ[1]。それなりになじみ深いものらしく、この行事をタイトルに据えたフォークメタルStenka Na StenkuのMVが見つかった。 16巻では杉元一行は巡業中のサーカスに参加することになる。杉元と鯉登の維持の張り合いが、見ていて微笑ましい。鯉登は目的を見失っているようだが、杉元もスチェンカで我を失っていたので、どっこいどっこいか。なお、サーカス/大道芸を通じた日露のつながりは、実際にもこのような形だったようだ[2]。 個々のエピソードから視線を上げて、全体の構図を眺めてみると、各勢力がすっかり入り乱れている。アシㇼパは尾形、キロランケ、白石とともにアチャの足跡を辿り、そのあとを鶴見のもとで家永の治療を受けた杉元が鯉登、月島を追っている。今更だけれど、杉元やアシㇼパは、第七師団と完全に利害が衝突していると考えていないはずだった。一方で、土方一味も入墨人皮を継続。むしろ彼らの方が第七師団との対立が深刻だろう。さらに北上するキロランケはまた別の目的で動いているようだけれど、なんで尾形も一緒なんだっけ? 『進撃の巨人』に引き続き、これもそろそろ読み返す時期か。 [1] 5つの暴力的な伝統:スラヴ戦士のようにマースレニツァを祝おう - ロシア・ビヨンド [2] ボリショイサーカスの源流は、ロシアに渡った幕末日本の大道芸人たちにあった 脈々と息づく「クールジャパン」 | ハフポスト

私は今、感想を書き終えた - あなたは今、この文章を読んでいる。

『あなたは今、この文章を読んでいる。:パラフィクションの誕生』を読んだ。この本はSFマガジンに16回に渡り連載された「パラフィクション論序説」が単行本化されたもの。 二部構成となっており、第1部「メタフィクションを越えて?」では「過去三十年ほどの時代的な変化と干渉し合い浸透し合うにつれて、どうもあまり望ましいとは言い難い「作者/読者」としての心性が醸造されてきたのではないかと思われる」問題が扱われる。第2部「パラフィクションに向かって」では、その「望ましからざる「心性」」を乗り越えようとしている「メタフィクション」から「パラフィクション」という概念の抽出が試みられる。 プロローグにはそんなことが書かれているのだけれど、その問題が具体的には何なのかも、「パラフィクション」がどんなものでその問題をどう解決するのかも、いまいちクリアにならなかった。 ざっくり整理してみよう。 まず発展の歴史。最初は「虚構」から「現実」に引き戻す「批判的メタフィクション」だった。次に「現実」に「虚構」を持ち込む「関与的メタファクション」へ派生した。さらに「虚構」化した「現実」を再度「虚構」として提示する「受容的メタフィクション」へと変遷した。これがこの本の歴史観。 次にこの変化を通して醸造されてきた(作者にとって)望ましくない「作者/読者」としての心性。作者にとっては、「メタは「作者性」への反省、批判、解体を企図しているかに見えて、その実、やればやるほど「作者」の機能と専制を確認することになっしまう」ことを問題視している[1]。読者にとっては、「虚構」化された「現実」の受容が、現状への批判意識の抑圧につながりかねないことを問題視しているようだ。 それで、「パラフィクション」は「軸足を、思い切って「作者」から「読者」へと引き渡す」ことのようだ。ただし、読みの多様性などにフォーカスして、「読者」の名の下に「作者性」を奪取するという話ではないとのこと。作者のいう「パラフィクション」的な作品として円城塔の『Self-Reference ENGINE』が取り上げられる[2]。 まず思ったことは「これ問題か?」という疑問。そういう本しかなくなる=言論統制が図られたらと思うと背筋が凍るが、これはメタフィクション小説についての話だ。次の「パラフィクション」についてはよくわからない...

Memory Free - 楽園追放 2.0 楽園残響 -Goodspeed You-

『楽園追放 2.0 楽園残響 -Goodspeed You-』を読んだ。映画 『楽園追放 -Expelled from Paradise-』 の後日譚にあたる。 前日譚にあたる『楽園追放 mission.0』も読んでおいた方がいい。結末に言及されているので、こちらを先に読んでしまって後悔している。ちなみに、帯には「すべての外伝の総決算」という惹句が踊っているけれど、本作の他の外伝はこれだけ [1] 。 舞台は本編と同じでディーヴァと地球だけれど、遥か遠く外宇宙に飛び立ってしまったフロンティアセッターも〈複製体〉という形で登場する。フロンティアセッター好きなのでたまらない。もし、フロンティアセッターが登場していなかったら、本作を読まなかったんじゃないだろうか [2] 。 フロンティアセッターのだけでなくアンジェラの複製体も登場するのだけれど、物語を牽引するのはそのどちらでもない。3人の学生ユーリ、ライカ、ヒルヴァーだ。彼らの視点で描かれる、普通の (メモリ割り当てが限られている) ディーヴァ市民の不自由さは、本編をよく補完してくれている [3] 。また、この不自由さはアンジェラの上昇志向にもつながっていて、キャラクタの掘り下げにも一役買っていると思う。アンジェラについては前日譚である『mission.0』の方が詳しいだろうけれど。 この3人の学生と、フロンティアセッターとの会話を読んでいると、フロンティアセッターがフロンティアセッターしていて思わず笑みがこぼれてしまう。そうして、エンディングに辿りついたとき、その笑みが顔全体に広がるのを抑えるのに難儀した。 おめでとう、フロンティアセッター。 最後に蛇足。関連ツイートを 『楽園残響 -Goodspeed You-』読書中の自分のツイート - Togetterまとめ にまとめた。 [1] 『楽園追放 rewired サイバーパンクSF傑作選』は『楽園追放』と直接の関係はない。映画の脚本担当・虚淵玄さんが影響を受けたSF作品を集めた短編集。 [2] フロンティアセッターは登場しないと思って『mission.0』を読んでいない。 [3] 本編では、保安局高官の理不尽さを通して不自由さこそ描かれてはいたものの、日常的な不自由は描かれていなかったように思う。アンジェラも凍結される前は豊富なメ...