我最近对DBC方法感兴趣.由于
Java是我的“原生”语言,我看过
cofoja以及最近的
java-on-contracts.我主要创建Android软件,所以我自然希望能够在手机上使用合同.
这两个项目都需要使用类似的东西
java -javaagent:path/to/cofoja-<version>.jar <someclass>
作为JVM参数.是否可以使用此JVM参数在手机上启动apk？ dalvik甚至支持这种参数吗？
我怎么能传递这个参数来启动一个应用程序？我不知道如何开始.也许通过蚂蚁脚本？
最佳答案 在android上最接近javaagent的是仪器：
http://developer.android.com/reference/android/app/Instrumentation.html
但我怀疑cofoja会支持这个开箱即用.我认为可以实现这一点,但不确定这样的项目是否已经开始
这里的项目大致是你想要的方向：
