Génération de squelettes des contrats de classes et des tests unitaires en Java

Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.

Génération de patrons de conception et restructuration de code vers un patron de conception pour Java

(POO) est l’utilisation de patrons de conception (PC). Un PC est un arrangement caractéristique de classes permettant d’offrir une solution éprouvée, tout en obtenant un code réutilisable et compréhensible. Plusieurs PC sont définis, dont 24 par la GoF [12] et plusieurs autres sont apparus par la suite. Le concept de PC est abstrait ce qui peut amener différentes interprétations. Ces différences peuvent aussi causer une mauvaise implémentation qui peut réduire les avantages d’utiliser ce patron. Ce projet consiste à concevoir un outil facilitant l’utilisation des PC. L’outil Génération et Restructuration de Patrons de Conception(GRPC) permet la génération automatique du squelette d’un patron de conception ainsi que la restructuration d’un code en le transformant structure respectant un PC. La génération et la restructuration automatique permettent d’obtenir un code uniforme et de qualité tout en respectant le patron de conception. La compréhension et la maintenance du code sont ainsi améliorées. GRPC est module d’extension pour l’environnement de développement Eclipse écrit en Java. Le code est conçu pour être facilement compréhensible et extensible. Les deux principaux objectifs de GRPC sont de restructurer (refactoring) une section de code vers l’architecture d’un patron de conception et de générer des squelettes de patrons de conception. Une interface graphique permet de guider l’utilisateur et d’aller chercher toutes les informations importantes pour le fonctionnement du logiciel. Elle permet aussi de configurer les éléments du patron de conception. Pour s’assurer de la possibilité d’effectuer une restructuration, chaque patron est associé avec une ou plusieurs règles qui analysent le code pour détecter la présence d’une structure particulière. Des procédures aident les développeurs à ajouter de nouveaux PC dans GRPC. GRPC fournit des fonctionnalités permettant d’implémenter quelques patrons de conception de la POO définis dans le livre Design Patterns : Elements of Reusable Object-Oriented Software.

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Communications présentées par l'Institut Océanographique de l'Indochine au 4ͤ Congrès Scientifique du Pacifique Java 1929

This note contains three presentations given by Mr A. Krempf, J. Risbec and Nguyèn-Công-Tiêu from the Oceanographic Institute of Indochine, at the 4th Pacific Science Congress, held in Java on May-June 1929.

Java y la programación orientada a objetos

Java es un lengua de programación orientado a objetos desarrollados por Sun Microsystems a principios de la década de los años 90. Java es inspirado en gran parte de C++ y a un nivel menor de Objective C y Smaltalk. Según la Sun Microsystems, Java fue creado inicial mente porque C++ no era adecuado para ciertas tareas. El éxito del lenguaje empieza en 1995, cuando Netscape anuncio que su visualizador, Navigator, trabajaría con programas Java insertados en las páginas Web. La idea era ofrecer a los desarrolladores de páginas HTML, una forma de crear documentos interactivos y animados.

Some aspects of grading Java code submissions in MOOCs

Recently, massive open online courses (MOOCs) have been offering a new online approach in the field of distance learning and online education. A typical MOOC course consists of video lectures, reading material and easily accessible tests for students. For a computer programming course, it is important to provide interactive, dynamic, online coding exercises and more complex programming assignments for learners. It is expedient for the students to receive prompt feedback on their coding submissions. Although MOOC automated programme evaluation subsystem is capable of assessing source programme files that are in learning management systems, in MOOC systems there is a grader that is responsible for evaluating students’ assignments with the result that course staff would be required to assess thousands of programmes submitted by the participants of the course without the benefit of an automatic grader. This paper presents a new concept for grading programming submissions of students and improved techniques based on the Java unit testing framework that enables automatic grading of code chunks. Some examples are also given such as the creation of unique exercises by dynamically generating the parameters of the assignment in a MOOC programming course combined with the kind of coding style recognition to teach coding standards.

Plastias de estenoses de intestino delgado na doença de Crohn: resultados imediatos e tardios

BACKGROUND: Strictureplasty is an alternative surgical procedure for Crohn?s disease, particulary in patients with previous resections or many intestinal stenosis. AIM: To analyze surgical complications and clinical follow-up in patients submitted to strictureplasty secondary to Crohn?s disease. METHODS: Twenty-eight patients (57.1% male, mean age 33.3 years, range 16-54 years) with Crohn?s disease and intestinal stenosis (small bowel, ileocecal region and ileocolic anastomosis) were submitted to strictureplasty, at one institution, between September 1991 and May 2004. Thirteen patients had previous intestinal resections. The mean follow-up was 58.1 months. A total of 116 strictureplasties were done (94 Heineke-Mikulicz - 81%, 15 Finney - 13%, seven side-to-side ileocolic strictureplasty - 6%). Three patients were submitted to strictureplasty at two different surgical procedures and two in three procedures. RESULTS: Regarding to strictureplasty, postoperative complication rate was 25% and mortality was 3.6%. Early local complication rate was 57.1%, with three suture leaks (10.7%) and late complication was present in two patients, both with incisional hernial and enterocutaneous fistulas (28.6%). Patients remained hospitalized during a medium time of 12.4 days. Clinical and surgical recurrence rates were 63% and 41%, respectively. Among the patients submitted to another surgery, two patients had two more operations and one had three. Recurrence rate at strictureplasty site was observed in 3.5%, being Finney technique the commonest one. Presently, 19 patients had been asymptomatic with the majority of them under medical therapy. CONCLUSION: Strictureplasties have low complication rates, in spite of having been done at compromised site, with long term pain relief. Considering the clinical course of Crohn?s disease, with many patients being submitted to intestinal resections, strictureplasties should be considered as an effective surgical treatment to spare long intestinal resections.

Complicações imediatas e tardias após cirurgia de reservatório ileal na polipose adenomatosa familiar

BACKGROUND: Restorative proctocolectomy is the procedure of choice to treat familial adenomatous polyposis, however it can be associated to short-term and long-term postoperative complications. AIM: To evaluate the occurrence of complications related to the surgical treatment of familial adenomatous polyposis with ileal pouch technique. METHODS: Retrospective study of 69 patients with familial adenomatous polyposis after rectocolectomy with ileal reservoir between 1984 and 2006, operated on Coloproctology Group, Medical Sciences Faculty, State University of Campinas, Campinas, SP, Brazil. The median follow-up period was 82 (2-280) months. Data obtained were surgical techniques and postoperative complications. RESULTS: The morbidity and mortality were 63.8% and 2.9%, respectively. The most frequent complications were small-bowel obstruction (17.4%), anastomotic stricture (15.9%) and pelvic sepsis (10.1%). Acute ischemia of the ileal pouch (4.3%), pouchitis (2.9%) and ileal pouch-related fistula (2.9%) had poorer frequency than others. CONCLUSIONS: The morbid-mortality was similar to the literature?s data and it is acceptable for a complex surgery in two terms like the ileal reservoir-anal anastomosis. The small-bowel obstruction was the most frequent complication. However, ischemia of the reservoir, pouchitis and pelvic sepsis were important complications and was related to the failure of the ileal reservoir.

Resultados da cirurgia de reservatórios ileais em pacientes com doença de Crohn

BACKGROUND: Total rectocolectomy and ileal pouch-anal anastomosis is the choice surgical procedure for patients with ulcerative colitis. In cases of Crohn's disease post-operative diagnosis, it can be followed by pouch failure. AIM: To evaluate ileal pouch-anal anastomosis long-term outcome in patients with Crohn's disease. METHODS: Between February 1983 and March 2007, 151 patients were submitted to ileal pouch-anal anastomosis by Campinas State University Colorectal Unit, Campinas, SP, Brazil, 76 had pre-operative ulcerative colitis diagnosis and 11 had post-operative Crohn's disease diagnosis. Crohn's disease diagnosis was made by histopathological biopsies in nine cases, being one in surgical specimen, two cases in rectal stump, small bowel in two cases, ileal pouch in three and in perianal abscess in one of them. The median age was 30.6 years and eight (72.7%) were female. RESULTS: All patients had previous ulcerative colitis diagnosis and in five cases emergency colectomy was done by toxic megacolon. The mean time until of Crohn's disease diagnosis was 30.6 (6-80) months after ileal pouch-anal anastomosis. Ileostomy closure was possible in 10 cases except in one that had ileal pouch fistula, perianal disease and small bowel involvement. In the long-term follow-up, three patients had perineal fistulas and one had also a pouch-vaginal fistula. All of them were submitted to a new ileostomy and one had the pouch excised. Another patient presented pouch-vaginal fistula which was successfully treated by mucosal flap. Three patients had small bowel involvement and three others, pouch involvement. All improved with medical treatment. Presently, the mean follow-up is 76.5 months and all patients are in clinical remission, and four have fecal diversion. The remaining patients have good functional results with 6-10 bowel movements/day. CONCLUSION: Crohn's disease diagnosis after ileal pouch-anal anastomosis for ulcerative colitis may be usual and later complications such fistulas and stenosis are common. However, when left in situ ileal pouch is associated with good function.

Aplicação do escore MELD em pacientes submetidos a transplante de fígado: análise retrospectiva da sobrevida e dos fatores preditivos a curto e longo prazo

BACKGROUND: The model for end-stage liver disease (MELD) was developed to predict short-term mortality in patients with cirrhosis. There are few reports studying the correlation between MELD and long-term posttransplantation survival. AIM: To assess the value of pretransplant MELD in the prediction of posttransplant survival. METHODS: The adult patients (age >18 years) who underwent liver transplantation were examined in a retrospective longitudinal cohort of patients, through the prospective data base. We excluded acute liver failure, retransplantation and reduced or split-livers. The liver donors were evaluated according to: age, sex, weight, creatinine, bilirubin, sodium, aspartate aminotransferase, personal antecedents, brain death cause, steatosis, expanded criteria donor number and index donor risk. The recipients' data were: sex, age, weight, chronic hepatic disease, Child-Turcotte-Pugh points, pretransplant and initial MELD score, pretransplant creatinine clearance, sodium, cold and warm ischemia times, hospital length of stay, blood requirements, and alanine aminotransferase (ALT >1,000 UI/L = liver dysfunction). The Kaplan-Meier method with the log-rank test was used for the univariable analyses of posttransplant patient survival. For the multivariable analyses the Cox proportional hazard regression method with the stepwise procedure was used with stratifying sodium and MELD as variables. ROC curve was used to define area under the curve for MELD and Child-Turcotte-Pugh. RESULTS: A total of 232 patients with 10 years follow up were available. The MELD cutoff was 20 and Child-Turcotte-Pugh cutoff was 11.5. For MELD score > 20, the risk factors for death were: red cell requirements, liver dysfunction and donor's sodium. For the patients with hyponatremia the risk factors were: negative delta-MELD score, red cell requirements, liver dysfunction and donor's sodium. The regression univariated analyses came up with the following risk factors for death: score MELD > 25, blood requirements, recipient creatinine clearance pretransplant and age donor >50. After stepwise analyses, only red cell requirement was predictive. Patients with MELD score < 25 had a 68.86%, 50,44% and 41,50% chance for 1, 5 and 10-year survival and > 25 were 39.13%, 29.81% and 22.36% respectively. Patients without hyponatremia were 65.16%, 50.28% and 41,98% and with hyponatremia 44.44%, 34.28% and 28.57% respectively. Patients with IDR > 1.7 showed 53.7%, 27.71% and 13.85% and index donor risk <1.7 was 63.62%, 51.4% and 44.08%, respectively. Age donor > 50 years showed 38.4%, 26.21% and 13.1% and age donor <50 years showed 65.58%, 26.21% and 13.1%. Association with delta-MELD score did not show any significant difference. Expanded criteria donors were associated with primary non-function and severe liver dysfunction. Predictive factors for death were blood requirements, hyponatremia, liver dysfunction and donor's sodium. CONCLUSION: In conclusion MELD over 25, recipient's hyponatremia, blood requirements, donor's sodium were associated with poor survival.

Desmoid tumor in patients with familial adenomatous polyposis

CONTEXT: Desmoid tumors constitute one of the most important extraintestinal manifestations of familial adenomatous polyposis. The development of desmoids is responsible for increasing morbidity and mortality rates in cases of familial adenomatous polyposis. OBJECTIVES: To evaluate the occurrence of desmoid tumors in familial adenomatous polyposis cases following prophylactic colectomy and to present patient outcome. METHODS: Between 1984 and 2008, 68 patients underwent colectomy for familial adenomatous polyposis at the School of Medical Sciences Teaching Hospital, University of Campinas, SP, Brazil. Desmoid tumors were found in nine (13.2%) of these patients, who were studied retrospectively by consulting their medical charts with respect to clinical and surgical data. RESULTS: Of nine patients, seven (77.8%) were submitted to laparotomy for tumor resection. Median age at the time of surgery was 33.9 years (range 22-51 years). Desmoid tumors were found in the abdominal wall in 3/9 cases (33.3%) and in an intra-abdominal site in the remaining six cases (66.7%). Median time elapsed between ileal pouch-anal anastomosis and diagnosis of desmoid tumor was 37.5 months (range 14-60 months), while the median time between colectomy with ileorectal anastomosis and diagnosis was 63.7 months (range 25-116 months). In 6/9 (66.7%) patients with desmoid tumors, the disease was either under control or there was no evidence of tumor recurrence at a follow-up visit made a mean of 63.1 months later (range 12-240 months). CONCLUSIONS: Desmoid tumors were found in 13.2% of cases of familial adenomatous polyposis following colectomy; therefore, familial adenomatous polyposis patients should be followed-up and surveillance should include abdominal examination to detect signs and symptoms. Treatment options include surgery and clinical management with antiestrogens, antiinflammatory drugs or chemotherapy.

Variation of the anal resting pressure induced by postexpiratory apnea effort in patients with constipation

CONTEXT: Intestinal constipation - a common symptom among the general population - is more frequent in women. It may be secondary to an improper diet or organic or functional disturbances, such as dyskinesia of the pelvic floor. This is basically characterized by the absence of relaxation or paradoxical contraction of the pelvic floor and anal sphincter during evacuation. OBJECTIVE: To analyze, by manometric data, the anal pressure variation at rest, during evacuation effort by using the Valsalva maneuver and forced post-expiratory apnea in subjects with secondary constipation. METHODS: Twenty-one patients (19 females - 90.4%) with a mean age of 47.5 years old (23-72) were studied. The diagnosis was performed using anorectal manometry, with a catheter containing eight channels disposed at the axial axis, measuring the proximal (1) and distal (2) portions of the anal orifice. The elevation of the pressure values in relation to the resting with the evacuation effort was present in all patients. The Agachan score was used for clinical evaluation of constipation. The variables studied were: mean anal pressure of the anal orifice for 20 seconds at rest, the effort of evacuation using Valsalva maneuver and the effort of evacuation during apnea after forced expiration, as well as the area under the curve of the manometric tracing at moments Valsalva and apnea. RESULTS: The analysis of the mean values of the anal pressure variation at rest evidenced difference between proximal and distal channels (P = 0.007), independent of the moment and tendency to differ during moments Valsalva and apnea (P = 0.06). The mean of values of the area under the manometric tracing curve showed differences between moments Valsalva and apnea (P = 0.0008), either at the proximal portion or at the distal portion of the anal orifice. CONCLUSION: The effort of evacuation associated with postexpiratory apnea, when compared with the effort associated with the Valsalva maneuver, provides lower elevation of anal pressure at rest by the parameter area under the curve.

Dos conceitos de morte aos critérios para o diagnóstico de morte encefálica

The authors present considerations about death and brain death concepts, as well the legal aspects for its diagnosis in Brazil. They also present the UNICAMP Protocol for the Diagnosis of Brain Death, revised and according with the current law, with standard techniques for the diagnostic exam. They emphasize the importance of a mature ethical position for this frequent and challenging situation.

Edema pulmonar neurogênico: relato de dois casos

Neurogenic pulmonary edema is a rare and serious complication in patients with head injury. It also may develop after a variety of cerebral insults such as subarachnoid hemorrhage, brain tumors and after epileptic seizures. Thirty six patients with severe head injury and four patients with cerebrovascular insults treated in Intensive Care Unit of HC-UNICAMP from January to September 1995 were evaluated. In this period there were two patients with neurogenic pulmonary edema, one with head injury and other with intracerebral hemorrhage. Diagnosis was made by rapid onset of pulmonary edema, severe hypoxemia, decrease of pulmonary complacence and diffuse pulmonary infiltrations, without previous history of tracheal aspiration or any other risk factor for developement of adult respiratory distress syndrom. In the first case, with severe head trauma, neurogenic pulmonary edema was diagnosed at admission one hour after trauma, associated with severe systemic inflammatory reaction, and good outcome in three days. The second case, with hemorragic vascular insult, developed neurogenic pulmonary edema the fourth day after drenage of intracerebral hematom and died.