Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Proceedings Ninth Asia-Pacific Software Engineering Conference. ASPEC 2002

The following topics are dealt with: Requirements engineering; components; design; formal specification analysis; education; model checking; human computer interaction; software design and architecture; formal methods and components; software maintenance; software process; formal methods and design; server-based applications; review and testing; measurement; documentation; management and knowledge-based approaches.

PLANEJAMENTO ESTRATÉGICO: UM ESTUDO EXPLORATÓRIO SOBRE SUAS ETAPAS E UTILIZAÇÃO NAS MICRO, PEQUENAS E MÉDIAS EMPRESAS TRANSPORTADORAS DE CARGAS RODOVIÁRIAS DO GRANDE ABC

Através de uma pesquisa de 1990 até 2004, a (JUCESP) - Junta Comercial do Estado de São Paulo - registrou mais de 2,1 milhões de novas empresas e encerrou o registro de 1,3 milhões. Isso significa extinção de aproximadamente 281 mil empregos diretos e a retirada da economia de 15,6 bilhões de reais de faturamento e capital investidos. As pequenas e médias empresas são fundamentais para absorção dos impactos causados pela volatilidade da economia, na mesma proporção que vulneráveis a essas oscilações. Devido sua importância econômica, a qual é verificada através dos números apresentados pelos órgãos responsáveis pela divulgação do controle e índices econômicos, como o (IBGE) - Instituto Brasileiro de Geografia e Estatística - (BNDES) Banco Nacional de Desenvolvimento Econômico e Social, (SEBRAE) Serviço Brasileiro de Apoio às Micro e Pequenas Empresas e Ministérios do Trabalho e do Desenvolvimento Social, esse trabalho tem como proposta verificar se no desenvolvimento de seus processos gerenciais, as transportadoras de cargas do Grande ABC, contemplam o planejamento estratégico e quais as etapas mais utilizadas. Para coleta de dados foram enviados 150 questionários direcionados aos executivos e proprietários das transportadoras de cargas do ABC. Foram respondidos através de e-mails 14 questionários. Como o número de respondentes era muito pequeno, foram realizados alguns contatos diretamente com os proprietários, visando o agendamento de entrevistas.

LONGEVIDADE EMPRESARIAL: UM ESTUDO EM MICRO E PEQUENAS EMPRESAS DE SÃO BERNARDO DO CAMPO DO SETOR DE VAREJO

A quantidade de micro e pequenas empresas que encerram suas atividades no Brasil, antes de dois, três ou cinco anos, chega a taxas de mortalidade que se aproximam dos 75%. O presente estudo buscou analisar dez empresas de micro porte do setor de varejo na cidade de São Bernardo do Campo que estão em atividade e que conseguiram superar e vencer as taxas de mortalidade empresarial e de concorrência mercadológica. A investigação iniciou-se pelo ABC paulista, efetuando um levantamento no SEBRAE (Serviço Brasileiro de Apoio às Micro e Pequenas Empresas) e na JUCESP (Junta Comercial do Estado de São Paulo) para descobrir a quantidade de micro e pequenas empresas que estavam em atividade e que inauguraram entre 2006 e 2007. Posteriormente o foco foi para a cidade de São Bernardo do Campo onde foram inauguradas 744 MPE´s (Micro e Pequenas Empresas), sendo que 49 delas estavam categorizadas no setor de varejo do vestuário e por fim definiram-se dez empresas que atenderam aos pré-requisitos metodológicos do estudo. A discussão sobre o tema da longevidade empresarial, ou seja, entender quais foram às capacidades que algumas empresas tiveram de manter-se operante por tantos anos, foi fator essencial para o estudo. O objetivo central deste trabalho foi de verificar a forma de administrar e de tratar de seus negócios destes dez empresários que fizeram com que tivessem sobrevida no mercado. Este estudo valeu-se dos métodos qualitativos, de recorte transversal com amostra não probabilística e por cota para poder efetuar todo processo metodológico e construir a análise final da pesquisa.

UM ESTUDO SOBRE A IMPORTÂNCIA DO USO DAS FERRAMENTAS DE CONTROLE GERENCIAL NAS MICRO, PEQUENAS E MÉDIAS EMPRESAS INDUSTRIAIS NO MUNICÍPIO DE SÃO CAETANO DO SUL

O objetivo desse estudo foi evidenciar o uso das ferramentas de controle gerencial que auxiliam no processo de tomada de decisão nas Micros, Pequenas e Médias Empresas, no município de SCSul. Entende-se, que na atualidade esses instrumentos devem ser alinhados com a realidade dessas organizações e as informações extraídas por estas devem ser a base para a tomada de decisão que perpetuem a riqueza dos investidores. O procedimento metodológico aplicado na escolha das empresas pesquisadas foi o critério de conveniência, utilizando o método de raciocínio dedutivo, através de aplicação de um questionário em 296 empresas, pelo a qual 18,6% destas se depuseram a responder o questionário. As empresas foram classificadas de acordo com o faturamento bruto anual estabelecido pela Receita Federal. Após a análise dos resultados, foi possível detectar que cerca de 41% dessas organizações estão a mais de 20 anos no mercado, o que demonstra uma boa consolidação no mercado. Detecta-se, também, que estes empresários-gerentes possuem uma forte formação superior: 31,27% pós-graduados e 22,22% graduados, o que pode ser um diferencial na gestão desses negócios. Como o pressuposto dessa pesquisa foi de analisar: se as MPME s industriais no município de SCSul estão utilizando as ferramentas de controle gerencial em seu processo de gestão para tomada de decisão, diante das análises efetuadas, tanto pelo o estudo de campo com bibliográfica, conclui-se que a tomada de decisão nessas empresas está baseada nas ferramentas de controle e que estas possuem um bom controle dos seus negócios contrariando o que se esperava.

ASSOCIATIVISMO EMPRESARIAL ENTRE MICRO E PEQUENAS EMPRESAS: A EXPERIÊNCIA DO GRANDE ABC COM O PROJETO EMPREENDER (SEBRAE)

O associativismo empresarial aparece como forma de desenvolvimento regional, seja este econômico, social ou cultural, e é grande aliado para o surgimento e crescimento das micro e pequenas empresas. É um tema já vivenciado e estudado por vários países do mundo, entre eles europeus e especificamente italianos, mas ainda pouco estudado e conhecido no Brasil. A presente pesquisa objetivou analisar o associativismo empresarial entre micro e pequenas empresas (MPEs) na região do Grande ABC (GABC) pelo Projeto Empreender (SEBRAE) relacionando seus dados com os publicados do relatório 2003/5 de autoria do Observatório Europeu de estudos sobre pequenas e médias empresas europeias, analisando as formas de associativismo aqui ocorridas, além de identificar o perfil das empresas e empresários envolvidos no projeto. Para tal análise foram coletados dados de um total de 63 empresas do Projeto Empreender, nos núcleos de Santo André, São Caetano do Sul e Ribeirão Pires. Do GABC foram coletados dados utilizando o instrumento desenvolvido pelo Observatório Europeu de estudos sobre pequenas e médias empresas. A análise dos dados coletados no GABC em relação aos dados europeus se fez necessária para que pudessem ser encontrados pontos de divergências e convergências em cada uma das experiências, objetivando o aprendizado e evolução do tema. A escolha do GABC foi motivada pelo fato da região passar por mudanças no seu perfil econômico, passando de berço e grande pólo das grandes indústrias para um grande centro de pequenas empresas prestadoras de serviços. Após coleta e análise dos dados, percebeu-se que a experiência do GABC e a ocorrida na Itália se parecem em muitos aspectos, porém tem grandes diferenças estruturais. Enquanto o projeto europeu é de responsabilidade de um órgão da União Europeia, aqui o projeto é de autoria do SEBRAE e sofre grandes conflitos com as Associações Comerciais e Industriais (ACIs) da região quando o tema é custeio das despesas das pessoas e estrutura que envolve a implantação do projeto. Além disso, conclui-se que é necessária uma maior aproximação dos municípios com o projeto, tendo em vista que isto poderia ser fator de incentivo a entrada de novas empresas além de fator de aumento de seriedade do sistema. Mais dois dados merecem destaque. Primeiro o fato do Projeto Empreender ter pouca visibilidade regional, ou seja, ser muito pouco divulgado, e o fato da agência de desenvolvimento do GABC não ter aproximação alguma com o projeto. Por último, surgem dados no decorrer da pesquisa que rompem a barreira das teorias administrativas conhecidas, tais como a amizade como fator de associativismo. Portanto, os resultados obtidos com essa pesquisa apontam para a influência no incentivo ao desenvolvimento do processo associativista na região do GABC, além de servir como incentivador para a aproximação de outros atores sociais no processo.(AU)

Semi-global techniques in image matching and change detection with applications to civil and environmental engineering.

This work of thesis wants to present a dissertation of the wide range of modern dense matching algorithms, which are spreading in different application and research fields, with a particular attention to the innovative “Semi-Global” matching techniques. The choice of develop a semi-global numerical code was justified by the need of getting insight on the variables and strategies that affect the algorithm performances with the primary objective of maximizing the method accuracy and efficiency, and the results level of completeness. The dissertation will consist in the metrological characterization of the proprietary implementation of the semi-global matching algorithm, evaluating the influence of several matching variables and functions implemented in the process and comparing the accuracy and completeness of different results (digital surface models, disparity maps and 2D displacement fields) obtained using our code and other commercial and open-source matching programs in a wide variety of application fields.