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

工业软件测试验证方法研究 被引量：2

Research on the Testing and Verification Methods of Industrial Software
下载PDF
导出
摘要 工业软件是工业技术知识和软件融合的产物,既包含工业属性,又包含软件属性。然而,传统的通用软件的测试验证方法不能完全满足工业软件的测试验证需求。在研究传统通用软件测试方法的基础上,结合工业软件的特点,补充地提出了实验室测试和场景测试两类方法,为工业软件研发全生命周期的质量测试提供了方法支撑。 Industrial software is the product of the integration of industrial technical knowledge and software,which includes both industrial attributes and software attributes.However,the traditional test and verification methods of general software can not fully meet the test and verification requirements of industrial software.Based on the study of traditional general software testing methods and combined with the characteristics of industrial software,two methods of laboratory testing and scenario testing are proposed,which provides method support for the quality testing of the whole life cycle of industrial software R&D.
作者 刘务 杨春晖 吴蕾 林军 徐巍 LIU Wu;YANG Chunhui;WU Lei;LIN Jun;XU Wei(CEPREI,Guangzhou 511370,China;Ministry of Industry and Information Technology Key Laboratory of Industrial Software Engineering Application Technology,Guangzhou 511370,China)
机构地区 工业和信息化部电子第五研究所 工业软件工程化与应用技术工信部重点实验室
出处 《电子产品可靠性与环境试验》 2022年第6期33-38,共6页 Electronic Product Reliability and Environmental Testing
基金 广东省基础与应用基础研究基金项目(2019B1515120086)资助。
关键词 工业软件 工业属性 软件属性 测试验证 industrial software industrial attributes software attributes testing and verification
分类号 TP311.55 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

二级参考文献44

  • 1Xie T, Tillmann N, de Halleux J, Schulte W. Future of developer testing: Building quality in code. In Proc. the 18th FSEjSDP Workshop on the Future of Software Engineering Research, Nov. 2010, pp.415-420.
  • 2Xiao X, Thummalapenta S, Xie T. Advances on improving automation in developer testing. In Advances in Computers, volume 85, Memon A (ed.), Burlington: Academic Press, 2012, pp.165-212.
  • 3D'Silva Y, Kroening D, Weissenbacher G. A survey of automated techniques for formal software verification. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, 2008, 27(7): 1165-1178.
  • 4Xiao X, Xie T, Tillmann N, de Halleux J. Precise identification of problems for structural test generation. In Proc. the 33rd Int. Conf. Software Engineering, May 2011, pp.611-620.
  • 5Dillig I, Dillig T, Aiken A. Automated error diagnosis using abductive inference. In Proc. the 33rd ACM SIGPLAN Conf. Programming Language Design and Implementation, June 2012, pp.181-192.
  • 6Xie T. Cooperative testing and analysis: Human-tool, tooltool, and human-human cooperations to get work done. In Proc. the 12th Int. Working Conf. Source Code Analysis and Manipulation, Sept. 2012, pp.1-3.
  • 7Hellerstein J L, Diao Y, Parekh S, Tilbury D M. Feedback Control of Computing Systems. John Wiley & Sons, 2004.
  • 8Godefroid P, Klarlund N, Sen K. DART: Directed automated random testing. In Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, June 2005, pp.213-223.
  • 9Tillmann N, de Halleux J. Pex-white box test generation for .NET. In Proc. the 2nd Int. Conf. Tests and Proofs, April 2008, pp.134-153.
  • 10Tillmann N, Schulte W. Mock-object generation with behavior. In Proc. the 21st Int. Conf. Automated Software Engineering, Sept. 2006, pp.365-368.

共引文献26

同被引文献19

引证文献2

电子产品可靠性与环境试验
2022年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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