Computer-Aided Process and Tools for Mobile Software Acquisition
Abstract
Mobile devices have, in many ways, replaced traditional desktops in usability, usefulness, and availability. Many companies are scrambling to develop enterprise strategies to provide mobile devices and application support for their employees, and the Department of Defense (DoD) is taking the lead in the Federal Government's campaign to deploy mobile devices. A successful DoD mobile software acquisition program requires efficient and effective means to ensure the proper functioning of the applications. As the majority of future mobile apps will be developed by small companies, or crowdsourcing individuals, and have relatively short development cycles, the traditional software verification process that relies on the testing of source code is not effective for vetting mobile apps. This paper presents a new approach to vetting mobile software. It allows subject-matter experts to specify desirable and undesirable behaviors of the mobile apps as executable statecharts, and then verify the target software by running the automatically generated statechart code against the execution trace of the mobile apps using logfile-based runtime verification. A case study of formally specifying, validating, and verifying a set of requirements for an iPhone application that tracks the movement of the iPhone user is used to demonstrate the new approach.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 30, 2013
- Accession Number
- ADA591731
Entities
People
- Christopher Bonine
- Mantak Shing
- Thomas W. Otani
Organizations
- Naval Postgraduate School