期刊文献+

电力业务系统的软件测试平台及关键技术研究

Research on Software Test Platform and Key Ttechnology of Power Business System
在线阅读 下载PDF
导出
摘要 本文介绍了自动化测试技术的研究现状,深入剖析了其核心技术及实施策略。同时,随着Web应用程序的日益普及,其安全性问题日趋严峻,基于此,本文提出了安全工具集成的设计与实施方案。在安全审计方面,提出了有效的审计工具;在移动应用测试领域,聚焦于真机开发调试技术,为研发人员提供了便捷的云测环境,有效提升了设备使用效率。 This article introduces the research status of automated testing technology,and deeply analyzes its core technologies and implementation strategies.Meanwhile,with the increasing popularity of web applications,their security issues are becoming increasingly severe.Based on this,this article proposes a design and implementation plan for security tool integration.In terms of security auditing,effective auditing tools have been proposed;In the field of mobile application testing,we focus on real machine development and debugging technology,providing a convenient cloud testing environment for R&D personnel and effectively improving device usage efficiency.
作者 冯东 常晓荣 郭俊龙 张旭 FENG Dong;CHANG Xiaorong;GUO Junlong;ZHANG Xu(Beijing Guodentsu Network Technology Co.,Ltd.,Beijing 100076)
出处 《软件》 2024年第11期33-35,共3页 Software
关键词 自动化测试 安全测试 代码走查 移动测试 automated testing safety testing code walkthrough mobile test
  • 相关文献

参考文献2

二级参考文献84

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量:116
  • 2AHO A V,SETHI R,ULLMAN J D.Compilers principles,techniques,and tools[M].America:Addison Wesley,1986.
  • 3赵云山,宫云战.基于符号分析的静态缺陷检测技术研究[博士学位论文].北京:北京邮电大学,2012.
  • 4Tassey G. The economic impacts of inadequate infrastructure for software testing. Gaithershurg National. Institute of Standards and Technology, Planning Report 02-3, 2002.
  • 5Sipser M. Introduction to the Theory of Computation. Boston, USA: Thomson Course Technology, 2006.
  • 6Hoare C A R. An axiomatic approach to computer program- ming. Communications of the ACM, 1969, 12(10) : 576-580.
  • 7Godefroid P, Klarlund N, Sen K. DART: Directed automated random testing//Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, USA, 2005:213-223.
  • 8Ball T, Cook B, Levin V, Rajamani S K. SLAM and static driver verifierz Technology transfer of formal methods inside Microsoft//Proceedings of the Integrated Formal Methods. Canterbury, England, 2004, 1-20.
  • 9Korel B. A dynamic approach of test data generation// Proceedings of the IEEE Conference on Software Maintenance (ICSM). San Diego, USA, 1990.. 311-317.
  • 10Korel B. Automated software test data generation. IEEE Transactions on Software Engineering, 1990, 16(8): 870-879.

共引文献89

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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