【作者】 刘颖；

【导师】 刘漫丹； 王英；

【作者基本信息】 华东理工大学 ， 控制工程， 2012， 硕士

【摘要】 随着工业生产的扩大,控制系统变得越来越复杂,安全受到了越来越多的关注,功能安全成为工业领域内研究的热点。作为流程工业领域中典型的现场设备,智能电容式压力/差压变送器(以下简称智能变送器)是一个系统复杂,安全性要求较高的带有嵌入式应用软件的仪器仪表。而软件测试是保证软件质量的重要手段之一,所以必须对智能变送器中的应用软件进行充分的、系统的测试。本文主要研究运用对第二代HART协议智能电容式压力/差压LDRA Testbed/TBrun变送器之电子部件(以下简称第二代智能板)进行测试的技术。主要进行了基于LDRA的静态测试工作和基于Testbed的单元测试工作,把软件测试的各种思想、LDRA TBrun概念与测试工具相结合,最终达到较好的测试效果。LDRA Testbed/TBrun首先介绍了国内外研究现状和软件测试的发展趋势,然后介绍了软件测试的基本概念和嵌入式软件单元测试的概念等,最后详细介绍了软件测试工具套件LDRA,重点介绍的基本功能。LDRA Testbed/TBrun其次研究了第二代智能板的工作原理。对第二代智能板软件进行了基本静态分析、复杂度分析、静态数据流分析、交叉索引分析等静态测试技术方面的研究,并对静态测试的工作内容选择、测试结果分析、测试报告制定作了标准化规定。最后研究了运用对第二代智能板软件进行单元测试工作。主要研究逻LDRA TBrun辑覆盖测试技术中的两项关键技术：测试需求分析和测试用例设计。在单元测试过程研究和单元测试用例设计方法的基础上,以第二代智能板软件中的关键模块为例,进行单元测试用例设计,对测试中出现的问题进行了解决,使它们最终都达到期望的覆盖率。更多还原

【Abstract】 As the expansion of industrial manufacturing and complication of control system, safety attracts so much attention that functional safety becomes a hot spot in the field of industry. As a typical scene equipments in the process industrial field, intelligent capacitive pressure/differential pressure transmitter (hereinafter referred to as intelligent transmitter) is a instrumentation with embedded application software and has complicated system and high security. Software testing is a necessary method to guarantee software quality, so application software in intelligent transmitter must be tested strictly and thoroughly.In this paper, the testing technology based on LDRA Testbed/TBrun of the second generation HART agreement intelligent capacitive pressure/differential pressure transmitter’s electronic part (hereinafter referred to as the second generation intelligent board) was researched, and the main work included static testing based on LDRA Testbed and unit testing based on LDRA TBrun. Various thoughts and concepts of software testing and test tool of LDRA Testbed/TBrun were successfully combined, finally came to a very good test result.Firstly, the current research situation both at home and abroad and the development tendency of software testing were introduced, then the basic conceptions of software testing and embedded software unit test were introduced. Software testing tool suite LDRA was introduced in detail, the basic function of LDRA Testbed/TBrun were introduced mainly.Secondly, the work theory of the second generation intelligent board was studied. Static testing technology such as basic static analysis, complexity analysis, static data flow analysis, cross-referencing analysis were studied. Then the work content selection of static testing, analysis of testing result and establishment of testing report were standardized.Finally, the unit testing of the second generation intelligent board software based on LDRA TBrun was researched. The two key technology in logistic coverage test technology were researched, including testing requirement analysis and test case design. Design unit testing cases for crucial module of the second generation intelligent board software based on the research of unit testing process and the design method of unit testing case. Test result of unit testing was analyzed deeply through unit testing.更多还原