Leticia Mara Peres

Path selection in the structural testing: proposition, implementation and application of strategies

Structural testing criteria help the tester in the generation and evaluation of a test case set T. They are predicates to be satisfied to consider the testing activity ended and generally require the execution of a set P of paths, capable of exercising certain elements in the program under testing. Determining P is an important and hard task, and its automation is strongly desirable for easing the criteria application. This task can influence on the efficacy and on the testing effort and costs. This work explores the use of diverse programs characteristics to propose strategies for selection of testing paths. The work also describes a module that implements a framework for representation and automation of those strategies. Using this module, a testing procedure is presented and a strategy, that uses the number of predicates to select paths, is evaluated. The obtained results give some information about the main advantage of this strategy: to easy the automatic test data generation by reducing the number of selected infeasible paths.

Applying global time Petri net analysis on the embedded software context

This paper presents an application of Global Time technique (GTT) which is an approach to construct class graphs of Time Petri nets based on relative and global time. Besides the constructing of GTT class graph we propose a schedulability analysis of quantitative time type for fixed priority policies and Earliest Deadline First (EDF). We propose that analysis of scenarios, or behavior itineraries duration of a system, can be done using this approach.

Educational Open Government Data: From Requirements to End Users

The large availability of open government data raises enormous opportunities for open big data analytics. However, providing an end-to-end framework able to handle tasks from data extraction and processing to a web interface involves many challenges. One critical factor is the existence of many players with different knowledge, who need to interact, such as application domain experts, database designers, and web developers. This represents a knowledge gap that is difficult to overcome. In this paper, we present a case study for big data analytics over Brazilian educational data, with more than 1 billion records. We show how we organized the data analytics phase, starting from the analytics requirements, data evolution, development and deployment in a public interface.

A Systematic Review of Concolic Testing with Aplication of Test Criteria.

We present in this paper a systematic review, using (Biolchini et al., 2005) approach, of methods, techniques and tools regarding to concolic testing with application of test criteria. The test activity is the process of running a program with the intent of discovering defects. The search for test cases to increase the coverage of structural tests is being addressed by approaches that generate test cases using symbolic and concolic execution. Concolic testing is an effective technique for automated software testing, that aims to generate test inputs to locate failures of implementation in a program. Application of a test criterion is very important to ensure the quality of the test cases used. The number of elements exercised provides a measure of coverage that can be used to evaluate the test data set and consider the test activity to be closed.

Promoting Mediation in Learning Error on Teaching Algorithms.

This paper addresses the results of a research on the adoption of a computer platform for mediation of learning errors in algorithm exercises for computer science students. The importance of the interaction between teacher and learner is discussed as a way to reconsider learning errors. The need to evaluate tools for mediation of learning errors is brought to the discussion. The essential activities a teacher should develop using a tool that helps in the practice of algorithm teaching are listed, and based on them, a method that promotes the interaction between teacher and learners is proposed as a mean to enhance the effectiveness in mediation of

Aulacast: A Single Board Computer Platform to Support Teaching.

The use of mobile technologies in educational environments has potential to promote relevant changes in teaching and learning process. Aulacast is proposed as a solution which can aggregate concepts of educational mobility and Internet of Things. It is based on insertion of software and hardware suitable with embedded technologies in an educational context, offering support devices for teachers to obtain, present and manage educational objects with multimedia content. The solution was implemented on low cost single board computers using an open architecture and independent network infrastructure, allowing the interaction between mobile devices and multimedia presentation devices. This paper presents the motivation of the project, the applied strategy to build the prototype of Aulacast and results of observation of its use.

Semantic Mutation Test to OWL Ontologies.

Ontologies are structures used to represent a specific knowledge domain. There is not a right way of defining an ontology, because its definition depends on its purpose, domain, abstraction level and a number of ontology engineer choices. Therefore, a domain can be represented by distinct ontologies in distinct structures and, consequently, they can have distinct results when classifying and querying information. In light of this, faults can be accidentally inserted during its development, causing unexpected results. In this context, we propose semantic mutation operators and apply a semantic mutation test method to OWL ontologies. Our objective is to reveal semantic fault caused by poor axiom definition automatically generating test data. Our method showed semantic errors which occurred in OWL ontology constraints. Eight semantic mutation operators were used and we observe that is necessary to generate new semantic mutation operators to address all OWL

Open Digital Repositories

This paper shows how the market structure of scientific publications works and how the free-software movement and the open source code have expanded and generated new developments in a period of approximately twenty years, in opposition to an oligopolistic structure. The free-software movement did not happen by chance, and neither did its subsequent developments. Researchers, tired of contributing towards the production of scientific articles for private publishers, and also working as reviewers or taking part in editorial boards, launched many alternatives within the editorial market in clear opposition to the publishing industry, which has been making handsome profits on packaged periodicals sold to academic libraries. Some of these alternatives are: the Copyleft and the Creative Commons in opposition to the Copyright; the Open Access and the Open Digital Repositories of educational and research institutions, freely available on the internet, opposing to the closed repositories of commercial publishers that offer their database at high prices; and the creation of h-index, g-index, Google Scholar Citations (GSC) and other impact measurements that come up against the impact factor controlled by private publishers. In the editorial process, while educational and research institutions, through their researchers, provide all workforce necessary for the production, arbitration and editorial board, publishers are in charge of organizing services, providing reliable browsing on their closed database, and keeping high levels of impact for their publications. Nowadays, search providers like Google also offer reliable search engines to browse open digital repositories. Therefore, Google and the Open Digital Repositories, in a symbiotic relationship, can be in charge of the whole process of scientific publication, as an alternative to oppose the oligopoly of scientific publishers.