Please use this identifier to cite or link to this item:
https://dair.nps.edu/handle/123456789/2572
Title: | Computer-aided Process and Tools for Mobile Software Acquisition |
Authors: | Man-Tak Shing Thomas W. Otani Christopher Bonine |
Keywords: | Mobile Apps Formal Specification Statechart Assertion Requirements Validation Logfile-Based Runtime Verification |
Issue Date: | 30-Jul-2013 |
Publisher: | Acquisition Research Program |
Citation: | Published--Unlimited Distribution |
Series/Report no.: | Mobile Software Acquisition NPS-AM-13-084 |
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 point 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 testing of source code is not effective for vetting mobile apps. This paper presents a new approach for vetting mobile software. It allows subject-matter experts to specify desirable and undesirable behaviors of the mobile apps as executable statecharts and 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. |
Description: | Acquisition Management / NPS Faculty Research |
URI: | https://dair.nps.edu/handle/123456789/2572 |
Appears in Collections: | Sponsored Acquisition Research & Technical Reports |
Files in This Item:
File | Size | Format | |
---|---|---|---|
NPS-AM-13-084.pdf | 965.25 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.