1.???????????

    ?????????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???????????????围?????????????械??????????????????????????????????????????-?????????????????????????????????????效??????????围?????????????????-???纾�?????????慰????????????????????????械??????