title: Supporting interactive system testing with interaction sequences

authors: Turner, Jessica Dawn

subjects: interactive systems

abstract: Despite extensive research into the modelling and testing of interactive systems, existing strategies do not adequately cover all parts of an interactive system. These existing strategies model and test either the functional or interactive components of an interactive system separately, however, issues may arise where these components intersect. Therefore, further investigation into the modelling and testing of this intersection is required. 
Interaction sequences are a series of steps a user can take to complete a specific task or to arbitrarily explore an interactive system. In this research interaction sequences are used as an abstraction of the interactive system to inform a model-based testing approach using lightweight formal methods. Interaction sequences provide an abstract view of the point at which the functional and interactive components intersect, and as a result also provide a good starting point for investigation into the modelling and testing of this area. Interaction
sequences are applicable to all types of interactive systems irrespective of the type of interaction, therefore modelling and testing approaches using this abstraction are also applicable to all types of interactive systems.
In this thesis the findings of our investigation into modelling and testing using interaction sequences are presented. We describe formalisation of interaction sequences and modelling of these sequences using Finite State Automata (FSA). We introduce the self-containment property and show how this is used to control the size and state space of FSA. We demonstrate simulating interaction sequences and discuss how these models can be applied within both model checking and testing techniques. Lastly, we present a new approach for generating tests from interaction sequences and their associated models.

text: Supporting interactive system testing with interaction sequences Despite extensive research into the modelling and testing of interactive systems, existing strategies do not adequately cover all parts of an interactive system. These existing strategies model and test either the functional or interactive components of an interactive system separately, however, issues may arise where these components intersect. Therefore, further investigation into the modelling and testing of this intersection is required. 
Interaction sequences are a series of steps a user can take to complete a specific task or to arbitrarily explore an interactive system. In this research interaction sequences are used as an abstraction of the interactive system to inform a model-based testing approach using lightweight formal methods. Interaction sequences provide an abstract view of the point at which the functional and interactive components intersect, and as a result also provide a good starting point for investigation into the modelling and testing of this area. Interaction
sequences are applicable to all types of interactive systems irrespective of the type of interaction, therefore modelling and testing approaches using this abstraction are also applicable to all types of interactive systems.
In this thesis the findings of our investigation into modelling and testing using interaction sequences are presented. We describe formalisation of interaction sequences and modelling of these sequences using Finite State Automata (FSA). We introduce the self-containment property and show how this is used to control the size and state space of FSA. We demonstrate simulating interaction sequences and discuss how these models can be applied within both model checking and testing techniques. Lastly, we present a new approach for generating tests from interaction sequences and their associated models.

year: 2019

title: Has human rights law become lex specialis for the European Court of Human Rights in right to life cases arising from internal armed conflicts?

authors: Chevalier-Watts, Juliet

subjects: lex specialis

abstract: It is generally accepted that although human rights law is applicable in situations of armed conflict, international humanitarian law is lex specialis. However, this may not necessarily be the case with regard to internal armed conflicts, and legal authorities provide contradictory views as to what extent human rights principles are applicable in internal armed conflicts. This article explores the relationship between human rights law and international humanitarian law and considers the jurisprudential approach of the European Court of Human Rights in relation to right to life cases arising out of the internal armed conflicts in Turkey and Chechnya. The paper argues that such case law provides evidence that Strasbourg considers the principles of human rights law as lex specialis in right to life cases arising out of internal armed conflicts.

text: Has human rights law become lex specialis for the European Court of Human Rights in right to life cases arising from internal armed conflicts? It is generally accepted that although human rights law is applicable in situations of armed conflict, international humanitarian law is lex specialis. However, this may not necessarily be the case with regard to internal armed conflicts, and legal authorities provide contradictory views as to what extent human rights principles are applicable in internal armed conflicts. This article explores the relationship between human rights law and international humanitarian law and considers the jurisprudential approach of the European Court of Human Rights in relation to right to life cases arising out of the internal armed conflicts in Turkey and Chechnya. The paper argues that such case law provides evidence that Strasbourg considers the principles of human rights law as lex specialis in right to life cases arising out of internal armed conflicts.

year: 2010

title: Māori provisions in plans: Mana whenua, mauri of water, and wahi tapu

authors: Kennedy, Nathan

subjects: New Zealand

abstract: The intention  of  this  document  is  to  allow  those  using  Ngā  Mahi:  Kaupapa  Māori Outcomes an  Indicators Kete (Jefferies and Kennedy, 2009, PUCM Māori Report 2) to view a range of examples of Māori provisions within statutory planning documents against plans being evaluated. The extracts in this Report 3 on Māori Provisions in Plans relate to the three tikanga in the Ngā Mahi report: Mana Whenua, Mauri (relating to water), and Wähi Tapu. It is intended that as we develop new kete (containing worksheets and user guides) and thereby expand Ngā Mahi, this current report will be revised to include plan provisions relating to additional tikanga.

text: Māori provisions in plans: Mana whenua, mauri of water, and wahi tapu The intention  of  this  document  is  to  allow  those  using  Ngā  Mahi:  Kaupapa  Māori Outcomes an  Indicators Kete (Jefferies and Kennedy, 2009, PUCM Māori Report 2) to view a range of examples of Māori provisions within statutory planning documents against plans being evaluated. The extracts in this Report 3 on Māori Provisions in Plans relate to the three tikanga in the Ngā Mahi report: Mana Whenua, Mauri (relating to water), and Wähi Tapu. It is intended that as we develop new kete (containing worksheets and user guides) and thereby expand Ngā Mahi, this current report will be revised to include plan provisions relating to additional tikanga.

year: 2008-07-31