vendredi 26 août 2011

5th International Workshop on Verification and Evaluation of Computer and Communication Systems

5th International Workshop on Verification and Evaluation of
Computer and Communication Systems
Tunis Science City
September 15-16, 2011
http://vecos-world.org
VECoS 2011 Program

Thursday September 15th
8:30 Opening session
9:00 Invited talk by Erol Gelenbe
Power Aware ICT and Network Management”
10:00 Coffee break
10:30 Stochastic modelling and analysis
Proposition and evaluation of a novel routing protocol for wireless sensor networks
Samira Yessad, Louiza Bouallouche and Djamil Aissani
A tool to model traffic aggregation in networks of reconfigurable optical add/drop
multiplexers
Jean-Michel Fourneau and Nora Izri
Mx/G/1 retrial queue with impatient batches under low and high intensities of retrials
Nawel Arrar Remita, Natalia Djellab and Jean-Bernard Baillon
Strong and weak orderings for an accurate resource dimensioning
Hind Castel-Taleb and Nihal Pekergin
12:30 Lunch
14:30 Invited talk by Jean Jacques Lesage
Tailor-made vs. formal languages: how to reconcile effectiveness and rigour of modeling for
automation engineering? “
15:30 Coffee break
16:00 Control synthesis and optimization
Modeling complex systems with VeriJ
Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon and Yann Thierry-Mieg
Scheduling and Control Modeling of HVLV Systems Using Max-Plus Algebra
Imed Nasri, Reda Boukezzoula and Georges Habchi
A Mathematical Model for Cyclic Scheduling With Limited Work-In-Process and Cycle Time
Minimization
Mohamed Amin Ben Amar, Hervé Camus and Ouajdi Korbaa
An Iterative Approach for the Satisfaction of Security Using the Intransitive Non-Interference
Property
Achraf Ben Said, Nejib Ben Hadj-Alouane, Moez Yeddes and Feng Lin
20:00 Workshop dinner


Friday, September 16th
9:00 Invited talk by Daniel Kroening
Proving Program Termination
10:00 Coffee break
10:30 Verification
LTL Translation Improvements in Spot
Alexandre Duret-Lutz
Invariant Relations: An Automated Tool to Analyze Loops
Asma Louhichi, Olfa Mraihi, Wided Ghardallou, Lamia Labed, Khaled Bsaies and Ali Mili
Formal Modelling and Verification of JXTA peer-to-peer network protocols
Yannick Kala Konga, Karim Djouani and Guillaume Noel
Building Systemc waiting state automata
Nesrine Harrath, Bruno Monsuez and Joelle Delacroix
12h30 Lunch
14:30 Formal Specification
Using Sequence Diagrams to Specify and to Generate RTL Assertions
Martin Schweikert, Tobias Dornes and Eveking Hans
On Formalizing UML2 Activities Using TPNets: Case Studies
Sabine Boufenara, Kamel Barkaoui, Faiza Belala and Hanifa Boucheneb
Safety Implementation of Adaptive Tunis Science City (Embedded Control Components
Atef Gharbi, Mohamed Khalgui, Antonio Valentini and Samir Ben Ahmed
Toward a rewriting logic framework for safe and distributed component installation
Meriem Belguidoum, Faiza Belala and Fateh Latreche
16:30 Coffee break
17:00 Closing session


Tunis Science City (CST)

mercredi 24 août 2011

[TRA Testing Homologation] Squash TM (Test Management) sortir fin septembre 2011 en JEE


Le projet SQUASH, originale dans son approche : assembler un « ERP » pour le métier de la qualité logicielle (Testing, dit Homologation à OXIA) .

Il s’agit d’un projet open source dont l'objet est la structuration et l’industrialisation des tests fonctionnels et plus largement logicielle.

L’équipe Squash TM (Test Management) pensait partir de testlink (PHP), mais les travaux finalement elle a choisit repartir dans un nouveau développement JEE

Les framework utilisé sont issus de l’état de l’art en développement Java, en 2011, OSGi, Spring 3, Spring MVC, Hibernate, JasperReport, Jquery.

Un projet à suivre http://www.squashtest.org



jeudi 4 août 2011

Comment poser des questions pour obtenir des réponses?

De la bonne manière de poser les questions, afin d'obtenir des réponses

Vous vous attaquer à un nouveau sujet technique ou bien vous voulez savoir comment installer la nouvelle version d'Android sur votre ancien Smartphone, ou bien quelles sont les prérogatives de l'assemblée constituante du 23 octobre 2011 et son mode d'organisation, c'est exactement la même chose :

Sachez qu'avant de poser une question que ce soit par email, dans les groupes de discussion, ou, par la page « Contactez-nous » du site web d'un revendeur électroménager, ou dans les forums de discussion d'un site web, … Le type de réponses que vous recevez à vos questions dépend autant de la manière dont vous formulez la question que de la difficulté à argumenter la réponse.

Ce Poste, résumé d'un article du site gnurou.org va vous aider à poser des questions de telle sorte que vous ayez plus de chances d'obtenir une réponse satisfaisante. Il traite du sujet en générale, bien qu'il donne des exemples issus du monde de l'ingénieure logicielle.

La première chose à comprendre, que la personne (ou les personnes) à qui vous posez la question n'est pas forcément un pédagogue, et qu'à force de revecvoi des questions simple ( ou même débiles selon lui) il reset en attente et les bonnes questions qui font travailler les méninges ou d'un problème compliqué. Si vous nous posez une question intéressante il vous en sera reconnaissant ; les bonnes questions sont un stimulant et une aubaine. Les bonnes questions l'aide à développer sa propre compréhension, et révèlent souvent des problèmes auquel il n'a pas fait attention et auxquels il aurait pu penser autrement. Dans le domaine du logiciel, la « Bonne question ! » est un compliment fort et sincère.

Mais il va falloir poser question de la bonne manière.

La meilleure manière d'obtenir une réponse rapide et enthousiaste est de poser votre question comme une personne habile, confiante, ayant déjà investigué en suivant les sentiers battues, ayant des indices sur son problème et qui a juste besoin d'un coup de pouce sur un point particulier.

Il est nécessaire d'afficher une attitude susceptible d'attire l'attention du vis-à-vis : être attentif, réfléchi, observateur, consentant à être un partenaire actif au développement de la solution.

Avant de demander

Avant de demander Essayez de trouver une réponse:

· par inspection et expérimentation, même des sujets différents

· en lisant le manuel d'utilisation, ou bien la documentation technique ou fonctionnelle

· en cherchant sur le Web,

· en lisant la FAQ sur le site en question,

· en demandant à un de vos collègues ou amis qui s'y connaissent,

et Si vous êtes programmeur, essayez de trouver une réponse en lisant le code source.

Préparez votre question. Pensez-y bien. Les questions précipitées reçoivent des réponses précipitées, voire rien du tout. Plus vous montrez que vous avez fait des efforts pour résoudre votre problème avant de demander de l'aide, plus vous avez de chances d'être aidé.

Faites attention à ne pas poser la mauvaise question. Si vous en posez une basée sur des assertions erronées vous aurez sûrement une réponse qui vous prendra au mot tout en pensant « Quelle question stupide... », et peu être celui qui va répondre vous donner une leçon en vous donnant non pas ce dont vous aviez besoin, mais ce que vous aviez demandé.

Quand vous posez votre question

La première étape est par conséquent de trouver le bon endroit

1. Choisissez avec soin l'endroit où vous poserez votre question. Vous avez toutes les chances d'être ignoré, si vous :

  • posez votre question dans un endroit (exemple forum) où elle est hors-sujet,
  • posez une question élémentaire dans un endroit où des questions avancées sont attendues, et vice-versa,
  • posez la même question à plein d'endroits différents,
  • envoyez un email privé à une personne qui n'est ni une de vos connaissances ni responsable de la résolution de votre problème.

2. Utilisez des sujets explicites et adaptés

Écrire une description du type "objet - déviation" vous aidera à mieux organiser votre pensée à propos du problème.

Des questions « AIDEZ MOI ! La vidéo ne marche pas sur mon portable ! » ne permettra pas de vous aider

Formuler de type, « après avoir installé XYZ v1.23, le curseur de souris se bloque sur X.org 4.1 avec chipset vidéo Fooware MV1005 »

3. Soyez précis et explicite sur votre problème

  • Décrivez les symptômes du problème ou bug consciencieusement et clairement.
  • Décrivez l'environnement sur lequel le problème apparaît (appareil, machine, OS, application, etc.).
  • Décrivez les recherches que vous avez effectuées pour comprendre le problème.
  • Décrivez les étapes de votre diagnostic et vos tentatives de résoudre le problème.
  • Décrivez tout changement récent dans votre configuration logicielle qui pourrait être en rapport.

4. Ecrivez dans un langage clair, faites attention aux fautes de grammaire et d'orthographe

Nous savons par expérience que les gens qui ne font pas attention à la forme de leur écrit ne font en général pas non plus attention à ce qu'ils disent et pensent (du moins, nous l'avons vu assez souvent pour le croire). Répondre aux questions de ceux qui ne font pas attention à ce qu'ils disent n'est pas vraiment valorisant.

C'est pourquoi exprimer clairement votre question est important. Si vous ne prenez pas la peine de faire cela, personne ne prendra la peine d'y faire attention. Cela ne veut pas dire tomber dans le 100% formelle.

Orthographiez correctement, utilisez correctement ponctuation et majuscules.

5. Ne prétendez pas avoir trouvé un bug

Quand vous avez des problèmes avec un logiciel, ne prétendez pas avoir trouvé un bug à moins d'être très, très sûr de vous. Les personnes qui ont écrit le logiciel travaillent très dur pour le faire fonctionner aussi bien que possible. Si vous affirmez avoir trouvé un bug, vous mettez en cause leur compétence, ce qui pourrait offenser certains d'entre eux, même si vous avez raison. Il n'est particulièrement pas diplomate de mettre "bug" dans le sujet du message.

Quand vous posez votre question, le mieux est d'écrire comme si vous supposiez que vous avez fait quelque chose d'incorrect, même si vous êtes secrètement sûr d'avoir trouvé un bug. S'il s'agit vraiment d'un bug, vous le saurez avec la réponse. Jouez-la de telle sorte que les mainteneurs aient envie de s'excuser si le bug est réel, plutôt que ce soit vous qui deviez vous excuser s'il s'avère que vous vous êtes trompé.

6. Soyez explicite à propos de votre question

Les questions trop générales sont perçues comme une perte de temps. Les personnes les plus à même de vous répondre correctement sont également les plus occupées (entre autres parce qu'elles prennent la plus grosse part du travail). Ces personnes sont allergiques aux pertes de temps, et donc aux questions trop générales.

7. Pensez à la psychologie de celui qui est supposé répondre

Pourquoi il va répondre ? Quelle est sa motivation ? Est-il forcément là pour vous aider … as t il un autre agenda

Comment interpréter les réponses

1. Réagissez à la solution par une petite note

Envoyez une note une fois que le problème est résolu à tous ceux qui vous ont aidé ; faites-leur savoir comment le problème a été résolu et remerciez-les encore pour leur aide. Si le problème a généré de l'intérêt dans la liste de diffusion ou le newsgroup, il est approprié d'envoyer une telle note.

RTFM et STFW, ou comment expliquer que vous vous êtes planté

Si vous recevez une réponse contenant "RTFM","Read The F… Manual", la personne qui vous a envoyé cela a certainement raison. Faites-le.

RTFM a un petit frère. Si vous recevez une réponse contenant "STFW", la personne qui vous a envoyé cela pense que vous auriez dû "Search The F…. Web"

Il ne faut pas être offensé par cela, la personne vous montre une certaine forme de respect simplement par le fait qu'il ne vous ignore pas.

Si vous ne comprenez pas...

Si vous ne comprenez pas la réponse, n'expédiez pas immédiatement une demande de clarification. Utilisez les mêmes outils que ceux que vous avez utilisés pour chercher une réponse à votre problème initial (manuels, FAQ, le Web, les amis) pour comprendre la réponse. Si vous devez demander une clarification, montrez ce que vous avez appris.


pour plus de détail : consultez le site gnurou.org

ou bien sur le site originale http://www.catb.org/~esr/faqs/smart-questions.html

How To Ask Questions The Smart Way

Architecte SOA & Professionnel Open Source Headline Animator

 
Khaled BEN DRISS
Cloud Computing, SOA et Web 2.0 : Des sujets techniques sur SOA et l'Open Source : de Java & .Net, PHP5, Symfony, à SaaS / PaaS en passant par Azure, google appengine, le BPM, la Modélisation et d'autres sujets du coté du serveur et cloud computing.