An Automated Testing Framework for Verification of Measurements in Embedded Systems

用于验证嵌入式系统测量的自动化测试框架

• 批准号: 514055-2017
• 负责人: Azim, Akramul
• 金额: $ 1.82万
• 依托单位: University of Ontario Institute of Technology
• 依托单位国家: 加拿大
• 项目类别: Engage Grants Program
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=640123
• 关键词: Automated; Testing; Framework; Verification; Measurements

Design challenges exist for development, verification and validation of embedded systems. Our researchaddresses this challenge by developing tools, techniques and architectures that assist developers in buildinghigh-confidence embedded systems. Measurements International (MI) develops systems that are used forperformance analysis, and these systems are very sensitive to accuracy of measurements of different metricssuch as voltage, temperature, and resistance.Embedded real-time systems often consist of smaller modules, which interact with each other. The assembledunit must have all the modules working precisely and correctly. In this project, MI and the research team willinvestigate testing approaches and develop a new automated testing framework for verification of devices usedfor measurements in embedded systems. To develop an automated testing framework, we will identify theenvironment and requirements of devices used for measurements, characterize defects, and analyzestate-of-the-art testing approaches. Using the automated testing framework, MI will be able to ensurecorrectness of measurements for embedded systems where higher accuracy is anticipated.

为嵌入式系统的开发，验证和验证存在设计挑战。我们的研究通过开发工具，技术和架构来帮助开发人员建立嵌入式系统。国际测量值（MI）开发了用于性能分析的系统，并且这些系统对不同度量标准的测量的准确性非常敏感，例如电压，温度和电阻。安装的实时系统通常由较小的模块组成，这些模块相互作用。汇编必须具有所有模块的所有模块。在这个项目中，MI和研究团队将进行测试方法，并开发一个新的自动化测试框架，以验证用于嵌入式系统中测量的设备。为了开发自动测试框架，我们将确定用于测量的设备的环境和要求，表征缺陷和分析的测试方法。使用自动测试框架，MI将能够确保预期更高精度的嵌入式系统测量。