Navegando por Assunto "Engenharia de software"

Agora exibindo 1 - 19 de 19

Uma abordagem para tradução de uma linguagem de programação de robôs para um modelo formal
(2018) Pereira, Iverson Luís; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/1186672408246777
There is an increasing interest in virtual robot programming environments for educational purposes in recent years. These environments are an alternative to the use of real robots, which have a high acquisition value. Automatic verification of robot programs is a demand of students and teachers that expect to have fast and automatic feed back about the correctness of robot programs.However,no free software provides an automatic verification of virtual robot programs. This work proposes an approach for the automatic verification of virtual robot programs authored in the educational language called ROBO. We propose a compiler that reads programs written in ROBO and translates its source code into a formal notation called CSP (Communicating Sequential Processes), which is the input to a model checking tool called FDR (FailuresDivergences Refinement). The compiler was implemented using the facilities of the Spoofax framework, which is used to define a parser for the ROBO language and a set of translation rules from ROBO to CSP. This work removes a limitation of our previous verification approach that does not perform the verification of ROBO programs containing variables and procedures. A significant contribution is the extension of the verification approach to allow the automatic analysis of ROBO programs with variables and procedures.The extension consists of the modification of the compiler Grammar by the inclusion of variables and procedures and the inclusion of translation rules that define the formal semantics for the elements added into the grammar.Moreover, the work proposes a tool that makes transparent the translation process from ROBO to CSP and the automatic verification using FDR.We validate the approach using the proposed tool to verify the behavior of a ROBO program with variables and procedures.
Aplicação de métodos ágeis em desenvolvimento global de software
(2021-07-22) Alves, Annelyelthon Ferreira; Marinho, Marcelo Luiz Monteiro; http://lattes.cnpq.br/3362360567612060; http://lattes.cnpq.br/8410367808658970
Global Software Development (GSD) continues to grow and is rapidly becoming a standard, fundamentally different from local Software Engineering development. Withal, agile software development (ASD) has become an appealing choice for companies attempting to improve their performance although its methods were originally designed for small and individual teams. The current literature does not provide a cohesive picture of how the agile practices are taken into account in the distributed nature of software development: how to do it, who, and what works in practice. This study aims to highlight how ASD practices are applied in the context of GSD in order to develop a set of techniques that can be relevant in both research and practice. To answer the research question, ”how are agile practices adopted in agile global software development teams?” We conducted a systematic literature review and a survey with practitioners of the ASD and GSD literature. A synthesis of solutions found in seventysix studies provided 48 distinct practices that organizations can implement, including ”collaboration among teams”, ”agile architecture”, ”coaching”, ”system demo” and ”test automation”. These implementable practices go some way towards providing solutions to manage GSD teams, and thus to embrace agility.
Uma atualização de um mapeamento sistemático sobre desenvolvimento ágil para equipes distribuídas: resultados preliminares e boas práticas em evidência
(2019-07-11) Miranda, Rafael Marques; Rocha, Rodrigo Gusmão de Carvalho; http://lattes.cnpq.br/4654692334430085; http://lattes.cnpq.br/6488307420823162
In the rise in the last decade, Global Software Development, which has as its concept the distribution of its development processes, has been investigated by the industry and academia, in order to increase the base of the best experiences and resources used in distributed projects. In another context, Agile Development has become one of the most used software development methodologies in the industry. This method has come up with some new concepts, such as frequent deliveries, better communication, special focus on coding, among others. In the literature new challenges are pointed out in the adoption of agile in GSD projects because the agile practices are based on informal communication and of little documentation, it was defined for a co-located environment whereas the GSD needs a clear way of disseminating knowledge supported by tools and by nature is distributed. However, the evidence that agile development in global development contexts, despite the apparent dichotomy, has been successful with its agile practices supported by synchronous and asynchronous communication tools. This work aimed to identify, analyze and synthesize the studies on agile methods and their practices in the context of GSD, through an update of Systematic Mapping on agile development for distributed teams, in this way, to make a preliminary explanation of the results and to show a good practice. The results were addressed to the research questions raised in the initial phase of the work, it was possible to draw a parallel between the information synthesized in the previous mapping about the challenges, practices, tools and agile methods in the context of GSD with this extension, in continuity. Finally, based on the results, it was possible to verify the most frequently used practices during the period 2008 to 2018, allowing to highlight a set of good practices. This work may benefit future researchers and professionals in this area, with the results of updating the mapping data, can serve as a theoretical basis for processes of an agile global software development model (AGSD) focused on good agile practices in the context of GSD, such as to the exploration of other research questions as well.
Contratação ou aquisição de softwares na administração pública: estudo de caso aplicado à prefeitura municipal de Garanhuns
(2019-12-20) Santos, Jorge Veloso dos; Vanderlei, Igor Medeiros; http://lattes.cnpq.br/7448139435512224; http://lattes.cnpq.br/3833157859679169
The Information Technologies appear in the global scenario, as essential assets for the proper functioning of the institutions, whether public or private, being applicable to the most diverse uses, the software is used with purpose from the computerization of demands until the optimization of processes. Due to the growing number of applications developed, standards have been established that allow the identification of parameters to be met, with a view to achieving the best demands, such as ISO / IEC / IEEE 12207-11 of 2017, which deals with the cycles of software life, NBR ISO / IEC 9126-1 of 2003, bringing with it a series of factors related to software quality, in addition to the provisions on this topic by Software Engineering. Regarding public administration, the legal precepts established by the laws and other applicable regulations, such as Law 8.666 / 1993, Normative Instruction Nº. 04 of 2014 - SLTI, should also be observed. In this hiring or acquisition process other guides, such as the PMBOK Guide 6th Edition 2017, published by the PMI (Project Management Institute), brings with it a series of metrics, which contribute directly to the acquisition processes. This work is a qualitative bibliographic and documentary research, with the purpose of analyzing the acquisition or hiring of IT services by the public administration, in casu, in Garanhuns City Hall, made through analysis of public notices and questionnaire. applied to the population, with a view to gauging the experience of using, in particular, the broad and free access portals, such as the Taxpayer Portal and the Transparency Portal, and verifying compliance with the premises set forth in the standards, and thus It is possible to establish a parallel analysis of the documentary technical aspects and the levels of use experience of the population. From these analyzes, the laws and other identified norms, it can be verified that the central focus is in the fulfillment of the system requirements and product quality, and consequently, in the fulfillment of the established legal norms, however, there is no direction. explicit about the quality in use of the tools offered to the population by public entities.
A Diagnoses Instrument for Software Engineers’ Soft Skills
(2019) Bastos, Thiago Alves; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/9312633017399857
The use of Agile Methodologies among the Software Development Projects have beingin creasing in recent years. These methodologies have a set of values and principles which are people-centered, increasing the importance of the people factors for the success of projects using Agile methodologies. However, these factors are not fully understood by practitioners who work within Agile teams. This reality created a gap between what the companies are expecting from their Software Engineers and whatthey really know, in terms of Soft Skills, especially in their first-time job. Therefore, basedon a Literature Review and on the opinion of the Software Engineers working withinAgile Teams in the Digital Port of Recife, this work developed the MVP of an instrument capable of making a self evaluation of the 8 most important Soft Skills for a Software Engineer working in an Agile environment. Raising awareness about the relevance ofthe Soft Skills for the career of a Software Engineer, highlighting what are the mostrelevant Soft Skills for them and also reducing the existent gap in the IT job market.Moreover, during this study it was created a Soft Skill Catalog, containing the synonyms and the definitions of these Soft Skills found in the Literature. Finally, it was possible to realize the relevance of the Soft Skills for the Software Engineers where Leader ship and Negotiation were the two less important and Communication was the most important and the developed instrument came out as an extremely important instrument, specially for the Software Engineers in the beginning of the career. More over, it was also possible to realize that there aren’t enough activities inside the companies to improve the Soft Skills of their Software Engineers and the existent activities are not aligned with their expectations.
Os efeitos da (in)felicidade no processo dedesenvolvimento de software
(2019) Falcão, Tiago Coutinho; Marinho, Marcelo Luiz Monteiro; http://lattes.cnpq.br/3362360567612060; http://lattes.cnpq.br/8796523691341550
In the software development process, the main actor responsible for directly impacting production is the individual.With the increase of literature and professional experiences,as well as the importance of studying the human being, recent studies involving the human aspects in software engineering seek to relate psychological factors with exact sciences. Studies show that emotions such as (un) happiness in a software development environment are directly linked to software quality, affecting developer performance.Understanding happiness and unhappiness can be worked out in ways that improve work environment, productivity, and developer motivation. This paper aims to identifythe effects of (un) happiness on the performance of software developers operating in the state of Pernambuco. In this paper, we will analyze the effects and moderating fac-tors that influence the performance of developers when they are happy and un happy during the software development process. Based on a literature review and the opin-ion of those involved in software development, through a questionnaire, which was at-tended by 71 developers, the moderating factors capable of emotionally influencing theindividual leading to the improvement or worsening of their performance were raised.These include: negatively influencing mental and physical health and team motivation as a positive moderating factor.Although some companies have flexibility in many ways such as clothing, coffee breaks and leisure spaces, developer attention is often not explored individually. In this paper, we can conclude that factors such as Mental Health prove that care for the well-being of the individual is extremely important for the proper functioning of the development process.
Engenharia de requisitos ágil: extensão de uma revisão sistemática da literatura
(2021-02-24) Menezes, Renato Vieira de; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/5357825214092807
The recent daytoday reality of software engineers is determined by the practice of agile methods, motivating frequent questions in the community about how to adopt a more flexible and dynamic Requirements Engineering (RE), distinct from the traditional model. Agile methods do not have rules established for a single definition of how Requirements Engineering activities should be carried out. Exploring the advances of agile RE in diverse and challenging environments makes it suitable. Therefore, the objective of this Course Conclusion Paper (CCP) is to identify and understand the current scenario of the variety of use of practices / techniques that compose such activities, the important challenges and lessons learned. An extension of a systematic literature review study was conducted to carry out this analysis and the evidence is synthesized from sources published between 2017 and 2020. In addition to verifying, describing and directing the research regarding Agile Requirements Engineering, the work delivers a compiled of practices, observing the different contexts of projects and organizations.
Engenharia de software e métodos ágeis como forma de Inclusão
(2019) Silva, Anderson Mateus da; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/5385133978429474
Agile Methodologies have brought newi nsightint o how to develop software by focusing on individuals and relationships, on people and not on the software developed. Agile Methods also value the list of teams that have diversity, but only professional diver-sity is considered, where teams with professionals with different skills and knowledge facilitate self-sufficiency and consequently self-performance. However, the concept of diversity goes beyond this perspective, it is necessary to think about social diversity,think about inclusion and more than just include, integrate people into the team, inte-grate them into the organization. The human aspects of software engineering, studiedover 40 years ago, relate how individuals can develop their behavioral skills with in the context of software building environments. Such aspects can be enhanced through ag-ile practices, however, such practices do not actually have the perspective of inclusion,especially when talking about people with disabilities, so it is up to the team to create their own adaptations when this need exists.In this context,the objective of this paper isto identify the main techniques present in the literature, confront them with the reality of specialists who work ormanage agilete ams,being those with disabilities or people who worked coordinating teams with people with disabilities, and understand the challengesthey face during the developed projects. Based on a literature review and the opinionof agile practitioners through interviews, a series of techniques and strategies havebeen raised to help promote inclusion in agile teams. These include the Daily Meeting,Pair Programming, Planning Meeting, Review Meeting, Retrospective, Effort Estimat-ing, Workshop, and Code Challenges. Despite the use of these techniques, reliance onexternal factors such as specific tools or knowledge of sign language and inattention to make the environment conducive for professionals to feel confident and empoweredare the main challenges faced by agile teams with people with disabilities. Finally, acatalog is also proposed to support inclusion initiatives in agile teams, containing themain techniques mentioned in the literature and by agile professionals.
Um guia de boas práticas em desenvolvimento global de software ágil
(2023-09-15) Guedes, Rodrigo Gonçalves; Marinho, Marcelo Luiz Monteiro; http://lattes.cnpq.br/3362360567612060; http://lattes.cnpq.br/4064431072353330
The Agile Software Development (ASD) plays a pivotal role in the global software development landscape. The COVID-19 pandemic has further underscored the need to adapt agile practices for remote and distributed environments, emphasizing collaboration effectiveness. This study extends prior research that identified 48 agile practices in global projects, reflecting a comprehensive endeavor to analyze and synthesize these practices. We conducted a new survey to gather a broader set of responses and carried out in-depth interviews to correlate data with constructive observations. As a result, 13 agile practices have been identified as the most widely accepted in this context. These practices, such as Planning, Communication, and Self-Management, have proven to be fundamental for the success of AGSD projects. Based on these findings, we have developed an extensive portfolio serving as a reference guide for professionals seeking to implement agile practices in global contexts. This contribution aims to enhance agile software development in global scenarios, fostering superior results and efficiency. As organizations adapt to current and future demands, AGSD stands out as a crucial approach for success in an increasingly interconnected world.
Liferay Portal Upgrade: definição de um processo eficiente para upgrade de clientes em versões legadas
(2022-10-11) Ferreira, Nícolas Moura do Canto; Medeiros, Victor Wanderley Costa de; http://lattes.cnpq.br/7159595141911505
Políticas para desenvolvimento de software seguro em times ágeis
(2019) Bezerra, Carlos Magnum Matias; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/9077153013471246
The values and principles of agile methodology ain to aggregate value to the business in a quick manner, being this agility, one of the critics factors for the successof this approaches. This success is crucial to attend the constant rising demand forsoftware, generated by the necessity of digital transformation. Currently, another concern, also resulting of this necessity, has gained more visibility, the cyber secu-rity. A lot of companies that have migrated for the digital world did not have thedue caution with the present threats in this scenery. As consequence, many security problems have being espoused in this past few years, this problems, tent to resultin social and financial losses. Software being one of the computational assets with the biggest expulser to this threats, the search for cyber security tend to become ademand. In this scenery, emerge the necessity to include security practices to the everyday live of the agile team. With the intent to contribute to the resolution ofthis task, this paper has as his goal to: establish cyber security policies, aggregating practices destined to the inclusion of security attributes to software projects, being developed for agile teams. To achieve this, it was necessary to perform a exploratory research through a bibliographic survey, to obtain an initial understanding of the problem and of the main approaches used to solve it. From the bibliography that itwas found it was considered only the research that present practices that included cyber security activities on software projects. Based on predefined criteria, an initialfiltering of the surveyed practices was conducted. The resulting subset was evaluatedby an agile development team with security expertise. The result of this evaluation evidenced the 14 (fourteen) most relevant practices and the stages of the development process to which they belonged. From the selected practices, five (5) policieswere structured and organized, then evaluated by experts, through interviews, tojudge their benefits for safety and applicability in agile teams. From the result of this assessment, it was concluded that 3 (three) of the policies were sufficiently ap-plicable to agile teams and contribute to project safety. Already 2 (two) of them,despite the security benefits, still need adjustments to make the incorporation viablein the agile world.
Privacidade e Segurança na Engenharia de Requisitos: um mapeamento sistemático da literatura
(2021-03-09) Napoleão, Juliana Mayara Gomes; Albuquerque, Hidelberg Oliveira; http://lattes.cnpq.br/0955255065576989
Requirements Engineering seeks to adapt techniques and tools to assist software development professionals in effectively meeting users' requests, thus minimizing the amount of errors and their subsequent correction costs. This work performs a Systematic Mapping of Literature in the scope of Requirements Engineering with a focus on two Non-Functional Requirements: Data Privacy and Security. The mapping carried out sought to answer the research questions through publications in the annals of events, magazines and digital libraries of distinction in the area of Requirements Engineering, in the period from 2014 to 2019. The results of this study can help students, professionals and researchers on the that has been explored in these areas of Requirements Engineering, and to show an overview of how they have been employed within software projects and / or business process models.
QA Metrics: integração das métricas de qualidade de software, em ambiente Docker, para exibição de dashboards Grafana alimentado pelo banco de dados temporal InfluxDB via Newman
(2022-07-15) Silva, Lucas Ferreira da; Bocanegra, Silvana; Assad, Rodrigo Elia; http://lattes.cnpq.br/3791808485485116; http://lattes.cnpq.br/4596111202208863; http://lattes.cnpq.br/9075508106025707
Software Quality metrics and indicators are able to help a software tester, commonly known as QA, to assess what needs to be done to improve performance of a software development project. In addition, it makes it possible to monitor the progress of a project in order to suggest initiatives based on the collected data. However, gathering the metrics obtained from different data sources to present them in real time is not an easy task for some companies. Nevertheless, with the use of APIs, it is possible to collect the data, analyze and present them in dashboards and reduce QA rework. In this paper, it was developed a system capable of collecting data from three services in order to present, in dashboards, the metrics that are essential in the area of Software Quality. Furthermore, the collection and storage of these metrics are performed in an automated and orchestrated manner through a compact, fast, efficient, safe, portable and isolated application.
Scaling agile methods in global software projects: Is it possible with SAFe?
(2020-09-03) Figueredo, Rafael da Camara; Marinho, Marcelo Luiz Monteiro; http://lattes.cnpq.br/3362360567612060; http://lattes.cnpq.br/1583800948677235
Global Software Development (GSD) continues to grow substantially and it is fast becoming the norm and fundamentally different from local Software Engineering development. Withal, agile software development (ASD) have become an appealing choice for companies attempting to improve their performance although its methods were originally designed for small and individual teams. Despite it, agile practices in Global Software Development (AGSD) has become the main option to execute projects in distributed environments due to its benefits of better communication and coordination, improved productivity, and quality. However, while organizations continue to grow, the complexity and challenges arise fast, many companies are dealing with large-scale global projects and looking for how to adapt agile in those scenarios and scaling agile practices to coordinate them. The current literature does not provide a cohesive picture of how the agile practices are taken into account in the distributed nature, and also how to scale than in large-scale AGSD projects. It lacks data on how to use agile and also scale it in GSD settings, which agile and scaling agile practices work in Global Software Development (GSD) teams and who are supposed to apply them. Based on this literature gap, this study aims to highlight how ASD practices are applied in the context of GSD to develop a set of techniques that can be relevant in both research and practice. Furthermore, it also aims to highlight a set of agile practices that are used by GSD teams to scale agile and map those practices with Scaled Agile Framework (SAFe). To answer both of the research questions, first: “How agile practices are adopted in agile global software development teams?”, second: “Which practices reported in AGSD literature embrace practices from SAFe when adopting scale agile development?”. It was conducted a systematic literature review of the ASD, GSD, and AGSD literature. A synthesis of solutions found in seventy-six studies provided 48 distinct agile practices that organizations can implement in globally distributed settings. Furthermore, from those 48 agile practices, it was possible to identify 18 scaling agile practices embrace SAFe practices. These implementable practices go some way towards providing solutions to manage GSD with agility, while the linked SAFe practices provide guidelines for better scale agile in large-scale global projects.
Um sistema de apoio à decisão para priorização e estruturação de histórias de usuários: um suporte para equipe ágeis
(2018-08) Calado, Alex Rogério da Silva; Garrozi, Cícero; Sampaio, Suzana Cândido de Barros; http://lattes.cnpq.br/0066131495297081; http://lattes.cnpq.br/0488054917286587; http://lattes.cnpq.br/1189807442146524
Despite the advances obtained in the Software Engineering with agile methods the market still shows successful rates in unsatisfactory projects. Throughout a software project, changing requirement and priority are unavoidable and recurrent. This is an important factor to the software development businesses mainly small ones with limited resources. The usage of agile techniques such as Scrum and User Stories (US) benefits the businesses and make them more competitive. One of the problems faced with agile requirements is to obtain a prioritization of secure US according to the business value given by the client in agreement with technical specifications. This paper proposes to present an essay that serves as basis to the construction of a decision support tool to the US prioritization decisions. For such was considered a software project as a temporary organization and suggested metrics that best suits the needs of small teams avoiding reworks, the increasing in the deadlines and costs, without disregarding the client satisfaction in interactive deliveries. Based on the Volere requirements template and in the literature review it was proposed the adoption of five metrics to be considered in the prioritization of the User Stories: the client satisfaction in receiving the US and the client dissatisfaction in not receiving it; replacing the traditional value of business; the so usual complexity; the necessity of team learning and; software risks. Using online forms were captured data about these metrics and the prioritization given to each US in software projects that uses the agile Scrum method. Decision Tree was the proposed suggestion for predicting the US prioritization for having a practical visualization and a more intuitive interpretation, facilitating the acceptance as a decision method support for professionals involved in the area. In spite of the low databases volume the results obtained through the Weka tool, like the precision and the ROC curve, were satisfactory without prediction tendencies and with good indexes of correctness, after the algorithms and databases adjustments avoiding overfitting and underfitting.
Sistema de aprendizado de máquina para predição do tempo de esforço de tarefas de desenvolvimento de software
(2021-12-14) Sitonio, Tiago Pedro da Silva; Monteiro, Cleviton Vinicius Fonsêca; http://lattes.cnpq.br/9362573782715504; http://lattes.cnpq.br/0915757895643807
Técnicas de comitês para a estimação de esforço na correção de software
(2019-12-10) Guimarães, Ariana Lima; Soares, Rodrigo Gabriel Ferreira; http://lattes.cnpq.br/2526739219416964; http://lattes.cnpq.br/2605671850587343
A well-defined planning of a software project, since the early stages, is indispensable to its success, whether the development refers to product’s creation or maintenance. Accordingly to the software life cycle, maintenance is continuously executed after the product’s building and delivery, in parallel to the tests execution by engineers and/or users. In this stage, User Stories and Issue Reports are the first documents to be presented. These documents describe, in natural language, business requirements, error scenarios found, expected corrections and enhancements for the system. Its objectives are, among other things, ranking the activities needed to be accomplish during the project. Therefore, in line with the available resources – human, financial and temporal -, it is possible to estimate the effort that will be necessary in the activities development and generate essential information for an effective and efficient planning. As these documents are written in natural texts, it raises the opportunity to use Natural Language Processing and Machine Learning (ML) to predict software effort. In practice, in the daily life of software factories, it is common to use experts’ and project staff’s opinion to judge the effort required by an activity during Planning Poker sessions. Usually, in this technique, the effort is measured in Story Points, which follow Fibonacci sequence. But this planning model requires the scaling of more resources to be executed. The application of ML causes in a system, after the learning phase, the ability to seize the team experience and replicate it quickly and automatically to estimate the activities effort. Thus, this work covers the ML field, proposing a PV-DM Ensemble approach to extract features of Issue Reports to estimate Story Points, the effort indicator. Compared to the two other approaches of BoW and simple PV-DM, the proposed technique has presented good results, about 80% of f-measure, in a supervised learning SVM classifier. The experiments results proved to be a starting point for further study of PV-DM Ensemble approach and its improvement.
A utilização do DevOps como fonte de vantagem competitiva para uma organização
(2019-07-11) Frazão, Dário de Araújo; Ximenes, Assuero Fonseca; http://lattes.cnpq.br/0060135791012696; http://lattes.cnpq.br/6101448290120723
The objective of this work was to analyze how organizations can have a competitive advantage by using DevOps, what are the gains from its use within the context of IT governance and how a company needs to find itself to be able to sucessfully implement a practice through a proposed model. For this, were analyzed the impacts caused in the areas of development and operation, and consequently, the IT governance. To achieve the objectives, an exploratory research was developed to obtain an understanding of what IT governance represents for organizations and, with this, to understand the relevance and advantages caused by the adoption of DevOps. The results show that IT governance is important for the organization to add value to its products and services, and that there are several methodologies that, if applied correctly, bring significant results. However, these methodologies are not managing to align the area of development with the area of operation. Due to this, with the adoption of DevOps it is expected to solve the problems between these two areas. Therefore, it was sought to understand its impacts so that to be able to obtain the competitive advantages provided by IT governance through the use of Devops.
Verificação eficiente de robôs educacionais
(2021-03-03) Correia, Lucas Francisco Pereira de Gois; Nogueira, Sidney de Carvalho; http://lattes.cnpq.br/9171224058305522; http://lattes.cnpq.br/1957154709677653
Educational robotics is an area of growing interest within educational institutions. Due to it's low cost, program environments for virtual robots have been developed to support the teaching of computing, programming and robotics concepts. The main debug tool available in such environments is the simulation of the robot within a virtual map. Debugging is performed by observing the robot moving across the map: it is not possible to analyze automatically if a program will manage to conclude a specific objective. Approaches to automatically analyze virtual robots are an important teaching tool for an eficient and accurate evaluation of robots. The objective of this project is to improve an automatic verification approach of robot programs. This approach translates programs in the ROBO language to the formal notation CSP and uses the FDR model checker to automatically analyze the program's behavior. The result returned by the model checker is used to inform if the analyzed program has the expected behavior. The main improvement proposed by this project is the implementation of a ROBO to CSP translator that generates a more eficient CSP model to be analyzed, if compared to the model produced by the previous translator. We could observe, through empirical evaluation, a significant reduction in the time to analyze the CSP models obtained from the new translator. The proposed translator presents an almost constant analysis time for the maps considered in the empirical evaluation, while analysis time of the models produced by the previous translator shows an exponential growth in relation to the map's size where the program is analyzed. Another contribution of this work is that the new translator accepts ROBO programs with any command of the language, while the previous translator could only deal with a subset.