geoffrey00的博客

编译器测试经典论文paper reading

JaCoCo 用户提出的问题的汇总X 功能什么时候发布？JaCoCo 由志愿者在空闲时间维护。由于我们无法保证免费容量，我们不承诺特定的发布日期。通常情况下，您每年都会发布几个版本。在更改日志中，您可以看到在 master 分支中实现的所有功能，并将在下一个版本中可用。同时您可以测试最新版本的主分支（Maven SNAPSHOT）并向我们提供反馈。JaCoCo 有 [Eclipse|Netbeans|Whatever…] 的插件吗？有关当前与各种工具的集成，请参阅此列表。JaCoCo 支持哪些

https://www.youtube.com/watch?v=RmiDYk82YHc一、Uiautomator2 模块的安装和环境准备安装过程比较简单，python 环境准备好之后，通过 pip 即可安装，执行命令：pip install uiautomator2安装之后，我们在电脑上连接一台要测试的 Android 手机，然后执行python -m uiautomator2 init该命令是用于初始化我们的测试手机，该过程将安装包含 http rpc 服务的 apk 到手机主要有：atx

安卓设置蜕变测试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

问题：我用 weditor 来定位元素的时候，画面出来了，但是没有hierarchy。可能的答案：来自testerhome的文章。3、我 init 之后 atx-serve 上出现设备了，点击手机的画面出不来，点操作也没反应 atx-serve 设备点击 use之后画面的实时展示和可操作都是依赖minicap minitouch 的，应该是这两个没有安装成功造成的。 再重新 init之后试试看，实在不行就手机重启之后，再 init 一下试试看。 以上也是针对真机的，模拟器的话，minicap

Compiler Validation via Equivalence Modulo InputsBackgroundSome definitionsEMI in Practice: OrionEvaluationQuantitative descriptionQualitative examplesCurrent statisticsDiscussion原文链接：https://www.cs.cornell.edu/courses/cs6120/2019fa/blog/equivalence-modul

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) 生成技术对于应用程序测试具有重要价值。 当应用于具有工业复杂性和可扩展性的应用程序时，

Test your Machine Learning Algorithm with Metamorphic Testing前言The oracle problemMetamorphic testing参考文献前言测试机器学习和人工智能算法很困难。 事实上，一般来说，测试科学软件是很困难的，并且已经有一些关于这个更普遍主题的文献。 正如 Carver et al (2017)【1】 的介绍中所说。科学软件的开发与更传统的商业信息系统的开发有很大不同，许多软件工程最佳实践和工具都从中汲取了灵感。 这些差