使用javaagent和Android

Question

我最近对DBC方法感兴趣。由于Java是我的“本地”语言，因此我查看了cofoja以及最近java-on-contracts。我主要创建Android软件，所以我自然希望能够在手机上使用合同。

两个项目都需要使用类似于

的东西

java -javaagent:path/to/cofoja-<version>.jar <someclass>

作为JVM参数。是否可以使用此JVM参数在手机上启动apk？ dalvik甚至支持这种参数吗？

我怎么能传递这个参数来启动一个应用程序？我不知道如何开始。也许通过蚂蚁脚本？

Answer 1

android上javaagent最接近的是检测：

http://developer.android.com/reference/android/app/Instrumentation.html

但我怀疑cofoja会支持这个开箱即用。我认为可以实现这个但不确定这个项目是否已经开始

这里的项目大致是你想要的方向：

http://code.google.com/p/droidbox/