???????
????????????????????????в????????????????????о????????????????????????????????????????????????????翪?????????????о?????????????????????п?????????????????????????????д?????ī?????windows???????Ubuntu????????????????????????????????????????????????????б???window?????????????Linux????????????????о???
?????????????????????????????????Rails???????????????????????rails????????????????????????????????￡?????Щ??????


????????
????1. ?о?????
??????????????о??????????????д??PPT?????????????
??????????????????????д??????Щ????????:
????1.?????-?????д????
????2.??????????
????3.?λ?о????????????????????
????????????????鼮??Paul Ammann??Jeff Offut???Introduction to Software Testing????????鯔??????Jeff Offut??????ù????????????????????????????Homepage????http://cs.gmu.edu/~offutt/??
?????о????????????ЩNB??????????:
????????????Kolmogorov?????????????:G J Chaitin Ray Solomonoff A.H. Kolmogorov
?????????????????:Stephen A. Cook Richard M. Karp
????????????????Dr. Jian Pei
???????????????????????????:Michael Ernst Darko Marinov Jeff Offutt Willem Visser Saswat Anand Gordon Fraser Tao Xie Raul Santelices
????Prof. Eric Bodden?? Ph.D. Laurie Hendren Ian H. Witten Harry Xu's Homepage  Sai Zhang's homepage
???????????????An orchestrated survey of methodologies for automated software test case generation?е???????????????????????????????????
?????????????????????????IEEE Xplore  Springer CiteSeerX JSTOR ScienceDirect(Elsevier) arXiv.org e-Print archive ???ACM????????? ?й???? ?????????????????о?????????google??????????????????????????????????????????
?????????????????????????dblp???1????????????????????????Щ??????????????NB????????????漰???????????????
????2. ??????????
?????????????????????????о???2013??2?μ?????????An orchestrated survey of methodologies for automated software test case generation ?н??????????????н?????????????????????????????????????????????У?symbolic execution????????????????Model-based Test???????????????????е?????????????????????????????????????????Щ??????н??????????????????????????????????????????????????
????????Щ???????У???????й??????????????????????????о??????????????????????????????????????????????????????????壻?о?????????????????????JPF???????JPF-SE?????Щ?????????????????????????Щ?о?????????漰Randoop??Palus??RecGen?????????????????????????????????Щ?о?????????Щд??????????????棬????????????????????????????http://pan.baidu.com/s/1eQtGJ66 ???????????й????????????????????????????--?????????????????
????2.1. ???????
????2.1.1. ??????????
????artgen?????????Randoop????????????????
????recgen:???????Randoop????????????????
????palus:???????Randoop???????????????????????????????
????Randoop?????????????????????????????????
????jcrasher:???????????????????????????????
????jpf??javapathfinder?????????鶴??????????????????????????????????????jpf-se
????mujava??jeff offut???????????????
????emma??codecover??cobertura?????????????
????findbugs??checkstyle??pmd??????????鶴???