仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
•
5 gefällt mir•9,548 views
仕様作成フェーズで混入した欠陥をなるべく早く見つけるためにはどうすればよいか、そのアプローチとして取り組んでいることを紹介します。 セッション情報: https://techcon.dena.com/2020/session/10 ライブ動画: https://youtu.be/eKU5HOAtJsw?t=498
Empfohlen
Weitere ähnliche Inhalte
Was ist angesagt?
Was ist angesagt? (20)
Ähnlich wie 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】
Ähnlich wie 仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】 (20)
Mehr von DeNA
Mehr von DeNA (20)
Kürzlich hochgeladen
Kürzlich hochgeladen (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.