[B! test] tackmanのブックマーク

SWETグループが考える形式手法の現在とこれからの可能性 - DeNA Testing Blog

こんにちは、SWETの鈴木穂高（@hoddy3190）です。私は、こちらの記事で紹介されているようなAndroidテストの教育活動をする傍ら、形式手法という技術の可能性を模索しています。今回は、形式手法についての簡単な説明や、調べていくにつれてわかってきた実用可能性等をご紹介できればと思います。動機まず、なぜ私が形式手法について調べようと思ったのかをご説明します。 SWETに所属する前、私は、別の部署で4年ほどゲーム開発に携わっていました。そこでよく課題に感じていたのは、日本語で書かれる仕様の不備（考慮漏れ、記載漏れ、矛盾など）により、大きな手戻りにつながることが多いということでした。開発プロセス上でそのような問題が発生すると、当然再発防止策MTGが開かれます。有識者のレビューを開発フェーズのより早い段階で組み込むようにするフロー改善や、考慮漏れを防ぐためのチェックリストな

tackman 2019/06/25

test

リンク

なぜクライアントJavaScriptの単体テストを書くのが難しいか、考えてみた - mizchi's blog

ってsinonのスタブ漏れを探しながら何度目かわからない感じにキレてた。とにかく仕事でJSのテスト書くのが辛いので考えてみる。比較的JSのテストに慣れてる自分ですら辛いのだから、世界はもっと辛いに間違いない。サーバーサイドのnode.jsの話ではない。 JavaScriptで完結しない構造がHTMLの構造と密結合している。装飾や位置、表示/非表示はCSSによって制御されている。クライアントJSはHTMLと密結合しており、CSSからビューは影響を受ける。それらがネットワークの結果を受け非同期に振る舞いを帰る。その最終的な値を取得するのが難しい。もちろんサーバーサイドだってDBやネットワークという外部リソースを扱うが、モックの手法が確立しているし、局所的な複雑度は、JSの方がはるかに多い。言語仕様が貧弱 mochaやjsmineはrspecを真似てるけど、本質的にJavaScript