魏偉

Articles:  1-1 of 1

  • Static Data Race Detection for Java Programs with Dynamic Class Loading by Analysis of String Expressions  [in Japanese]

    魏偉 , 吉浦 紀晃

    マルチスレッドプログラムでは,スレッド間の排他制御においてミスが起こりやすい.排他制御が正しく行われないことに起因するエラーの1つとしてデータレースがある.データレース検出には動的手法と静的手法があり,動的手法はプログラム実行を通して得られた情報を解析することでデータレースを検出する.静的手法はプログラムのソースコードを調べることでデータレースを検出する.Javaプログラムの静的データレース検出方 …

    情報処理学会論文誌 54(2), 787-796, 2013-02-15

    IPSJ 

Page Top