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

Usos não-convencionais da vírgula em textos de alunos de quinta série/sexto ano do ensino fundamental

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Construções de causa, razão, explicação e motivação na lusofonia: uma abordagem discursivo-funcional

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Gramaticalização de juntivos adversativos na história do português

Pós-graduação em Estudos Linguísticos - IBILCE

A concordância verbal na língua falada na região noroeste do Estado de São Paulo

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O uso variável do modo subjuntivo em estruturas complexas

Pós-graduação em Estudos Linguísticos - IBILCE

Instrumentalização pedagógica para avaliação de crianças com risco de dislexia

Pós-graduação em Educação - FFC

Análise comparativa do processo de gramaticalização das perífrases conjuncionais agora que e já que

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um estudo funcional da perífrase conjuncional 'Desde que' sob a ótica da gramaticalização

Pós-graduação em Linguística e Língua Portuguesa - FCLAR

Imaginários e representações da morte: caminhando sobre o fio da navalha

Pós-graduação em Serviço Social - FCHS

Estrutura eletrônica de derivados de Poli(3-Hexiltiofeno) para aplicações em camadas ativas de células solares orgânicas

Pós-graduação em Ciência e Tecnologia de Materiais - FC

Predicados matrizes adjetivais de orações subjetivas no Português brasileiro: gramaticalização e dessentencialização

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

As relações concessivas no português falado sob a perspectiva da gramática discursivo-funcional

Pós-graduação em Estudos Linguísticos - IBILCE

Pensando no depois: um estudo sob a perspectiva da gramaticalização

Pós-graduação em Estudos Linguísticos - IBILCE

A interação ecofisiológica planta-ambiente: o papel da aclimatação fotossintética na resposta a fatores ambientais em espécies arbóreas

Pós-graduação em Ciências Biológicas (Biologia Vegetal) - IBRC