?????????????????

symbolic evaluation????????????
?ο???????У?symbolic execution??

symbolic execution???????????
??????????????г???·????????????????????????У????????б??÷???????????磬??????

??????????????????????????????????Щ???????????????????

symbolic trace?????????
???????????????????????????????????????????????

syntax testing??????????
??????????????????????????????????????????

system analysis??????????
?????????????????????е?????????????????????????????????????????????

system design?????????
???????????????????????????顢?????????????????????????

system integration??????????
????????????????????????????????????????

System Testing??????????
????????????????????????????????????????ò?????????????????????????????

technical requirements testing???????????????
?ο??????????????non-functional requirements testing??

test automation?????????????
??ù???????????????С?????????????????????????á?????????????????湦???

test case????????????
????????????????????????????????????????

test case design technique??????????????????
??????????????????????

test case suite??????????????
???????????????????????????????

test comparator????????????
?????????????????????????????????????????????????

test completion criterion?????????????
???????????????????????????ɡ?

test coverage???????????
?ο????????Coverage??

test driver????????????
??????????????????????????????????

test environment???????????
?????????????????????????????????????κ????????????????????????????????????

test execution???????????
??????????????????????У??????????????

test execution technique??????????м???
??в???????????????????????????????

test generator??????????????
??????????????????????????????????

test harness?????????t?
??????????????????????????????

test log???????????
???????????????????????????????

test measurement technique???????????????
???????????????????

Test Plan??????????
??????????????????е????????Χ????????????????????????????????????????????????

?????????κη?????????????

test procedure??????????
???????????????????????????

test records??????????
???????????????????????????????汾???????????????

test report???????????
????????????????е??????????????

Test Script??????????
????????????????????????????Щ?????????????????????С?

Test Specification??????????
???????????????????????????????????????????????????????????????????????

test strategy???????????
?????????????????????????????·????????????
test suite??????????
??????????/??????????????????????????????????????????

test target???????????
?????????????

testability???????????
????????????????????????????????Щ????????????????е????

Testing????????
IEEE????????????1???????????????????????????????????????????2??????????????????

?????????????????????????????????????

thread testing??????????
??????2????????仯?汾?????У??????????????????????????????

time sharing??????乲??
?????????????????????????????????????????????м????????????????????????????

??????ж???

top-down design??????????????
????????????????????????????????????????????????

top-down testing??????????2???
???????????????????????????????????????????????????????????????в?????????

???????????????С?

traceability???????????
???????????????????????????????????????????????????????????????????????

traceability analysis?????????????
??1?????????????е????????????????2?????????????????????????????????????????

?????????????3??????????????????????????????????????????????????????????????

???????????????????

traceability matrix???????????
?????????????????????????????????磬???????????????????????????????????

transaction????????/????
??1??????????????????????????????????????????????????????????????????2?????????

??????ν???????3??????????????????У????????????????????????????????????????

??????????????

transform analysis???????????
??????????????????????????????????????????
trojan horse?????????????
??????????????????????????????????????????й?????????????????ó????????????????и?

?????????????????????????з?????????????????????

truth table?????????
???????????????????????

Unit Testing???????????
??????????????????????в?????????????????????????????

Usability Testing?????????????
?????????ú???????????????

validation???????
????????????????????????????????

verification???????
????????????????????????????ε??????????y?ο????趨??????

version?????汾
????????????????????????????????????????????

volume testing????????????
??????????????????????????

Walkthrough???????
????????????????????????????????????????????????????в?????е?????????

waterfall model??????????
????????????????????????????Ρ??????Ρ?????Ρ?????Ρ??????Ρ?????????Ρ?????

???????Σ???Щ??????????У??????в????????????????????

White Box Testing??????в???
??????????????????????????в????