?????????BS7925-1?е????????????????Beizer????壬???帺??????????????????????????????(????Testing aimed at showing software does not work)??????????????в?????????????????


•???????????Ч???????????????????????


•??????????????????????


•?????????????????????


????и????????????壬??????????????????????????????????????????????????????????????С??????????????????????????????????岻???????????????????????Ч??????????


• ??????????????????????????(?????????????)


• ??????????????


• ?????????????????????????


• ???????????????????????????????


• ??????????????????????????


2.????????????????


????????????????????????????????????????????????????????????????????????Щ?????????????????????????????п??????????????????????????????????á?


• ????????????????Boundary Value Analysis and Equivalence Class Partitioning


• ?????????State Transition testing


• ????????????????Test against known constraints


• ??????????????Failure Mode and Effects analysis


• ????Concurrency


• ???????????????Use cases and mis-use cases


2.1.????????????????


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


????????(BVA??Boundary Value Analysis)???ù?????????????λ?????????????????????Щ????????????Χ?????????????


?????????????????????-??????籾?????????????????????(????????????????)????????????Ч????Ч??Χ????????Ч????????????????????????????????????磬???66????????18??65???????????Ρ?


???????(ECP??Equivalence Class Partitioning)?????????????Χ?????????????е??????????????????????????????????????????-?????????????????????????????????????Ч??????????Χ?????????????????-???磬?????????ο????????????????????????е??????


ECP????????????????????????????????????????Χ???????Щ????????????????????????????????????????磬?????web?????????????????????????????????????????????????????Σ?????web????????????


2.2. ?????????


????????????????????????????????????????????????????鯔?????????????????????????????????????????????????n-switch ???????????????????????Щ??????????????????????????ι????????Compendium-TA [4]?????????????????????