仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
•
5 j'aime•9,550 vues
仕様作成フェーズで混入した欠陥をなるべく早く見つけるためにはどうすればよいか、そのアプローチとして取り組んでいることを紹介します。 セッション情報: https://techcon.dena.com/2020/session/10 ライブ動画: https://youtu.be/eKU5HOAtJsw?t=498
Recommandé
Contenu connexe
Tendances
Tendances (20)
Similaire à 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
Similaire à 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】 (20)
Plus de DeNA
Plus de DeNA (20)
Dernier
Dernier (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.