Théorie et méthode de Tests des états logiques (TEL), preuve par les tests de logiciels ayant un comportement vectoriel

Programme, logiciel et cycle de vie -- Vérification, validation et tests -- Vérification des différentes phases du cycle de vie -- Transformation de l'énoncé du projet -- Erreurs -- Méthodes de vérification -- Tests -- Théorie des tests -- Tests en pratique -- Trois caractéristiques des programmes -- Théorie et méthode de "tests des états logiques " ou TEL

Introducing knowledge concepts in software process modeling

ABSTRACT: Software process is knowledge intensive. Nevertheless, knowledge concepts are rarely taken into account in software process modeling. This paper presents a new software process modeling approach, which takes into account the various conceptual knowledge required to perform a task. The approach is based on the Software & Systems Process Engineering Metamodel (SPEM 2.0). It essentially adds knowledge attributes to existing relationships between roles, tasks and artifacts. Comparison between attributes for a given task provides information on the knowledge-gap between the SPEM elements involved. This information could be used in knowledge oriented project management to evaluate the risk associated to the knowledge gaps. A software tool has been implemented to facilitate the recording of various knowledge concepts while modeling the software process. Example of this approach is presented

Modélisation et simulation de processus de biologie moléculaire basée sur les réseaux de Pétri : une revue de littérature

Les réseaux de Pétri sont une technique de simulation à événements discrets développée pour la représentation de systèmes et plus particulièrement de leurs propriétés de concurrence et de synchronisation. Différentes extensions à la théorie initiale de cette méthode ont été utilisées pour la modélisation de processus de biologie moléculaire et de réseaux métaboliques. Il s’agit des extensions stochastiques, colorées, hybrides et fonctionnelles. Ce document fait une première revue des différentes approches qui ont été employées et des systèmes biologiques qui ont été modélisés grâce à celles-ci. De plus, le contexte d’application et les objectif s de modélisation de chacune sont discutés

Mesure et analyse des activités collaboratives AD HOC retrouvées au cours d'un processus de génie logiciel

Les processus de génie logiciel sont de nos jours de plus en plus objets de préoccupations dans plusieurs organisations qui développent du logiciel. Le but du processus étant d’accroître la prédictibilité des échéanciers, des coûts ainsi que de la qualité du logiciel développé, les entreprises investissent désormais une plus grande quantité d’argent et d’effort afin d’améliorer continuellement leur processus de développement de logiciels. Par ailleurs, beaucoup de chercheurs s’entendent pour dire que la réussite de projets informatiques ne dépend pas seulement de facteurs techniques, mais que certains aspects humains auraient un impact tout aussi significatif, sinon plus. Parmi ces derniers, le travail collaboratif au sein d’une équipe de développement de logiciels a été identifié par plusieurs comme ayant un impact majeur sur les chances de succès d’un projet logiciel permettant à une équipe de partager toute l’information nécessaire en vu de la cristalliser en un logiciel de qualité qui correspondra aux attentes de l’usager tout en respectant les contraintes de temps et d’argent. De plus, même si une organisation possède un processus de génie logiciel formel et bien définit, des recherches empiriques ont démontré l’importance indéniable que revêtent les activités collaboratives ad hoc au cours du développement d’un logiciel, importance qui se fait également gravement ressentir dans un contexte de développement distribué. Toutefois, ces dernières recherches ont omis de décrire la teneur de ces activités collaboratives informelles et spontanées laissant de ce fait un vaste champ de recherche en génie logiciel toujours inexploré. Ce document présente une recherche empirique, entreprise pour l’obtention d’une maîtrise en génie informatique, qui a présentement cours dans le cadre d’une étude de cas en profondeur dans l’industrie et qui explore l’aspect du travail collaboratif en génie logiciel, plus spécifiquement les activités collaboratives ad hoc retrouvées lors d’un processus de développement de logiciels. Cette recherche visera donc dans un premier temps à modéliser et caractériser les activi tés collaboratives ad hoc retrouvées au cours d’un processus de génie logiciel pour en connaître l’importance, le contenu, de même qu’en distinguer les activités cognitives sous-jacentes impliquées. Cela constituera dans un deuxième temps de préambule afin de proposer des améliorations au processus observé dans le cadre de cette étude. Pour ce faire, la stratégie de recherche proposée dans ce document s’appuie sur une collecte de données provenant de diverses sources d’information disponibles rendant ainsi possible une triangulation de celles-ci pour en augmenter la validité. Finalement, une seconde phase à cette recherche pourrait être menée afin de confirmer les hypothèses issues des théories induites des données empiriques recueillies ou encore, afin d’implanter au sein d’une équipe pilote de nouvelles pratiques au processus observé et visant à y accroître l’efficacité sur le plan du travail collaboratif. Une seconde mesure pourrait enfin avoir lieu afin de ressentir l’impact des nouvelles pratiques et si les résultats s’avèrent fructueux, elles pourraient par la suite être appliquées à plus grande échelle. Plus de détails sur nos motivations seront trouvés dans ce document suivis d’une discussion sur la méthodologie de recherche employée, incluant nos méthodes de collecte de données et plaçant également une certaine emphase sur les techniques d’analyse utilisées pour déchiffrer l’importante quantité de données amassées. Finalement, quelques résultats d’une analyse préliminaire seront révélés, résultats qui confirment tant la pertinence des données que l’importance du phénomène observé

DSL4SPM: Domain-specific language for software process modeling

This paper presents a novel formal approach to software process modeling based on the Software Process Engineering Metamodel (SPEM) for the syntactic aspect of a process model and a domain-specific language (DSL) for the semantic aspect of the model. This approach provides a conceptual framework for designing processes in a more abstract way and to enable process implementation on various platforms. A Process-Centered Software Environment (PCSE) called DSL4SPM (Domain-Specific Language for Software Process Modeling) is a plug-in tool which satisfies the meta-requirements for Process Modeling Languages (PMLs). The key concept of the DSL4SPM is the use of a toolbox, containing SPEM elements, to instantiate objects in a graphical scene. The process model designer links these elements with relations, and defines the values of the attributes required for both these and the objects, with the aim of arriving at a consolidated view of the problem. An overview of the advantages of the approach is presented. With it, the process manager is able to quickly and easily model a process from innovative perspectives, with the aim of better understanding the risks associated with software development

A knowledge-based perspective for software process modeling

As the acquisition and sharing of knowledge form the backbone of the software development process, it is important to identify knowledge discrepancies between the process elements. Explicit representation of the knowledge components within a software process model can provide a means to expose these discrepancies. This paper presents an extension of the Software and System Process Engineering Metamodel (SPEM), to be used as a new knowledge modeling layer. The approach, which is based on ontologies for knowledge representation, constitutes an explicit method for representing knowledge within process models. A concept matching indicator shows the state of the process model in terms of the concept gaps for each task within the process. This indicator could lead to more informed decision making and better management of the associated risks, in terms of team competency, documentation quality, and the training required to mitigate them