- 博客(10)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 Testbed代码规则检测配置优化实践——基于report.dat文件的精准规则启用
本文记录如何通过修改report.dat配置文件实现特定代码规则的精准启用。
2025-04-12 14:33:14
138
原创 Testbed如何对main函数中的死循环while(1)进行测试
使用针对文件的插桩方法，在Sequence File Explorer中选择需要插桩测试的文件，本文测试的时main函数，也就是在main.c文件中进行插桩，选择main.c后->右键->Code Inserts->Edit/View File Pre-Include Code中插入代码,可以根据需要调整。然后再选择main.c后->右键->Code Inserts->Edit/View File Post-Include Code中插入代码,该代码用于取消对。的宏定义，确保不会影响后续代码。
2025-02-20 15:42:35
162
原创 Testbed低层测试如何处理局部静态变量
具体在Tbrun中的操作过程为，在用例建立完成后，添加函数调用代码，在建立的测试用例上选中，然后右键点击，选择Code Inserts->Initialisation Code。在使用 LDRA Testbed 进行低层测试时，处理局部静态变量是一个常见的问题。由于局部静态变量的作用域限制和初始化特性，直接测试这些变量可能会比较复杂；局部静态变量在函数调用之间保持其值，因此可以通过多次调用被测函数来间接控制静态变量的值。为了覆盖所有逻辑分支，可以在测试用例的初始化代码中多次调用该函数，使。
2025-01-22 14:32:32
273
原创 Testbed 10.2 低层测试操作详解
在Sequence中选中需要进行测试的函数，选中函数，然后右键点击，选择Create New Test Case，可按照个人要求选择用例生成方式，默认Standard方式生成用例；填写完成后，点击工具栏的Run Driver->Run Driver With Test Case Coverage,即可查看用例是否通过，且用例的覆盖率情况，对于覆盖率未满足的情况下，可按之前方法进行补充测试用例，直到覆盖率满足要求；分析完成后，选中工程，点击右键，选择TBrun打开，进入TBrun中；
2025-01-22 13:55:50
507
原创 对ELF文件进行反汇编生成汇编文件
在Windows 11上使用WSL（Windows Subsystem for Linux）中的Ubuntu来对ELF文件进行反汇编，并生成。可能会得到不正确的结果或报错。反汇编过程中遇到任何问题，可能需要检查ELF文件的架构是否与。如果你反汇编的ELF文件不是PPC架构的，那么使用。请注意，反汇编ELF文件时，确保你使用的是正确架构的。工具的架构匹配，或者检查文件路径和权限是否正确。是Windows的C盘在WSL中的挂载点。这条命令会将反汇编输出重定向到。
2024-11-27 09:09:40
736
原创 Win11系统下安装POWERPC 架构的 objdump 工具
这些步骤是基于通常的Linux安装和编译过程。在WSL环境中，可能会有一些差异，但总体流程应该是相似的。此外，编译软件可能需要一些时间，具体取决于你的硬件性能。在Windows 11上通过Ubuntu（可能是指WSL - Windows Subsystem for Linux）安装。
2024-11-26 17:01:52
499
原创 Docker将后端项目打包成镜像并发布成容器
这样，任何发送到宿主机的8006端口的流量都会被转发到容器的8006端口。在windows环境下开发的项目，发布到Linux服务器上运行，首先需要在windows和Linux系统下安装好Docker。: 这是你想要运行的Docker镜像的名称。这里“xxx”只是一个占位符，你应该替换为你实际要使用的Docker镜像名称。3、docker save test20240116 -o xxx.tar打包镜像,生成镜像的压缩包xxx.tar。: 这是Docker的一个子命令，用于启动一个新的容器。
2024-01-16 17:01:31
703
原创 使用简短代码便可实现word批量转pdf
将该脚本复制到需要转换的word文档所在文件夹中，可将word文档拖入到脚本中，稍等片刻，便可得到转换后的pdf文档。本方法可在系统文件夹中，将文件夹里的word文档批量转换成pdf格式，且无需借用其他工具。
2024-01-16 15:46:26
3104
5
原创 C语言运用指针求最大公约数和最小公倍数
文章目录求最大公约数和最小公倍数#include<stdio.h>int gcd(int m,int n);//找最大公约数 void find_max(int *m,int *n,int a,int b);//将输入的较大数放在m位置上 int main(){ int a,b,m,n; printf("请输入两个数字："); scanf("%d %d",&a...
2020-02-25 15:26:48
3305
nvidia-container-runtime离线包安装
2023-08-24
学生宿舍后台管理系统（含数据库）
2020-03-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人