「形式手法を使って、 発見しにくいバグを一網打尽にしよう」の反響

Alloy 形式手法 Promela builderscon
20
チェシャ猫 @y_taka_23
.@hoddy3190 さんによる形式手法の発表! 今日は文字通りこのために来たよ! #builderscon #bc1204
私は常に正しい。 @usadamasa
動機 仕様不備の手戻りはでかいから企画段階で気づいて潰したい。 #builderscon
Kenta.Kase @Kesin11
ゲームにおける「無敵」は仕様バグが起きやすそう #builderscon #bc1204
ウェブブラウザ @polamjag
#builderscon #bc1204 / “形式手法を使って、 発見しにくいバグを一網打尽にしよう - Speaker Deck” htn.to/2oh8cc2taR
qsona @qsona
"絶対当たる攻撃vs無敵状態の敵" 文字通り矛盾だった #bc1204 #builderscon
私は常に正しい。 @usadamasa
形式手法は総称なのでいろいろ種類がある。 #builderscon
kuranari @_kuranari
仕様不備、常々技術的に気付ける仕組みを作りたいなと思っている #builderscon #bc1204
Yak! @yak_ex
#builderscon #bc1204 今回話すのは形式仕様記述とモデル検査
私は常に正しい。 @usadamasa
検査したいもののモデリングしてassertion。 #builderscon
武田 憲太郎 @KentarouTakeda
仕様書を専用言語で書くことで機械的に検査できる。メリットがバカでかいのは解るんだけど、結局自然言語の仕様書と二重管理が必要になったりしないのかな。 #builderscon #bc1204
私は常に正しい。 @usadamasa
モデル検査は取りうる状態を網羅的にassertionして、反例を起きたパターンを示してくれる。 #builderscon
私は常に正しい。 @usadamasa
SWETグループが考える形式手法の現在とこれからの可能性 - DeNA Testing Blog swet.dena.com/entry/2019/06/… #builderscon
Yak! @yak_ex
#builderscon #bc1204 会社で導入するためには効果、学習コスト、運用コスト等の考慮が必要
私は常に正しい。 @usadamasa
形式手法、人を雇う必要ありそうわかる。 #builderscon
Yak! @yak_ex
#builderscon #bc1204 プロダクト要求仕様書(PRD)はdev Teamが書いて、SWET(テストチーム)がPRDに対して形式仕様記述
takasek @takasek
形式手法について調べてみた - Speaker Deck speakerdeck.com/hoddy3190/xing… SWETグループが考える形式手法の現在とこれからの可能性 - DeNA Testing Blog swet.dena.com/entry/2019/06/… #builderscon #bc1204
Yak! @yak_ex
#builderscon #bc1204 UserとRoleについては関係で表現
私は常に正しい。 @usadamasa
仕様のテストコードっぽい。BDDよりも上のレイヤーかなぁ。 #builderscon
nullptrあざらし @webseals
DDD感。PRDを書くっていうのはドメインのスキーマ定義みたいな感じ...? #builderscon #bc1204
残りを読む(21)

コメント

ミサイル @junko_missile 2019年8月30日
バグをバクって言う人がいなくならないのは本当に謎
ゆ〜たん @Iutach 2019年9月1日
なぜに n = 1 代入直後の assert((n==1)) がコケ得るのかしら。そりゃ thread unsafe だとは思うがそう言う話?
ログインして広告を非表示にする
ログインして広告を非表示にする