Specification Based Testing of on Android Systems
| Autor: | Wichien Choosilp, Yujian Fu |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
security properties
Computer science Specification based testing 0202 electrical engineering electronic engineering information engineering Operating system 020206 networking & telecommunications 020207 software engineering 02 engineering and technology Android (operating system) computer.software_genre malware analysis computer Software testing |
| Popis: | With the surging of mobile applications, mobile security draws more and more attentions from researchers in various areas. Due to the lack of quality assurance approaches in mobile computing, many mobile applications suffer the vulnerabilities and security flaws. In this paper, we proposed a model based unit testing approach on the android security properties using JUnit. Both behavior and structure model of the android application were developed on the Unified Modeling Language (UML) – behavior is described in state diagram, while structure is described in class diagram. Our approach focus on two common security groups – the access control and authentication properties. Both groups are represented in the operations defined in the class diagrams and dynamic behaviors are captured (partially) in the state diagram. A set of well defined test cases is developed to validate the desired properties based on the class diagram. All properties on the class diagram and state diagram are described in Object Constraint Language (OCL) – a formal specification language on the first order logic and set theory.The results of this research will provide a sound foundation towards the specification based unit testing on mobile security. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|