期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

调用模式和正确调用模式语义在Prolog程序测试中的应用

Application of call patterns semantics and correct call patterns semantics to CPM testing of Prolog programs
下载PDF
导出
摘要 将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性的划分准则;利用后者预测CPM测试的结果。该方法可较好地保持程序测试的质量,改善Prolog程序的CPM测试过程。 This paper proposed a method to apply the call patterns semantics and correct call patterns semantics to the CPM testing of Prolog programs. The method could be viewed as an attempt to improve the testing of Prolog programs by the result of program analysis. By analyzing the way in which procedures were used in a program, reduced the number of test frames and therefore the number of test cases generated in CPM testing of a procedure without much decreasing the confidence in the quality of the programs to be tested. Additionally, used the program analysis based on correct call patterns semantics to predict the testing result for test frames.
作者 赵岭忠 钱俊彦
机构地区 桂林电子科技大学计算机与控制学院
出处 《计算机应用研究》 CSCD 北大核心 2008年第4期1008-1012,共5页 Application Research of Computers
基金 国家自然科学基金资助项目(60663005) 广西自然科学基金资助项目(桂科青0542036)
关键词 PROLOG 调用模式语义 正确调用模式语义 主属性区分方法测试 Prolog call patterns semantics correct call patterns semantics CPM（ category partition method） testing
分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献15

  • 1GABBRIELLI M, LEVI G, MEO M C. Observable behaviors and equivalences of logic programs[ J]. Information and Computation, 1995,122( 1 ) :1-29.
  • 2GABBRIELLI M, GIACOBAZZI R. Goal independency and call patterns in the analysis of logic programs[ C]//Proc of the 9th ACM Symposium on Applied Computing. New York: ACM Press, 1994: 394-399.
  • 3OSTRAND T J, BALKER M J. The category-partition method for specifying and generating functional tests [ J ]. Communications of ACM, 1988,33 (6) :676-686.
  • 4BALCER M J, HASLING W M, OSTRAND T J. Automatic generation of test script from formal test specifications[ C]//Proc of the 3rd ACM Annual Symposium on Software Testing, Analysis, and Verification. New York: ACM Press, 1989:210-218.
  • 5BELLI F, JACK O. PROTest Ⅱ, testing logic programs[ R]. [ S. l] : ADT, 1992.
  • 6ALEXIN Z, GYIMOTHY T, KOKAI G, IDTS: integrated system for debugging and testing Prolog programs [ EB/OL ]. ( 1997 ). http :// www. inf. u-szeged. hu/- kokai/idt. html.
  • 7CHEN T Y, POON P L, TSE T H. A choice relation framework for supporting category-partition test case generation [ J ]. IEEE Trans on Software Engineering, 2003,29(7) :577-593.
  • 8AMMANN P, OFFUTT A J. Using formal methods to derive test frames in category partition testing[ C ]//Proc of the 9th Annual Conference on Computer Assurance. Gaithersburg, MD: IEEE Computer Society Press, 1994:69-80.
  • 9SPOTO F, LEVI G. Abstract interpretation of Prolog programs [ C ]// Proc of the 7th International Conference on Algebraic Methodology and Software Technology, LNCS 1548. New York : Springer-Verlag, 1999:455-470.
  • 10COUSOT P, COUSOT R. Abstract interpretation and applications to logic programs [J].Journal of Logic Programming, 1992, 13 (2-3) :103-179.
计算机应用研究
2008年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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