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 <[email protected]> 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 [email protected] 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.
