Specifying Life Cycle Requirements in a Natural-like Language and ptLTL

Application life cycles - the states and state transitions of an application during runtime - are key for the quality of a mobile application. Test cases for requirements related to application life cycles are currently written on code level. This work outlines two approaches to specify life cycle test cases in a natural-like language and Past Time Linear Temporal Logic (ptLTL). It also presents the advantages and limitations of using these two approaches. While the natural-like language approach works quite well in this area, the ptLTL approach requires a more sophisticated handling of test cases, as their size rises significantly.