Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】

3,095 views

Published on

仕様作成フェーズで混入した欠陥をなるべく早く見つけるためにはどうすればよいか、そのアプローチとして取り組んでいることを紹介します。

セッション情報: https://techcon.dena.com/2020/session/10
ライブ動画: https://youtu.be/eKU5HOAtJsw?t=498

Published in: Technology
  • Be the first to comment

仕様起因の手戻りを減らして開発効率アップを目指すチャレンジ 【DeNA TechCon 2020 ライブ配信】

  1. 1. DeNA TechCon 2020
  2. 2. DeNA TechCon 2020 #denatechcon
  3. 3. DeNA TechCon 2020 #denatechcon
  4. 4. DeNA TechCon 2020 #denatechcon
  5. 5. DeNA TechCon 2020 #denatechcon
  6. 6. DeNA TechCon 2020 #denatechcon @hoddy3190
  7. 7. DeNA TechCon 2020 #denatechcon @orga_chem
  8. 8. DeNA TechCon 2020 #denatechcon
  9. 9. DeNA TechCon 2020 #denatechcon
  10. 10. DeNA TechCon 2020 #denatechcon
  11. 11. DeNA TechCon 2020 #denatechcon
  12. 12. DeNA TechCon 2020 #denatechcon
  13. 13. DeNA TechCon 2020 #denatechcon
  14. 14. DeNA TechCon 2020 #denatechcon
  15. 15. DeNA TechCon 2020 #denatechcon
  16. 16. DeNA TechCon 2020 #denatechcon
  17. 17. DeNA TechCon 2020 #denatechcon
  18. 18. DeNA TechCon 2020 #denatechcon
  19. 19. DeNA TechCon 2020 #denatechcon
  20. 20. DeNA TechCon 2020 #denatechcon
  21. 21. DeNA TechCon 2020 #denatechcon
  22. 22. DeNA TechCon 2020 #denatechcon
  23. 23. DeNA TechCon 2020 #denatechcon
  24. 24. DeNA TechCon 2020 #denatechcon
  25. 25. DeNA TechCon 2020 #denatechcon
  26. 26. DeNA TechCon 2020 #denatechcon 
 

  27. 27. DeNA TechCon 2020 #denatechcon 
 

  28. 28. DeNA TechCon 2020 #denatechcon
  29. 29. DeNA TechCon 2020 #denatechcon
  30. 30. DeNA TechCon 2020 #denatechcon
  31. 31. DeNA TechCon 2020 #denatechcon
  32. 32. DeNA TechCon 2020 #denatechcon
  33. 33. DeNA TechCon 2020 #denatechcon
  34. 34. DeNA TechCon 2020 #denatechcon 

  35. 35. DeNA TechCon 2020 #denatechcon 

  36. 36. DeNA TechCon 2020 #denatechcon 

  37. 37. DeNA TechCon 2020 #denatechcon
  38. 38. DeNA TechCon 2020 #denatechcon
  39. 39. DeNA TechCon 2020 #denatechcon
  40. 40. DeNA TechCon 2020 #denatechcon
  41. 41. DeNA TechCon 2020 #denatechcon
  42. 42. DeNA TechCon 2020 #denatechcon
  43. 43. DeNA TechCon 2020 #denatechcon
  44. 44. DeNA TechCon 2020 #denatechcon 

  45. 45. DeNA TechCon 2020 #denatechcon
  46. 46. DeNA TechCon 2020 #denatechcon 
 

  47. 47. DeNA TechCon 2020 #denatechcon
  48. 48. DeNA TechCon 2020 #denatechcon 
 

  49. 49. DeNA TechCon 2020 #denatechcon
  50. 50. DeNA TechCon 2020 #denatechcon 
 

  51. 51. DeNA TechCon 2020 #denatechcon
  52. 52. DeNA TechCon 2020 #denatechcon
  53. 53. DeNA TechCon 2020 #denatechcon
  54. 54. DeNA TechCon 2020 #denatechcon
  55. 55. DeNA TechCon 2020 #denatechcon
  56. 56. DeNA TechCon 2020 #denatechcon
  57. 57. DeNA TechCon 2020 #denatechcon
  58. 58. DeNA TechCon 2020 #denatechcon
  59. 59. DeNA TechCon 2020 #denatechcon
  60. 60. DeNA TechCon 2020 #denatechcon
  61. 61. DeNA TechCon 2020 #denatechcon 

  62. 62. DeNA TechCon 2020 #denatechcon
  63. 63. DeNA TechCon 2020 #denatechcon
  64. 64. DeNA TechCon 2020 #denatechcon
  65. 65. DeNA TechCon 2020 #denatechcon
  66. 66. DeNA TechCon 2020 #denatechcon
  67. 67. DeNA TechCon 2020 #denatechcon
  68. 68. DeNA TechCon 2020 #denatechcon
  69. 69. DeNA TechCon 2020 #denatechcon
  70. 70. DeNA TechCon 2020 #denatechcon
  71. 71. DeNA TechCon 2020 #denatechcon
  72. 72. DeNA TechCon 2020 #denatechcon 
 

  73. 73. DeNA TechCon 2020 #denatechcon 

  74. 74. DeNA TechCon 2020 #denatechcon
  75. 75. DeNA TechCon 2020 #denatechcon
  76. 76. DeNA TechCon 2020 #denatechcon
  77. 77. DeNA TechCon 2020 #denatechcon 

  78. 78. DeNA TechCon 2020 #denatechcon
  79. 79. DeNA TechCon 2020 #denatechcon
  80. 80. DeNA TechCon 2020 #denatechcon
  81. 81. DeNA TechCon 2020 #denatechcon 

  82. 82. DeNA TechCon 2020 #denatechcon 
 

  83. 83. DeNA TechCon 2020 #denatechcon
  84. 84. DeNA TechCon 2020 #denatechcon 

  85. 85. DeNA TechCon 2020 #denatechcon
  86. 86. DeNA TechCon 2020 #denatechcon
  87. 87. DeNA TechCon 2020 #denatechcon 

  88. 88. DeNA TechCon 2020 #denatechcon 

  89. 89. DeNA TechCon 2020 #denatechcon DeNA 
 
 https://www.slideshare.net/sairoutine/dena-oyakata
  90. 90. DeNA TechCon 2020 #denatechcon 
 

  91. 91. DeNA TechCon 2020 #denatechcon
  92. 92. DeNA TechCon 2020 #denatechcon
  93. 93. DeNA TechCon 2020 #denatechcon 
 https://swet.dena.com/entry/2020/02/19/135334
  94. 94. DeNA TechCon 2020 #denatechcon 
 http://alloytools.org
  95. 95. DeNA TechCon 2020 #denatechcon 

  96. 96. DeNA TechCon 2020 #denatechcon
  97. 97. DeNA TechCon 2020 #denatechcon
  98. 98. DeNA TechCon 2020 #denatechcon
  99. 99. DeNA TechCon 2020 #denatechcon
  100. 100. DeNA TechCon 2020 #denatechcon 

  101. 101. DeNA TechCon 2020 #denatechcon
  102. 102. DeNA TechCon 2020 #denatechcon
  103. 103. DeNA TechCon 2020 #denatechcon 
 
 

  104. 104. DeNA TechCon 2020 #denatechcon
  105. 105. DeNA TechCon 2020 #denatechcon 

  106. 106. DeNA TechCon 2020 #denatechcon 

  107. 107. DeNA TechCon 2020 #denatechcon
  108. 108. DeNA TechCon 2020 #denatechcon
  109. 109. DeNA TechCon 2020 #denatechcon
  110. 110. DeNA TechCon 2020 #denatechcon 

  111. 111. DeNA TechCon 2020 #denatechcon 
 

  112. 112. DeNA TechCon 2020 #denatechcon 
 

  113. 113. DeNA TechCon 2020 #denatechcon 
 

  114. 114. DeNA TechCon 2020 #denatechcon b b' b b' 
 b b'
  115. 115. DeNA TechCon 2020 #denatechcon sig Branch { co: one Commit } sig Commit {} pred commit (b, b': Branch) { b'.co not = b.co } run commit 
 

  116. 116. DeNA TechCon 2020 #denatechcon
  117. 117. DeNA TechCon 2020 #denatechcon
  118. 118. DeNA TechCon 2020 #denatechcon
  119. 119. DeNA TechCon 2020 #denatechcon
  120. 120. DeNA TechCon 2020 #denatechcon 

  121. 121. DeNA TechCon 2020 #denatechcon 

  122. 122. DeNA TechCon 2020 #denatechcon
  123. 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 
 
 
 

  124. 124. DeNA TechCon 2020 #denatechcon 

  125. 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. 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 
 
 
 

  127. 127. DeNA TechCon 2020 #denatechcon
  128. 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 
 
 
 

  129. 129. DeNA TechCon 2020 #denatechcon
  130. 130. DeNA TechCon 2020 #denatechcon
  131. 131. DeNA TechCon 2020 #denatechcon
  132. 132. DeNA TechCon 2020 #denatechcon
  133. 133. DeNA TechCon 2020 #denatechcon
  134. 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
  135. 135. DeNA TechCon 2020 #denatechcon
  136. 136. DeNA TechCon 2020 #denatechcon
  137. 137. DeNA TechCon 2020 #denatechcon
  138. 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
  139. 139. DeNA TechCon 2020 #denatechcon
  140. 140. DeNA TechCon 2020 #denatechcon 
 

  141. 141. DeNA TechCon 2020 #denatechcon assert parentAfterCommit { all b, b': Branch { commit [b, b'] => (b.co).^parent in (b'.co).^parent } } check parentAfterCommit 

  142. 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.
  143. 143. DeNA TechCon 2020 #denatechcon 

  144. 144. DeNA TechCon 2020 #denatechcon 
 https://swet.dena.com/entry/2020/02/19/135334
  145. 145. DeNA TechCon 2020 #denatechcon
  146. 146. DeNA TechCon 2020 #denatechcon
  147. 147. DeNA TechCon 2020 #denatechcon 
 

  148. 148. DeNA TechCon 2020 #denatechcon 
 

  149. 149. DeNA TechCon 2020 #denatechcon
  150. 150. DeNA TechCon 2020 #denatechcon 

  151. 151. DeNA TechCon 2020 #denatechcon 
 

  152. 152. DeNA TechCon 2020 #denatechcon
  153. 153. DeNA TechCon 2020 #denatechcon 

  154. 154. DeNA TechCon 2020 #denatechcon 

  155. 155. DeNA TechCon 2020 #denatechcon 
 

  156. 156. DeNA TechCon 2020 #denatechcon
  157. 157. DeNA TechCon 2020 #denatechcon
  158. 158. DeNA TechCon 2020 #denatechcon
  159. 159. DeNA TechCon 2020 #denatechcon
  160. 160. DeNA TechCon 2020 #denatechcon 

  161. 161. DeNA TechCon 2020 #denatechcon 
 

  162. 162. DeNA TechCon 2020 #denatechcon 
 

  163. 163. DeNA TechCon 2020 #denatechcon
  164. 164. DeNA TechCon 2020 #denatechcon
  165. 165. DeNA TechCon 2020 #denatechcon 

  166. 166. DeNA TechCon 2020 #denatechcon
  167. 167. DeNA TechCon 2020 #denatechcon
  168. 168. DeNA TechCon 2020 #denatechcon 
 


×