仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
•
5 gostaram•9,547 visualizações
仕様作成フェーズで混入した欠陥をなるべく早く見つけるためにはどうすればよいか、そのアプローチとして取り組んでいることを紹介します。 セッション情報: https://techcon.dena.com/2020/session/10 ライブ動画: https://youtu.be/eKU5HOAtJsw?t=498
Recomendados
Mais conteúdo relacionado
Mais procurados
Mais procurados (20)
Semelhante a 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
Semelhante a 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】 (20)
Mais de DeNA
Mais de DeNA (20)
Último
Último (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.