仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
•
5 likes•9,544 views
仕様作成フェーズで混入した欠陥をなるべく早く見つけるためにはどうすればよいか、そのアプローチとして取り組んでいることを紹介します。 セッション情報: https://techcon.dena.com/2020/session/10 ライブ動画: https://youtu.be/eKU5HOAtJsw?t=498
Recommended
More Related Content
What's hot
What's hot (20)
Similar to 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
Similar to 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】 (20)
More from DeNA
More from DeNA (20)
Recently uploaded
Recently uploaded (20)
仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
- 89. DeNA TechCon 2020 #denatechcon DeNA https://www.slideshare.net/sairoutine/dena-oyakata
- 114. DeNA TechCon 2020 #denatechcon b b' b b' b b'
- 115. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } sig Commit {} pred commit (b, b': Branch) { b'.co not = b.co } run commit
- 123. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } sig Commit { parent: one Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 125. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } sig Commit { parent: one Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 126. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } sig Commit { parent: one Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 128. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } sig Commit { parent: lone Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 134. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } fact { no iden & ^parent } sig Commit { parent: lone Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 138. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } fact { one c: Commit | no c.parent no iden & ^parent } sig Commit { parent: lone Commit } pred commit (b, b': Branch) { b'.co.parent = b.co b'.co not = b.co } run commit
- 141. DeNA TechCon 2020 #denatechcon assert parentAfterCommit { all b, b': Branch { commit [b, b'] => (b.co).^parent in (b'.co).^parent } } check parentAfterCommit
- 142. DeNA TechCon 2020 #denatechcon Executing "Check parentAfterCommit" Solver=sat4j Bitwidth=4 MaxSeq=4 SkolemDepth=1 Symmetry=20 405 vars. 30 primary vars. 810 clauses. 108ms. No counterexample found. Assertion may be valid. 15ms.