Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

PSEUDO: uma análise sociocognitiva sobre insinceridades, mentiras e crimes de fraude

The objective of this work is to analyze the phenomenon of lying, highlighting some uses and social consequences. Lies are a ubiquitous phenomenon, and in many cases they even promote social harmony. Furthermore, telling lies is an expression of individuality: it is the expression of relative autonomy that the subject has towards their social environment allowing them to defend their most personal interests. The work also aims to examine the concept of habitus applied to the social production of lies. Thus, the liars produce their lies aiming to obtain certain effects on their audiences. There are certain social cognitive principles that structure the kind of lie that is usually told to the public. Finally, the perpetrators of crimes of fraud and other deceptive practices may suffer a criminal prosecution because the damage they cause affects important social values recognized by the state, and are not restricted to the victim‟s chagrin. In the most common forms of fraud, the crooks make tempting offers to victims exploiting some of their standardized behaviors and reactions. To understand the fragility of the victims to scams is an attempt to understand how a social phenomenon as usual as is the lie can still surprise and cause perplexity