l03test - Githubissues

txt / se20

fall2020 cs310 se csc ncsu

Other

12 stars 28 forks source link

l03test #25

Closed timm closed 4 years ago

timm commented 4 years ago

first:

go back to the summary on top
- make sure it reflects current contents
quotes
test driven development (1)
- how to
history
definitions
- should include all the words elsewhere
maths of formal methods

second:

test driven development (2)
- scale up is an issue
types oftest
- BB
  - fuzzing
- WB
- formal
  - Facebook ohearn formal methods (good example of scale up)
  - connue's stuff https://apps.dtic.mil/dtic/tr/fulltext/u2/a480106.pdf
  - mike's amazon stuff
why testing works