- 博客(25)
- 收藏
- 关注
RSS订阅翻译 测试编译器经典论文阅读（Finding and Understanding Bugs in C Compilers）
编译器测试经典论文paper reading
2022-09-07 10:25:00
794
原创 安卓emulator 命令行报错：could not launch ‘sdk-path/../emulator/qemu/darwin-x86_64/qemu-system-i38
安卓emulator 命令行报错：could not launch 'sdk-path/../emulator/qemu/darwin-x86_64/qemu-system-i38问题问题我的Mac上安装了android studio，但是我要再命令行使用 emulator ，所以我配置了环境。ANDROID_HOME="/Users/yourname/Library/Android/sdk"export PATH=${PATH}:${ANDROID_HOME}/toolsexport PATH=
2022-01-13 23:50:54
2482
原创 Mac使用z3报Exception in thread “main“ java.lang.UnsatisfiedLinkError: no libz3java in java.library.path
原文： https://blog.csdn.net/lunarych/article/details/107835522网上找了很多mac的解决方案都是要设置DYLD_LIBRARY_PATH或者java.library.path，但是都没用，在GitHub上找到的答案：原因：https://github.com/Z3Prover/z3/issues/294Java是受SIP保护的可执行文件，它会忽略用户设置 DYLD_LIBRARY_PATHProof by running: /bin/ls -
2021-08-07 16:00:42
885
2
原创 Maven 入门
Maven我的理解，maven就是帮组开发人员进行构建，测试，生成文档，报告，部署工作的。而且所有的maven项目的目录结构和依赖声明的格式都一样。因为maven的设计理念是更重约定而非配置。所以了解一个maven项目了，其他的都差不多。maven声明式依赖的真正威力不在于您可以节省几个字节的磁盘空间，（实际上感觉.m2 仓库中似乎会累加各种版本的依赖，反而容易消耗过多的存储吧）而在于可以执行的分析。一旦你有了一个像样的graph，各种各样的事情都是可能的。maven的资料很多，官方文档很全面，但是也过
2021-08-04 20:51:16
246
原创 JaCoCo 用户提出的问题的汇总
JaCoCo 用户提出的问题的汇总X 功能什么时候发布？JaCoCo 由志愿者在空闲时间维护。由于我们无法保证免费容量，我们不承诺特定的发布日期。通常情况下，您每年都会发布几个版本。在更改日志中，您可以看到在 master 分支中实现的所有功能，并将在下一个版本中可用。同时您可以测试最新版本的主分支（Maven SNAPSHOT）并向我们提供反馈。JaCoCo 有 [Eclipse|Netbeans|Whatever…] 的插件吗？有关当前与各种工具的集成，请参阅此列表。JaCoCo 支持哪些
2021-08-02 15:42:39
2406
3
原创 AS编译报错：More than one file was found with OS independent path ‘META-INF/app_fdroidDebug.kotlin_module
\documentclass{standalone}\usepackage{tikz}\usepackage{aeguill}\begin{document}% generated by Plantuml 1.2021.00\definecolor{plantucolor0000}{RGB}{255,255,255}\definecolor{plantucolor0001}{RGB}{0,0,0}\definecolor{plantucolor0002}{RGB}{254,254,206}\
2021-08-02 11:33:09
470
原创 获取APK包名和launcherActivity的方法
获取APK包名和launcherActivity的方法配置环境变量获取APK包名和launcherActivity在使用自动化测试用具的时候，需要提供APK包名和launcherActivity。下面是获取方法。配置环境变量如下配置好环境变量。本人是在Ubuntu上，所以将下面的声明加入 .bashrc 文件中。ANDROID_HOME 请根据自己的安卓SD看安装位置更改。将 ${ANDROID_HOME}/build-tools/30.0.3加入PATH的目的是其中包含工具 appt （我们主要就是
2021-07-29 17:35:42
625
转载 Shell 反引号、$() 和 ${} 的区别
@[TOC](Shell 反引号、$() 和 ${} 的区别)1.反引号与 $() 用于命令替换反引号和$()的作用相同，用于命令替换（command substitution），即完成引用命令的执行，将其结果替换出来，与变量替换差不多。比如：echo `date '--date=1 hour ago' +%Y-%m-%d-%H`#或者echo $(date '--date=1 hour ago' +%Y-%m-%d-%H)输出结果是相同的：2019-02-02-09。在编写 Shell 脚
2021-07-29 16:29:59
752
原创 linux 命令学习
Linux命令实在太多了，只能用的时候学，或者有空的时候浏览一下一些命令大大致用法。这里记录一下两个比较好的资源网站。https://www.runoob.com/linux/linux-command-manual.htmlhttps://www.linuxcool.com/注意平时的积累:对于那些常用的、带有多个参数的命令行，或是用了awk/grep/sed进行了复杂嵌套的，不需要特地背下来，如果敲错一点点，整个命令的输出都会有问题，甚至有可能酿成大祸！建议把这些用一个文档保存下来，不单单要保
2021-07-29 12:08:26
101
原创 linux 运行.sh出现 Permission denied 解决办法
Linux 操作**.sh文件时 Permission denied表示对该文件的权限不够，如下：user@ubuntu:~/benchmark/scripts$ ls -l run_chmk.sh -rw-rw-r-- 1 user user 66 Jul 27 01:14 run_chmk.sh可以看到我的权限是 -rw, 所以要修改权限修改权限chmod u+rwx run_chmk.sh获取权限后重新执行.sh文件有个更详细的帖子： https://blog.csdn.ne.
2021-07-27 16:37:23
1684
原创 安卓自动化测试脚本 python + Uiautomator2 + Weditor
https://www.youtube.com/watch?v=RmiDYk82YHc一、Uiautomator2 模块的安装和环境准备安装过程比较简单，python 环境准备好之后，通过 pip 即可安装，执行命令：pip install uiautomator2安装之后，我们在电脑上连接一台要测试的 Android 手机，然后执行python -m uiautomator2 init该命令是用于初始化我们的测试手机，该过程将安装包含 http rpc 服务的 apk 到手机主要有：atx
2021-07-26 20:19:05
1386
原创 安卓设置蜕变测试setDroid（Setting-wise Metamorphic Fuzzing）
安卓设置蜕变测试setDroidSetting-wise Metamorphic FuzzingHigh-level IdeaApproachOracle checking rule 1Oracle checking rule 2Design and Implementation of SetDroid论文：Understanding and Finding System Setting-Related Defects in Android AppsSetting-wise Metamorphic Fu
2021-07-25 23:10:29
346
1
原创 weditor报错，无法显示hierarchy
问题：我用 weditor 来定位元素的时候，画面出来了，但是没有hierarchy。可能的答案：来自testerhome的文章。3、我 init 之后 atx-serve 上出现设备了，点击手机的画面出不来，点操作也没反应 atx-serve 设备点击 use之后画面的实时展示和可操作都是依赖minicap minitouch 的，应该是这两个没有安装成功造成的。 再重新 init之后试试看，实在不行就手机重启之后，再 init 一下试试看。 以上也是针对真机的，模拟器的话，minicap
2021-07-25 18:20:26
2365
2
原创 Mac Os 上 使用Uiautomator2报错：HTTP Return code is not 200”, res.text) uiautomator2.exceptions.BaseError:
主要的报错信息：“HTTP Return code is not 200”, res.text)uiautomator2.exceptions.BaseError: (’{“jsonrpc”: “2.0”, “id”:“86de3c1b1c41dec46514d06c3c42b5e4”, “method”: “deviceInfo”, “params”:{}}’, 503, '\n\n\n\nERROR: The requested URL could not be<br/>retr
2021-07-25 13:16:08
1340
3
翻译 蜕变测试（metamorphic testing）经典论文阅读 Compiler Validation via Equivalence Modulo Inputs
Compiler Validation via Equivalence Modulo InputsBackgroundSome definitionsEMI in Practice: OrionEvaluationQuantitative descriptionQualitative examplesCurrent statisticsDiscussion原文链接：https://www.cs.cornell.edu/courses/cs6120/2019fa/blog/equivalence-modul
2021-07-24 21:13:46
1187
转载 记：解决 RuntimeError: atx-agent recover failed 和 requests.exceptions.ProxyError
记：解决 RuntimeError: atx-agent recover failed 和 requests.exceptions.ProxyError
2021-07-22 15:34:49
261
翻译 字节跳动fastbot论文
fastbot-a-multi-agent-model-based-test-generation-system摘要1 introduction2 Design and Implementation2.1 Fastbot Workflow2.2 Fastbot Model Description2.3 Algorithms in AI core结果个人理解与评价摘要用于自动化 GUI 测试的基于模型的测试 (MBT) 生成技术对于应用程序测试具有重要价值。 当应用于具有工业复杂性和可扩展性的应用程序时，
2021-07-22 12:20:48
1059
原创 Git 将本地已有项目上传GitHub上新建的仓库
将本地项目（第一次/新仓库）上传到远程仓库第一步创建远程仓库（github）第二步本地寻到项目根目录下，windows下使用gitbashgit init 初始化本地git仓库配置git remote add origin [远程仓库地址] 添加远程仓库git add . 添加工作区代码到本地暂存区git commit -m " [提交描述]" 添加暂存区代码到本地仓库git pull origin master 将远程仓库pull下来git push -u origin maste
2021-07-22 10:35:36
165
转载 python Windows环境下文件路径问题
转自：http://blog.sina.com.cn/s/blog_5ee7254801013zu7.html今天遇到了windows下python处理路径的问题。转载一篇文章，加强记忆。在python程序里面我们经常需要对文件进行操作，Windows下的文件目录路径使用反斜杠“\”来分隔。但是，和大多数语言一样，Python代码里面，反斜杠“\”是转义符，例如“\n”表示回车、“\t”表示制表符等等。这样，如果继续用windows习惯使用“\”表示文件路径，就会产生歧义。例如：“c:\test.tx
2021-07-21 19:40:27
2508
翻译 使用蜕变测试测（metamorphic testing）试您的机器学习算法
Test your Machine Learning Algorithm with Metamorphic Testing前言The oracle problemMetamorphic testing参考文献前言测试机器学习和人工智能算法很困难。 事实上，一般来说，测试科学软件是很困难的，并且已经有一些关于这个更普遍主题的文献。 正如 Carver et al (2017)【1】 的介绍中所说。科学软件的开发与更传统的商业信息系统的开发有很大不同，许多软件工程最佳实践和工具都从中汲取了灵感。 这些差
2021-07-21 11:46:17
1169
原创 pycharm 设置working directory
pycharm 设置working directory我从GitHub上clone了一个别人的项目setDroid。在运行代码的时候，更改了一些路径，发现有点不对劲，总是会有错误。于是我在代码中添加了 print(os.getcwd()) 来输出当前目录，发现当前目录是：/Users/XXX/MY_project/setDroid/Tool。那么现在我希望我的当前工作目录是：Users/XXX/MY_project/setDroid。我需要做的是更改 working directory。参看一篇CSDN
2021-07-20 16:12:12
1127
1
原创 安卓开发：函数invalidateOptionsMenu的正确使用
安卓开发：函数invalidateOptionsMenu的正确使用函数invalidateOptionsMenu的正确使用示例参考函数invalidateOptionsMenu的正确使用invalidateOptionsMenu() 用于表示Android的菜单内容已更改，应重新绘制菜单。 例如，您单击一个按钮会在运行时添加另一个菜单项，或隐藏菜单项组。 在这种情况下，应该调用invalidateOptionsMenu()，以便系统可以在 UI 上重新绘制它。 此方法是操作系统调用 onPrepareO
2021-07-19 18:21:11
1338
3
原创 对命令行和环境变量的理解
这里写自定义目录标题新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Markdown编辑器, 可以仔细阅读这篇文章，了解一下Markd
2021-07-18 19:44:11
249
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人