[android-beginners] Re: Need suggestions about testing Android applications using JPF
Bump! Has anyone got ideas on this? Verifying android applications using Java path finder features as one of the topics of Google Summer of Code 2010 (though I am exploring a narrower version of this as a course project). So I am sure this is a problem worth a look! On Apr 8, 11:35 pm, Amruta amruta.gokh...@gmail.com wrote: Hello, I would be grateful if I get any suggestions about the feasibility of a project that I am trying. 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 have doubts about 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. 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? If the only way to run an android application in a tool like JPF would be, by first running emulator in JPF, this is totally different from what I am trying to achieve. Running an emulator in JPF would mean, verifying whether the emulator code is producing any errors. But what I am trying to achieve is much simpler : testing a single android application to detect any errors. I hope there is some way out here! Thank you for your inputs. Amruta -- You received this message because you are subscribed to the Google Groups Android Beginners group. NEW! Try asking and tagging your question on Stack Overflow at http://stackoverflow.com/questions/tagged/android To unsubscribe from this group, send email to android-beginners+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/android-beginners?hl=en To unsubscribe, reply using remove me as the subject.
[android-beginners] Re: Need suggestions about testing Android applications using JPF
In my attempt to make the sample ContactManager android application work under JPF, I did the following: I wrote a main method with this code: public static void main(String[] args) { ContactManager cm = new ContactManager(); Intent i = new Intent(); i.setComponent(new ComponentName(ContactManager,com.example.android.contactmanager)); cm.startActivity(i); } And then I tried to execute this class under JPF. But I got this error: java.lang.RuntimeException: Stub! at android.content.Context.init(Context.java:4) at android.content.ContextWrapper.init(ContextWrapper.java:5) at android.view.ContextThemeWrapper.init(ContextThemeWrapper.java: 5) at android.app.Activity.init(Activity.java:6) at com.example.android.contactmanager.ContactManager.init and tracing this error, it is caused at the execution of the very first statement: ContactManager cm = new ContactManager(); Searching on the group led me to the following thread: http://groups.google.com/group/android-developers/browse_thread/thread/a680b65f287e1b8c/caecec75f1b384f3?lnk=gstq=+Stub!+%09# The discussion here essentially says that the only way to test code that uses Android API is on a device or emulator. So am I hitting a dead end here, by trying to explore a way to test android application (that certainly uses Android classes) under JPF, without running the emulator in the JPF? I would be happy if experienced folks can confirm whether it is impossible to test android applications in another tool, without running the emulator in that tool. On Apr 11, 7:26 am, Amruta Gokhale amruta.gokh...@gmail.com wrote: Bump! Has anyone got ideas on this? Verifying android applications using Java path finder features as one of the topics of Google Summer of Code 2010 (though I am exploring a narrower version of this as a course project). So I am sure this is a problem worth a look! On Apr 8, 11:35 pm, Amruta amruta.gokh...@gmail.com wrote: Hello, I would be grateful if I get any suggestions about the feasibility of a project that I am trying. 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 have doubts about 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. 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? If the only way to run an android application in a tool like JPF would be, by first running emulator in JPF, this is totally different from what I am trying to achieve. Running an emulator in JPF would mean, verifying whether the emulator code is producing any errors. But what I am trying to achieve is much simpler : testing a single android application to detect any errors. I hope there is some way out here! Thank you for your inputs. Amruta -- You received this message because you are subscribed to the Google Groups Android Beginners group. NEW! Try asking and tagging your question on Stack Overflow at http://stackoverflow.com/questions/tagged/android To unsubscribe from this group, send email to android-beginners+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/android-beginners?hl=en To unsubscribe, reply using remove me as the subject.
[android-beginners] Need suggestions about testing Android applications using JPF
Hello, I would be grateful if I get any suggestions about the feasibility of a project that I am trying. 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 have doubts about 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. 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? If the only way to run an android application in a tool like JPF would be, by first running emulator in JPF, this is totally different from what I am trying to achieve. Running an emulator in JPF would mean, verifying whether the emulator code is producing any errors. But what I am trying to achieve is much simpler : testing a single android application to detect any errors. I hope there is some way out here! Thank you for your inputs. Amruta -- You received this message because you are subscribed to the Google Groups Android Beginners group. NEW! Try asking and tagging your question on Stack Overflow at http://stackoverflow.com/questions/tagged/android To unsubscribe from this group, send email to android-beginners+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/android-beginners?hl=en