嵌入式武控计算机软件测试关键技术研究
发布时间：2019-04-10 20:16
【摘要】：嵌入式系统是计算机、通信、自动化控制等技术高度整合而且产生的产物。本文以我院承制的武控计算机软件测试需求为背景,主要研究武控计算机软件测试平台的研制及武控计算机软件测试过程中的关键问题。主要有以下5点想法： 第1点：研究分析当前通用软件测试过程模型的优缺点,结合嵌入式武控计算机软件本身的特性,提炼出适用于嵌入式武控计算机软件的测试过程模型,不但能保证测试质量,而且提高工作效率。 第2点：结合武控计算机软件自身的特点,研究分析了软件内存缺陷测试的问题,找到嵌入式武控计算机软件内存泄漏的出处且分析出原因,提出了解决之法。 第3点：本课题从实际应用出发,使用自动化静态测试技术,研究分析了静态测试中使用的各种度量元(包括基本复杂度、扇入扇出数、圈复杂度等)对于嵌入式软件的影响,提出如何有效的降低部分重要的软件静态质量度元并且提高软件的质量。 第4点：武控计算机软件由两大部分组成控制逻辑与数学模型(包括目标拦截排序、目标数据滤波及目标杀伤区数学模型等),如何实现对武控计算机软件中数学模型的实现进行有效验证,也是此课题的难点之一 第5点：本课题分析了武控计算机软件覆盖率测试的需求和难点,配置McCabe软件和硬件测试环境,尽可能有效地获得覆盖率历史数据,实现嵌入式武控计算机软件覆盖率测试自动化。
[Abstract]:Embedded system is a highly integrated and produced product of computer, communication, automatic control and other technologies. In this paper, the development of software testing platform for weapon control computer and the key problems in the testing process of weapon control computer software are mainly studied under the background of testing requirements of weapon control computer software developed by our hospital. There are five main ideas as follows: point 1: to study and analyze the advantages and disadvantages of the current general software testing process model, combined with the characteristics of embedded weapon control computer software itself, The test process model suitable for embedded weapon control computer software is extracted, which can not only guarantee the test quality but also improve the work efficiency. Point 2: combining with the characteristics of the software of weapon control computer, this paper studies and analyzes the problem of testing software memory defect, finds out the origin of memory leakage of embedded weapon control computer software and analyzes the reasons, and puts forward the method to solve the problem. Point 3: starting from the practical application, this paper studies and analyzes the influence of various metrics used in static testing (including basic complexity, fan-in-fan-out number, circle complexity, etc.) on embedded software by using automatic static testing technology. This paper puts forward how to effectively reduce the static quality of some important software and improve the quality of the software. Point 4: the weapon control computer software consists of two parts: control logic and mathematical model (including target interception ranking, target data filtering and target killing area mathematical model, etc.). How to effectively verify the realization of mathematical model in weapon control computer software is also one of the difficult points of this subject: this paper analyzes the requirements and difficulties of software coverage testing for weapon control computer. The McCabe software and hardware test environment is configured to obtain the historical data of coverage as effectively as possible and realize the automation of software coverage test of embedded weapon control computer.
【学位授予单位】：华东理工大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP311.53;TP368.1
本文编号：2456096
[Abstract]:Embedded system is a highly integrated and produced product of computer, communication, automatic control and other technologies. In this paper, the development of software testing platform for weapon control computer and the key problems in the testing process of weapon control computer software are mainly studied under the background of testing requirements of weapon control computer software developed by our hospital. There are five main ideas as follows: point 1: to study and analyze the advantages and disadvantages of the current general software testing process model, combined with the characteristics of embedded weapon control computer software itself, The test process model suitable for embedded weapon control computer software is extracted, which can not only guarantee the test quality but also improve the work efficiency. Point 2: combining with the characteristics of the software of weapon control computer, this paper studies and analyzes the problem of testing software memory defect, finds out the origin of memory leakage of embedded weapon control computer software and analyzes the reasons, and puts forward the method to solve the problem. Point 3: starting from the practical application, this paper studies and analyzes the influence of various metrics used in static testing (including basic complexity, fan-in-fan-out number, circle complexity, etc.) on embedded software by using automatic static testing technology. This paper puts forward how to effectively reduce the static quality of some important software and improve the quality of the software. Point 4: the weapon control computer software consists of two parts: control logic and mathematical model (including target interception ranking, target data filtering and target killing area mathematical model, etc.). How to effectively verify the realization of mathematical model in weapon control computer software is also one of the difficult points of this subject: this paper analyzes the requirements and difficulties of software coverage testing for weapon control computer. The McCabe software and hardware test environment is configured to obtain the historical data of coverage as effectively as possible and realize the automation of software coverage test of embedded weapon control computer.
【学位授予单位】：华东理工大学
【学位级别】：硕士
【学位授予年份】：2013
【分类号】：TP311.53;TP368.1
【参考文献】
相关期刊论文 前10条
1 张旭;;嵌入式软件覆盖率的测试技术及评测方法研究[J];才智;2008年08期
2 唐科,汪文勇,刘利枚;嵌入式软件覆盖测试的研究[J];成都信息工程学院学报;2005年05期
3 钱银中;白盒测试和黑盒测试在动态软件测试中的应用[J];常州信息职业技术学院学报;2005年02期
4 郭洋;;基于VxWorks的逻辑覆盖测试方法[J];电子质量;2007年12期
5 曹晓勇;刘希;;嵌入式软件覆盖测试的研究和应用[J];电子质量;2009年12期
6 范守文;徐凌翔;;基于数据流异常监测的软件容错纠错方法[J];电子科技大学学报;2012年04期
7 邓绯;王凯;;基于静态分析方法的软件可靠性模型研究[J];长春大学学报;2012年08期
8 袁政江;;浅谈软件静态测试中的代码审查[J];计算机光盘软件与应用;2012年03期
9 朱红军;;一种嵌入式软件覆盖和分析测试方法[J];航空计算技术;2009年05期
10 张丽;基于嵌入式系统的软件结构覆盖测试技术[J];舰船电子工程;2005年03期
，本文编号：2456096
本文链接：https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/2456096.html
