Model-based improvement of software debugging process モデルに基づくソフトウェアデバッグプロセスの改善に関する研究

この論文をさがす

著者

    • 練, 林 レン, リン

書誌事項

タイトル

Model-based improvement of software debugging process

タイトル別名

モデルに基づくソフトウェアデバッグプロセスの改善に関する研究

著者名

練, 林

著者別名

レン, リン

学位授与大学

大阪大学

取得学位

博士 (工学)

学位授与番号

甲第5637号

学位授与年月日

1996-03-25

注記・抄録

博士論文

14401甲第05637号

博士(工学)

大阪大学

1996-03-25

12534

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p8 (0007.jp2)
  3. 1 Introduction / p1 (0009.jp2)
  4. 1.1 Improvement of the software development process / p1 (0009.jp2)
  5. 1.2 The debugging process / p2 (0010.jp2)
  6. 1.3 The debugging methods / p4 (0011.jp2)
  7. 1.4 Outline of the thesis / p6 (0012.jp2)
  8. 2 Basic Concepts / p8 (0013.jp2)
  9. 2.1 Failure and fault / p8 (0013.jp2)
  10. 2.2 The debugging process / p8 (0013.jp2)
  11. 3 A New Debugging Process Model / p11 (0014.jp2)
  12. 3.1 A flow graph model / p11 (0014.jp2)
  13. 3.2 Sequence Γ for debugging process / p13 (0015.jp2)
  14. 3.3 Five subsequences / p14 (0016.jp2)
  15. 3.4 Developments and verifications of hypotheses / p16 (0017.jp2)
  16. 3.5 Metrics to assess the debugging process / p25 (0021.jp2)
  17. 4 Experimental Evaluation of the Model / p29 (0023.jp2)
  18. 4.1 Within an educational environment / p29 (0023.jp2)
  19. 4.2 Outline of the experiment / p30 (0024.jp2)
  20. 4.3 Experimental data / p31 (0024.jp2)
  21. 4.4 Transformation rules / p33 (0025.jp2)
  22. 4.5 Transformation of sequences / p35 (0026.jp2)
  23. 4.6 Analysis of debugging process / p36 (0027.jp2)
  24. 4.7 Data collection techniques / p38 (0028.jp2)
  25. 5 Improvement of debugging activities / p40 (0029.jp2)
  26. 5.1 Planning for improvement / p40 (0029.jp2)
  27. 5.2 Survey of debugging methods / p41 (0029.jp2)
  28. 6 A New Fault Locating Method / p44 (0031.jp2)
  29. 6.1 Premises for the method / p44 (0031.jp2)
  30. 6.2 Program slicing / p49 (0033.jp2)
  31. 6.3 Forward tracking / p53 (0035.jp2)
  32. 6.4 Matching execution information / p56 (0037.jp2)
  33. 6.5 Fault localization / p63 (0040.jp2)
  34. 6.6 An application of the proposed method / p66 (0042.jp2)
  35. 6.7 The scope of the existing fault / p69 (0043.jp2)
  36. 7 Evaluation of the Method / p74 (0046.jp2)
  37. 7.1 The criteria of evaluation / p74 (0046.jp2)
  38. 7.2 Comparisons with other methods / p75 (0046.jp2)
  39. 7.3 Practical application / p76 (0047.jp2)
  40. 8 Conclusion / p78 (0048.jp2)
  41. 8.1 Summary of main results / p78 (0048.jp2)
  42. 8.2 Future work / p79 (0048.jp2)
  43. Bioliography / p81 (0049.jp2)
  44. Appendix / p87 (0052.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000130529
  • NII著者ID(NRID)
    • 8000000954278
  • DOI(NDL)
  • NDL書誌ID
    • 000000294843
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ