LDRA Testbed在航空软件单元测试中的应用

【类型】学位论文

【作者】刘昆 

【关键词】 机载操作系统 LDRATestbed 软件单元测试

【摘要】随着计算机技术在航空软件中的深入使用，为了更快更好的完成项目任务，这就对软件测试人员提出了更高的要求。如何能够节省更多时间和人力资源，高效的完成任务。本文结合实际经验，论述了一种结合自动化测试工具来进行航空软件单元测试的方法。本文针对软件测试中存在的问题，研究了LDRA Testbed在航空软件单元测试中的应用。论文首先阐述了软件测试理论的相关概念、原理和方法。然后分析了单元测试的需求，针对被测目标按照流程进行需求的分析，测试用例的设计，测试的实施。实施包括软件的静态分析和动态测试执行过程。通过一个实例，实现了LDRA Testbed的单元测试方法，并分析其在实际应用中的优劣。经过实验验证以及大量的实际测试操作，我们可以看到，LDRA Testbed自动化测试工具可以给测试人员提供很多便利，包括提供详细的静态分析规则，无需编写驱动函数，提供强大的数据库来保障回归测试，方便导出测试报告等，节省很多需要人工去实现的时间，可以让测试人员更专注于测试用例的设计，从而保障软件的安全性。

【学位名称】硕士

【学位授予单位】西安电子科技大学

【学位授予年度】2016

【导师姓名】杨刚，牟明

【读秀链接】读秀链接