检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:周培 ZHOU Pei(AVIC Leihua Rockwell Collins Avionics Company,Wuxi 214063)
出 处:《航空精密制造技术》2019年第5期16-20,共5页Aviation Precision Manufacturing Technology
摘 要:DO-178B要求验证机载软件在目标机环境中正确运行,所以必须在受控的真实测试环境中运行插桩代码,提出基于LDRA Testbed的主机/目标机测试方法。介绍该方法的提出背景、原理、通信方式、面临的问题和测试环境的构建,构建方法减小因插桩引起的源代码膨胀和干扰时序的影响,并在测试环境中创建延时取回的算法以获取累积的历史记录文件,最终得到有效的动态覆盖率测试报告。从软件的健壮性和可靠性层面上有效提高机载软件的质量。DO-178 B requires to verify the correct execution of airborne software in the target environment, so the instrumented code must be run in the controlled real test environment. A host/target testing method based on LDRA Testbed is proposed. The background, principle, communication mode, problems and construction of test environment were Introduced. The construction method reduces the impact of source code expansion and interference timing caused by instrumentation, and creates a delay retrieval algorithm in the test environment to obtain the accumulated execution history files. An effective dynamic coverage test report was obtained. Host/target testing method can improve the quality of airborne software from the robustness and reliability effectively.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38