Discretising and testing timed contextual models Online publication date: Fri, 02-Sep-2016
by Adilson Luiz Bonifacio; Arnaldo Vieira Moura
International Journal of Computer Applications in Technology (IJCAT), Vol. 54, No. 2, 2016
Abstract: Complex systems have been widely investigated using formal techniques for testing and verifying critical aspects of their reactive behaviour. Such behaviours are usually captured by the notion of data flow and by interactions with the environment. Other aspects require models to describe the systems' continuous evolution in time. In this work, we propose a timed contextual formalism able to model the combination of time evolution and contextual transformations. Further, we derive a manageable strategy to discretise such models and prove correctness of the discretised model against the original one. The flexibility to find suitable granularities both for the evolution of time and for the value of the contextual variables opens the possibility for constructing more compact grid automata. Based on this discretising approach we present a testing framework to automatically generate test suites from the resulting automata. The test suites can then be used to verify properties of candidate implementations with the aid of test purposes.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Computer Applications in Technology (IJCAT):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com