期刊文献+

一种程序切片的图示构造方法

下载PDF
导出
摘要 程序切片是一种程序分析技术,它是通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序的。人们在调试一个程序的时候总是从错误语句s开始,并沿着依赖关系跟踪到它影响的程序部分。程序切片自动计算这些依赖,在程序理解、程序分析、调试、测试、软件维护、程序集成和软件质量保证等方面对程序员有所帮助。文章总结前人观点通过图示构造的方法得到面向过程的程序切片。
作者 郝杰
出处 《大众科技》 2011年第1期16-17,25,共3页 Popular Science & Technology
  • 相关文献

参考文献3

  • 1WEISER M.Program slicing[J].IEEE Transactions on Software Engineering, 1984,210(4):352-357.
  • 2黄光燕,李晓维.软件的变量完整性测试方法[J].计算机辅助设计与图形学学报,2004,16(11):1584-1589. 被引量:3
  • 3B.Korel.Automated software test data generation. IEEE Trans.on Softw.Eng.,6(8):870 - 879,Aug.1990.

二级参考文献9

  • 1Jorgensen Paul C. Software Testing: A Craftsman's Approach [M]. 2nd ed. Beijing: China Machine Press, 2003. 143~158(in Chinese)(Jorgensen Paul C. 韩柯, 杜旭涛, 译.软件测试 [M]. 第2版.北京: 机械工业出版社, 2003. 143~158)
  • 2Mosley Daniel J. The Handbook of MIS Application Software Testing [M]. Englewood Cliffs: Yourdon Press, Prentice Hall, 1993
  • 3Elmendorf William R. Cause-effect graphs in functional testing [R]. Poughkeepsie, NY: IBM System Development Division, TR-00.2487, 1973
  • 4Huang J C. Detection of dataflow anomaly through program instrumentation [J]. IEEE Transactions on Software Engineering, 1979, SE-5(3): 226~236
  • 5Rapps S, Weyuker E j. Selecting software test data using data flow information [J]. IEEE Transactions on Software Engineering, 1985, SE-11(4): 367~375
  • 6Evans David. Splint manual [OL]. http:∥www.splint.org, 2003
  • 7IBM. Rational purifyplus [OL]. http:∥www-900.ibm.com/cn/software/rational/products/purifyplus, 2004
  • 8Wei Yongming. MiniGUI [OL]. http:∥www.minigui.com, 2003
  • 9赵瑞莲,闵应骅.一种基于数据流分析的程序定义域自动确定方法[J].计算机辅助设计与图形学学报,2001,13(8):762-768. 被引量:3

共引文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部