search

tingsu / Stoat

Stoat (STochastic model App Tester) - an automatic testing tool for android apps
https://tingsu.github.io/files/fse17-stoat.pdf
143 stars 37 forks source link

Cannot generate coverage. ec #5

Closed wujia1010 closed 5 years ago

wujia1010 commented 5 years ago

When I run the tool, it can't generate coverage.ec files on the emulator. Remind “remote object '/mnt/sdcard/coverage.ec' does not exist”. What is the reason?

wujia1010 commented 5 years ago

my environment is Android 4.4, running on Ubuntu 14.04. command line is: ruby /home/xx/Stoat-master/Stoat/bin/run_stoat_testing.rb --app_dir /home/xx/test-project/MultiSmsSender-master --avd_name testAVD_stoat --avd_port 5554 --stoat_port 2000 --project_type ant --model_time 2h --mcmc_time 1h

tingsu commented 5 years ago

Is your problem resolved?

tingsu commented 5 years ago

Since there are no replies, I closed this issue. If the problem appears again, please re-open this issue.