期刊文献+

基于关键字驱动脚本的安全软件自动测试系统 被引量:6

Safety-Critical Software Automatic Testing System Based on Keyword Driven Script
在线阅读 下载PDF
导出
摘要 提出并阐述了一种基于关键字驱动脚本的安全软件自动测试系统设计方法 .使用关键字驱动脚本欲将大量有效测试案例形式化 ,建立测试案例专家知识库 ,并开发能够实现复杂测试案例自动生成、自动测试和自动结果比较的新一代安全软件自动测试系统 .此系统可进一步提高铁路车站计算机联锁软件测试自动化水平和测试效率 . An approach for designing a safety-critical software automatic testing system based on keyword driven script is presented and discussed. A lot of efficient test cases will be made formally with keyword driven script in order to establish the expert knowledge base of test cases. And the new-style software automatic testing system will be developed to implement automatic generation, automatic testing of test cases and automatic result comparison. This system can improve the level of test automation and test efficiency of the Railway Station Computer Interlocking Software more.
作者 王铁江 郦萌
出处 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第6期719-722,共4页 Journal of Tongji University:Natural Science
基金 铁道部科技发展基金资助项目 (2 0 0 1-X -0 0 5 )
关键词 脚本 知识库 软件测试 计算机联锁 ZK(script knowledge base software testing computer interlocking
  • 相关文献

参考文献2

  • 1Fewster Mark 舒智勇等(译).软件测试自动化技术与实例详解[M].北京:电子工业出版社,1999.333-342.
  • 2徐中伟 吴芳美.计算机联锁安全软件测试案例自动生成专家系统.第八届全国容错计算学术会议论文集[M].武汉:中国计算机机学会容错计算专业委员会,1999.158-163.

共引文献1

同被引文献24

  • 1张春霞,郝天永.汉语自动分词的研究现状与困难[J].系统仿真学报,2005,17(1):138-143. 被引量:60
  • 2朱菊,王志坚,杨雪.基于数据驱动的软件自动化测试框架[J].计算机技术与发展,2006,16(5):68-70. 被引量:71
  • 3徐振良,樊滨温,王志鹏.关键字驱动技术在SAFS中的研究[J].微计算机信息,2006,22(05X):270-272. 被引量:5
  • 4Harrison W H.Compiler analysis of the value ranges for variables[J]. IEEE Transactions on Software Engineering,1977:243-250.
  • 5Patterson J R C,Accurate static branch prediction by value range propagation[C]//ACM SIGPLAN Conference on Programming Language Design and Implementation,1995:67-78.
  • 6Cousot P,Cousot R.Abstract interpretation:a unified lattice model for static analysis of programs by construction or approximation of fixpoints[C]//Proc Fourth ACM Symp Principles of Programming Languages, 1977 : 238-252.
  • 7Evans D.Static detection of dynamic memory errors[C]//ACM Conference on Programming Language Design and Implementation,USA, 1996: 44-52.
  • 8[3]Fewster M,Graham D.舒智勇,包晓露,焦跃等译.软件测试自动化技术与实例详解[M].北京:电子工业出版社,2000.
  • 9Cen Kaner,Jack Falk,Hung Quoc Nguyen.计算机软件测试技术[M].王峰,陈杰,喻琳,译.北京:机械工业出版社,1992:19-46.
  • 10MosleyDJ,PoseyBA.软件测试自动化[M].影印版.北京:机械工业出版社,2003.

引证文献6

二级引证文献25

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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