期刊文献+

基于黑箱的自动软件测试工具的质量保障方法 被引量:1

Approaches for Guaranteeing Quality of Automatic Software Test Tools Based on Black Box
下载PDF
导出
摘要 软件测试需要合适的自动测试工具的有效支持 ,此时保障测试工具质量的问题显得尤其重要 .介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法 ,并详细讨论了软件故障注入方法 .长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的 . Software testing needs effective support from appropriate automatic test tools.And the problem of guaranteeing the quality of test tools is of more importance. Two methods of guaranteeing the quality of automatic software test tools based on black box are introduced, and the approach for software fault injection is discussed in detail.These approaches prove to be very effective by long-term test practices when guaranteeing the testing ability and reliability of the Railway Computer Interlocking Software Testing and Evaluation Platform.
作者 王铁江 郦萌
出处 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1249-1252,共4页 Journal of Tongji University:Natural Science
基金 铁道部科技研究开发计划资助项目 ( 2 0 0 1-X -0 0 5 )
关键词 故障注入 质量保障 自动测试工具 软件测试 软件工程 检测能力 黑箱 fault injection quality guarantee test tool software testing
  • 相关文献

参考文献7

  • 1孙昌爱,金茂忠,刘超.基于场景的软件测试工具系列的设计与实现[J].计算机工程与应用,2001,37(12):49-53. 被引量:2
  • 2WU Fang-mei,LI Meng.Railway signaling safety testing based on dynamic dec ision table[A].Proceeding of the Eighth Asian Test Symposium[C].Shanghai:IEE E Computer Society,1999.247-250.
  • 3LI Wei-wei,XU Zhong-wei,JIN Yan.An approach for testing safety-critical software[A].9th Great Lakes Symposium on VLSI,Ann Arbor[C].Michigan:IE EE Computer Society Press,1999.180-183.
  • 4王铁江 吴芳美.面向软件测试的虚拟计算机联锁软件的设计和实现[J].测试技术学报,2000,14:388-393.
  • 5Wang J Y,Sun J Z,Li Y C,et al. The implementation of FTT-1:A hardware-ba sed fault injector[A].Proc IEEE International Workshop on Computer-Aided Desig n, Test and Evaluation for Dependability[C].Beijing:IEEE Computer Society,1996 .170-174.
  • 6Karlsson J,Liden P,Dahlgren P,et al.Using heavy-lon radiation to validate fault-handling mechanisms[J].IEEE Micro,1994,14(1):8-32.
  • 7Kanawati G A,Kanawati N A,Abraham J A.A flexible software-based fault and error injection system[J].IEEE Trans Computer,1995,44(2):248-260.

二级参考文献8

  • 1郑人杰.计算机软件测试技术[M].北京:清华大学出版社,1990.全书.
  • 2孙是爱 等.Safepro软件测试工具详细设计说明书[M].北航软件所,2000,10..
  • 3孙昌爱,北航软件所,2000年
  • 4郑人,计算机软件测试技术,1990年
  • 5http://WWWMERCINTCOM Mercury Interactive Inc
  • 6http://WWWRATIONALCOM Rational Software Corp Rational Team Test
  • 7http://WWWSEGUECOM Segue Software Inc
  • 8孙昌爱,刘超,金茂忠.基于场景的软件体系结构分析[J].计算机工程与应用,2000,36(9):75-79. 被引量:6

共引文献1

同被引文献9

  • 1Hasen K M. Linking Safety Analysis to Software Requirements: Exemplified by Railway Interlocking Systems[D].Institute for Information Technology, Denmarks Tekniske University. 1996.
  • 2Wong W. A simple graph theory and its application in railway signaling[A]. In: M. Archer, J.J. Joyce, K. N.Levitt, P. J. Windley ed. International Workshop on Higher Order Logic Theorem Proving its Applications[C].New York: IEEE CS Press, 1991. 395--410.
  • 3Monigel M. Formal representation of track topologies by double vertex graphs[A]. In: Proceedings of the Railcomp92-Computers in Railways[C]. New York: Computational Mechanics Publications, 1992.
  • 4Guiho G, Hennebert C. SACEM software validation[A].In: Proeeedings of the 12th International Conferenee on Software Engineering[C]. New York: IEEE CS Press/ACM Press, 1990. 186--191.
  • 5Jacky J. Specifying a safety-critical control system in Z[J].IEEE Transaction on software engineering. 1995, 21 (2)99--106.
  • 6Johnson C W. Using Z to support the design of interactive safety-critical systems [J]. Software engineering journal.1995, 10(2): 49--60.
  • 7Hall P A. Relationship Between Specification and Testing [J]. Information and Software Technology, 1991,33 (1) : 47--52.
  • 8Hall P A. Towards Testing with Respect to Formal Specification[A]. In: Second IEE/BCS Conference on Software Engineering[C]. New York.. IEEE Press. 1988. 159--163.
  • 9兰毓华,毛法尧,曹化工.基于Z规格说明的软件测试用例自动生成[J].计算机学报,1999,22(9):963-969. 被引量:22

引证文献1

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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