Java specification Extension for Automated Test Development

Download PDF
3 downloads 4219 Views 141KB Size Report
Comment
tomatic oracle generation, usage of FSM (Finite State Machine) model ... for common software engineer, is a serious obstacle for wide application of such.
            

 

                          

  

     

          

      

            !"##



!  #$% #

&  ' !   (  )*(  !+ 

,    )( '        (' !  & !!  !  '    !+    '      .  .   '  '/  !+    0     !+  /     &

       '

       ' !!'   

' 0 123

    !          " "  #  $      "   $  !   % #  " $&  $   &  $     " $$ '   " "  (    $)   #  * $ +, -./   # "  * 0 $& 1  2*13 +4/     " $&    *1 5 

   

"  "       #  "  $$  "   %    " $  6  $&      $    "    "  7   '        7  $     # "        # #)'    $ $$   %  #  "  $ " $&            $    $ 

     Æ     $&   ! $' #    "  $#     " $&    "    $    !   $  8  9   $&   "       $&    " $         $     1 +: ;/   /      "  "      #     $) ?        @ A $  #        " & $)    "            



     #   $ "     '  B #  #      $ $&        $$ "     #    '  +-C/ ! #)     Æ     1