期刊文献+

航天型号嵌入式软件边界测试方法研究

Research on Boundary Testing Methods for Aerospace Embedded Software
下载PDF
导出
摘要 边界测试作为一种常见的测试类型,在航天型号嵌入式软件测试中发挥着重要的作用,可以有效保证软件在各边界转换设计中的正确性。结合航天型号嵌入式软件测试的真实案例,对边界测试点选取方法、测试用例设计方法、边界测试种类进行了研究和总结,并介绍了典型的航天型号嵌入式软件边界缺陷。 As a common type of software testing methods,boundary testing plays an important role in aerospace embedded software testing,ensuring the correctness of software in various boundary transformation designs effectively.This paper introduces real cases,studies and sums up the methods of selecting boundary test points,designing test cases,and types of boundary tests.It also introduces typical boundary defects in aerospace embedded software.
出处 《工业控制计算机》 2024年第6期24-26,共3页 Industrial Control Computer
关键词 边界测试 典型案例 嵌入式软件 boundary testing classic case embedded software
  • 相关文献

参考文献2

二级参考文献9

  • 1范如鹰,许胜,刘正高,等.航天型号软件问题案例(第一集)[M].北京:中国航天科技集团公司软件专家组,2008.
  • 2Mauborgne L. Astride: verification of absence of runtime error [C] /// Proceedings of IFIP International Federation for Information Processing. Toulouse, France: Kluwer, 2004,156:385 - 392.
  • 3Hovemeyer D, Spacco J, Pugh W. Evaluating and tuning a static analysis to find null pointer bugs[C]// Proceedings of ACM SIGSOFT Software Engineering Notes. Lisbon, Portugal: ACM Press, 2005:13- 19.
  • 4Aaron Tomb, Guillaume Brat, Willem Visser. Variablyinterprocedural program analysis for runtime error detection[C] // Proceedings of 2007 ACM International Symposium on Software Testing and Analysis. London, U K :ACM Press,2007:97 - 107.
  • 5Manuvir Das, Sorin Lerner , Mark Seigle. ESP.. path- sensitive program verification in polynomial time[C]// Proceedings of SIGPLAN Notices. Berlin, Germeny.. ACM Press, 2002 :57 - 68.
  • 6Aditya Thakur, Govindarajan R. Comprehensive path- sensitive data-flow analysis [C] // Proceedings of the 2008 CGO-Sixth International Symposium on Code Generation and Optimization. Boston, USA: ACM Press, 2008:55 - 63.
  • 7梅宏,王千祥,张路,王戟.软件分析技术进展[J].计算机学报,2009,32(9):1697-1710. 被引量:101
  • 8Jay Abraham.提高嵌入式软件质量[J].世界电子元器件,2010(12):46-47. 被引量:2
  • 9郑丽娜,王威,周悦.中国第三方软件测试发展现状分析[J].软件产业与工程,2012(5):38-41. 被引量:10

共引文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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