Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Animation of object-z specifications using a Z animator

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the process is the introduction of a framework to handle dynamic instantiation of objects and management of object references. Particular focus is placed upon building the animation environment through pre-existing tools, and a case study is presented that implements the proposed framework using a shallow encoding in the Possum Z animator. The animation of Object-Z using Z is both automated and made transparent to the user through the use of a software tool named O-zone.

Using Problems to Introduce some Tools and Technologies for Implementation of Graphics and Animation in C#

This paper is devoted to the learning of event programming by using Visual C# in specialized training in Informatics in high schools. Some basic tools and technologies for the implementation of graphics and animation in C# are discussed. Two example problems are proposed.

Reframing Chinese animation: from classicism to postmodernism in post-1949 non-commercial Chinese animated films

This thesis focuses on Chinese non-commercial animated films produced from 1949 to date, with the aim of remapping and reframing Chinese animation in the light of existing theories, critiques, and frameworks drawn from studies in animation, film, and screen media. I suggest that Chinese animation has experienced three aesthetic transformations since 1949, primarily influenced by traditional Chinese culture, by Western modernist art and literature and, most recently, by postmodernism, respectively. Thus, the research traces and thoroughly investigates these three distinctive phases of Chinese animation in chronological order, from the classical period (1950s– 1980s) to modernism (1980s–2000s) and postmodernism (after 2000s). More in detail, I first rethink and re-evaluate the success of classical Chinese animation and the Chinese school of animation and, at the same time, I explore the influence of the political situation of the time on Chinese animation. Through careful analysis of A Da (1934–87) and other Chinese animators’ practices and theory, then, I argue that a remarkable modernist transformation took place in Chinese animation between the 1980s and 2000s, mainly driven by Western modernism and the Chinese “cultural fever” movement. Finally, through a discussion of the latest non-commercial animations produced after 2005, and especially those of Bu Hua (1973– ), for the first time I classify and theorize contemporary Chinese animations within a postmodern framework. By reframing existing views and broadening the scope of the analysis to encompass new areas and frameworks, this thesis aims to provide the reader with a comprehensive and systematic understanding of post-1949 Chinese animation and to offer an original contribute to scholarship, also working as a starting point for further research in this area.

Supporting the Model-Driven Development of Real-time Embedded Systems with Run-Time Monitoring and Animation via Highly Customizable Code Generation

This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which run-time execution information can be observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.

& she was like "O_O" : Animation of reported speech on Twitter

This study relates discourse-pragmatic aspects of the use of the quotatives say, be like, be all, and go to the question of the supposed or actual spoken-likeness of written computer-mediated communication (CMC). 1,800 tokens of reported speech, collected from Twitter, were analyzed in a “constructed dialogue” framework (Tannen, 2007). The results show that users of Twitter employ various CMC devices to animate and modally enrich reported speech, especially in speech reports with be like, be all, and go. They perform a style of communication that is reminiscent of conversational speech, even while having qualities that seem to belong uniquely to CMC.

Conception et application d'une grille d'analyse visant à évaluer le style d'animation

Cet essai a pour objectif de découvrir le style d'animation effectué par des animateurs de groupes de parents d'adolescents. De plus, nous voulons observer ce qui peut différer et être semblable d'un animateur à l'autre. Par le fait même, il nous sera possible de vérifier quel est l'impact du style d'animation sur les participants d'un groupe. Afin d'atteindre cet objectif, nous avons enregistré sur bandes vidéoscopiques chacune des six séances de trois groupes. Pour évaluer et comparer les animateurs, nous avons élaboré une grille d'analyse permettant de coder chacune des interventions de ceux-ci. L'élaboration d'une telle grille a bien sûr exigé une revue littéraire autant sur le phénomène de la dynamique de groupe que sur les grilles d'analyse déjà existantes utilisées dans ce domaine. Il est également nécessaire de suivre une méthodologie rigoureuse afin de s'assurer de la validité de la grille. L'application de cette grille devrait nous permettre d'obtenir un portrait du style de chacun des animateurs et de leurs interactions avec les participants ainsi que sur la dynamique de groupe. Finalement, après avoir appliqué cette grille et recueilli les données utiles aux fins de cette étude, nous évaluerons la dite grille et ferons les recommandations appropriées afin de permettre à d'autres intervenants de l'utiliser au besoin.

Étude descriptive des impacts des facteurs de coopération sur une pratique professionnelle de type coopératif en animation de stages

L'approche coopérative ayant été définie comme celle favorisant la concertation des partenaires dans la poursuite de cibles communes, la reconnaissance mutuelle du champ de compétence par rapport aux objectifs poursuivis ainsi qu'un équilibre du pouvoir, chacun exerçant une influence sur son partenaire, selon son champ de compétence, nous sommes appelé à nous poser plusieurs questions auxquelles il serait utile de répondre au cours de cette recherche. 1. Quels sont les différents modèles en relation d'aide qui ont marqué et influencé les différents intervenants en relation d'aide, plus particulièrement les animateurs et les animatrices de stages au B.E.P.P.? 2. Quelles sont les caractéristiques et les particularités du modèle de relation d'aide coopérative ainsi que les facteurs de coopération qui y sont rattachés? 3. Quelles sont les principales composantes de la pratique professionnelle en animation de stages et en quoi privilégient-elles dans leur fonctionnement les valeurs rattachées à la coopération? 4. La présence des facteurs de coopération dans la pratique professionnelle de l'animateur et de l'animatrice de stages engendre-t-elle un niveau de satisfaction élevé chez les stagiaires vivant une relation coopérative avec leur animateur ou animatrice de stages? 5. Subséquemment, ces dits facteurs de coopération introduits dans la pratique professionnelle de l'animateur et de l'animatrice de stages favorisent-ils l'atteinte des objectifs de formation du stagiaire? 6. Quels sont les facteurs de coopération les plus perceptibles et les plus définis dans une pratique professionnelle de type coopératif en animation de stages et pouvant engendrer la satisfaction des stagiaires et faciliter l'atteinte de leurs objectifs de formation?

Le développement de compétences réflexives chez des étudiantes en techniques d'éducation en services de garde à travers une démarche de micro-animation

Des précisions méritent d’être apportées au début de ce rapport pour éclairer certains choix que nous avons faits dans notre démarche de rédaction ainsi que le contexte dans lequel se sont effectués nos travaux. D’abord, nous avons pris deux décisions en ce qui concerne la féminisation du texte. Premièrement, nous avons opté pour l’utilisation des termes génériques dans la définition du cadre conceptuel. Par ailleurs, nous avons utilisé le féminin pour parler des enseignantes et des sujets impliqués dans la recherche pour représenter fidèlement la réalité. Nous avons par la suite décidé d’utiliser le féminin dans toutes les autres parties du rapport. D’autre part, tous les prénoms des sujets et des enfants impliqués dans la recherche ont été remplacés par des pseudonymes pour conserver leur anonymat. Nous avons aussi choisi de présenter les extraits issus de nos données de recherche tels quels, pour qu’ils soient le plus fidèles possibles. Par contre, nous nous sommes permis de corriger les erreurs d’orthographe par respect pour la langue française. De plus, pour éviter d’alourdir la lecture du cinquième chapitre, nous mentionnons les références des extraits qui appuient nos affirmations sans en rapporter le texte. De même, il nous est arrivé de faire ce choix à quelques reprises dans le sixième chapitre, lorsque les extraits nous paraissaient trop longs ou que la reproduction fidèle des verbalisations aurait rendu la lecture fastidieuse. La rédaction du rapport est le fruit d’un travail d’équipe soutenu. Par contre, pour des raisons d’efficacité, nous avons partagé l’analyse des données. De ce fait, certaines parties du rapport, notamment dans les chapitres cinq et six ont été rédigées individuellement. Aussi, des styles d’écriture différents peuvent être observés dans ces deux chapitres car nous avons tenu à les respecter. Par contre, chacune des chercheures a soumis ses textes à l’équipe qui les a critiqués et bonifiés. Finalement, il faut mentionner que le présent document est issu d’une double démarche : celle d’une équipe de travail subventionnée dans le cadre du Programme d’aide à la recherche sur l’enseignement et l’apprentissage du Ministère de l’éducation du Québec, et celle d’étudiantes dans le Programme de maîtrise en sciences de l’éducation donné par l’Université de Sherbrooke. Ainsi nous avons pu bénéficier de plus d’un support : support financier, support institutionnel et support méthodologique. À notre avis, la recette est bonne.