???????????

    ??????????????????????????(Software Testbed) ???????????????????????????????????????????????????????????????????????

    (1)??????伞?????????????????????????????????????????????????

    ????????????????????????????????????????
    ???????????????????????????????????????????????????????
    ????谢????????????芯??????????????????????????????????????????????????????????????小?

    (2)?????y?骞�????????????????????????????????????????????????械?????效????

    (3)??????????????

    (4)???????????????????蟹??????????

    ????????????????????????????????????????????????????????贸?????????????????????????????????????????????????????????

    (1)???????????????????????????????????????效??????效????睢�

    (2)????????????????芯??????????????????????????????????????????????

    (3)???????????????????????????????????????

    (4)?????????????????????????????巍?

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

    ???????

    ????????????????????????????????????????????????????????????????????????????????????????危??????????????????????(???4)?????????????????????????????????????????????????????写??????????泻????????????????????????

    1) ????????????????????????卸??

    2) ????????

  
    ????锌????????????????????????????????????????小???些??????????????????????????危??????????????y?巍????貌????????????????泄?????????????????????????瑁�????????????????????

    ???????????写????????????5???????????????????????????????????????????????????????????泻??胁???????????????????????????????????????????????????????????????????????????????????????????胁??????????????(????????????/???)???姹�???????????????????些?????斜???????????????????????????????????写????????谩???????????

    ???????????????????校????????????????????????????????????锌????????????????????????????????????????????????????械???????????????????????胁?????????????????????????????????????????

    ???????????

    ??????(Verification)?????(Validation)??????V??V ??V2????????????????????????????????????????????????????????????????婕�????????斜????????????????????????????????????

    ??????????????????????????????????渭????????????????????蔚???????????????????蔚????????????????????????????????y???????????????????????????校???????椤�??椤�?????????????????????????????????????????椤�????????????????????????????????????????????????????????????????????????谩?校?????????????薪???????????????????????????????????貌????????????????

    ?????????????????械?????????????????????????????些??????????????????????????效?????????????????????械????????????????1)???????械?????2)?????????????3)?????????????4)????????????????????????????????????????????????????????????芯????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????魏??????危???????????????????????????????????魏?????小????????????????谩?

    ???????

    ??????????????????械?????????????????????????????????????泄?????????????????????????????????婕�????????????????????????????????????????

    ????????????????蔚?????????????????????????????校???????????????????????????????????????????????????????????????????
   
    ????????

    ?????未???????????y????????????????危?
    ?????????2??????????????????????????????????
    ??????????????????????????
    ????????????????????
    ??????榀�??????????????绮�?????????????????????????
    ?????????????????薪???????????
    ???谩??????榈�????????????效????

    ??????????

    ??????????????????????????
    ?????????????????????????渭?????????????????????
    ???????妫�?????泄?????????渭??????????????????协?????
    ?????????????????????????????????????????????????????????渭????

    ???????????????????????????效??????????????(??????)???????????????????????????????????????????????????????????????????????????????????????????????????????魏?????小?????

    ???????

    ?????????????????????效??????效?妾�??????????????????????????????????1????????????????????????????????????????霉??????????????????????????????妾�

    ?????????????????????????????????????????????????????(????????????????)?????????????????????????????????????????????????????????????????????????????????危??????????????瑁�???????????????????????械??????巍???????????????????????????????????????????????????????????????????????????写???????????????????????????霉????????????????????????????????????????危????????????????????璺�??????????????????????????????????????霉????婕�???????????????????

    ?????????????????????????????????????????????????????????????????(???)?????????????????????????????????????????纬????????????????y?蔚????????????????????????????????锌???????

    ??????霉??????

    ????????????????????娣�??
    ?未????????????魏??????????
    ??????????????????????
    ??????????????????????????????

    ?????????????????????????????????????????胁????????????????婕�?????????妾�

    ??????????????????????????????????????写????娣�??????????????????????????????????????????????????????????????????????????????些????????????????????????校?????????????????????????????械???????????????????????????????????????写?????????????(???????械???????)????????????????????????????????

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

    ??????????????????????????????写???????危????????????????????

    (1)????????????????????????械?????????????????????????????????????????????????????小??????????????

    (2) ?????????????????????娣�????????????榛�????????????????????????????????危????????斜??????????????????

    (3)????????????????????????????????????????????????????????????????槎�?????????????????????????????????芯??????????????????

    (4)?????????????????????芯?????????未???????????????????????????????????(5)??????????????????????????????????????

    ?????????
    ???胁????????????????????????
    ???????????????????????
    ????????????????????????????????

    (6)???????????????????????????????????????????婕�???????????????????????????????????????????100??????????????????????????????

    ????

    (1) ??????????????????婕�?????????????????????????芯??????????????????????????????芯????????????????????????????????????????????????????????????????????屑??????????????????芯???????

    (2) ??????????????????????????????????????Ada????????????????????????????????小?
   
    (3)???????????????????????????????????????????????????????????????????????????????

    (4)??????????????小????????????????????????????????????????????????????