期刊文献+

安全关键嵌入式产品灰盒测试方法的有效实践 被引量:2

Effective Practice of Test Method for Safety-related Complex Embedded Product Gray Box
下载PDF
导出
摘要 浙江中控长期从事工业流程控制和工业安全控制产品的研发和制造,在CMMI的基础上,结合复杂嵌入式产品的特点,摸索出一套有效可行的嵌入式研发项目管理办法,在实践中发现灰盒集成测试对于嵌入式产品的质量控制起到了非常大的作用,本文介绍浙江中控灰盒集成测试活动的目标、策略及方法。 SUPCON has been long engaged in industrial process control and industrial safety control system product development and manufacturing. On the basis of CMMI, combined with the characteristics of complex embedded products, to explore a set of effective and feasible embedded product development management approach. In practice, it has been found that the gray box inheritance test has played a very big role in the quality control of embedded products. This paper introduces the objectives, strategies and personnel ability requirements of the gray box integration test activities.
作者 庞欣然 邵黎勋 柏立悦 Pang Xinran;Shao Lixun;Bai Liyue(Zhejiang SUPCON Co.,Ltd.,Hangzhou 310053)
出处 《仪器仪表标准化与计量》 2019年第1期19-21,共3页 Instrument Standardization & Metrology
基金 国家重点研发计划网络空间安全专项经费资助(装备研制与安全测评 课题编号:2016YFB0800205)
关键词 灰盒测试 嵌入式 安全关键 Gray Box Test Embedded Safety-related
  • 相关文献

参考文献2

二级参考文献26

  • 1沈升源,陈丽容,汤铭端.基于统计覆盖测试技术的软件测试充分性研究[J].系统工程与电子技术,2004,26(6):821-824. 被引量:12
  • 2ChuWK,ZhangFM.FanXG.Overviewonsoftwarearchitecture0fintegratedmodularavionicsystems[J].ActaAeronauticaetAstro-nauticaSinica,2009,30(10):935-942.
  • 3RTCA DO--178B. Software considerations in airborne systems and equipment certification[-S. Washington, DC: Radio Techni- cal Commission for Aeronautics, Inc (RTCA),1992.
  • 4Stephen A J, Johann M S, Pramod P G, et al. Development of advanced verification and validation procedures and tools for the certification of learning systems in aerospace applications[C]// Proc. of Infotech@Aerospace Conference, 2005 6912 - 6927.
  • 5Alex B, William L. Qualification and reliability of complex electronic rotorcraft systems[C]//Proc, of the AHS Special- ists ' Meeting on S,Jstems Engineering, 2009 : 1 - 5.
  • 6Tom E. High-integrity production code generation[-C//Proc. of the Guidance Navigation and Control Conference, 2003: 5483 - 5488.
  • 7Tom E,Bill P. Model-based design for DO-178B with qualified tools[C]//Proc, of the Modeling and Simulation Technologies Conference, 2009 =6233 - 6245.
  • 8Parosh A A, Johann D. Designing safe, reliable systems using scade[J]. Lecture Notes in Computer Science, 2006, 4313: 115 - 129.
  • 9Barhorst J F, Paunicka J L, Stuart D A. Emerging directions in aerospace software Vv-V[C]//Proc. of Infotech @Aerospace Conference, 2011:1507 - 1512.
  • 10Lewis J, Rierson L. Certification concerns with integrated mod- ular avionics (IMA) projects[ C // Proc. of the Digital Avionics Systems Conference, 2003 : 1 - 3.

共引文献7

同被引文献4

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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