Hello, If one wants to model check or verify an android application, then how to invoke the application under the model checker tool?
I am trying to test a sample android application using another tool, namely, Java Path Finder(JPF), which is a open source model checker for verifying programs and detecting errors in the program. (http:// babelfish.arc.nasa.gov/trac/jpf). What JPF does is that it explores all the "interesting" paths of execution of a program, and checks whether taking any of those paths would produce an error. To be able to test a program in JPF, the program must be stand-alone program having a "main" method. Since I cannot run an android application as a stand-alone program, I need to have another program that calls the application. I am not sure how this can be done. I read that one can invoke an android application by calling startActivity() on the right intent, but this is possible only for applications that interact with other applications. (Also, startActivity can't be called from the static context of a "main" method.) Is there any way to call any application (even those that do not interact with other applications) from a stand-alone java program? Or in other words, is it possible to start running an application other than on an emulator? The only way, I know of, to run an application is via the emulator. So the only way to verify an application would be first running the emulator in the model checker. But this complicates the verification, since the model checker would first verify the emulator code. However, the real goal is much simpler - verify a single android application. I hope there is a simpler way to do this. I am new to Android, and would really appreciate any suggestions offered. Thank you, Amruta PS: I had posted this query on Android Beginners group, but due to lack of any response, I am re-posting here. -- You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en To unsubscribe, reply using "remove me" as the subject.
