Caracterização morfológica e física dos solos do Município de Jaguariúna-SP.

A partir de 1980, o Município de Jaguariúna sofreu um progresso econômico notável, com ampla modernização industrial, agroindustrial e do setor de serviços. Esse processo de crescimento e consequente ocupação urbana implica no aumento da demanda de recursos naturais essenciais, tais como água, solos agriculturáveis, fontes de energia renovável e recursos minerais, gerando problemas de ordem sócio-econômica e ambiental cada vez mais complexos, que influem diretamente na qualidade de vida da população. Nesse contexto, o estudo dos componentes do meio físico, particularmente de solos, é necessário para a elaboração de cartas básicas que orientem o ordenamento territorial e subsidiem a formulação das aptidões do meio abiótico para atividades agrossilvopastoris e para gestão ambiental dos recursos naturais. Os objetivos gerais do subprojeto "Caracterização morfológica e física dos solos do Município de Jaguariúna-SP", compreenderam portanto, a elaboração de diretrizes e recomendações para a organização do poder público municipal no planejamento de seu território. Os objetivos específicos desta pesquisa são: a) implementar uma base de dados do meio físico em escala municipal, através do uso de técnicas de geoprocessamento (uso de SIG´s): b) identificar, caracterizar e avaliar física e morfologicamente os perfis de solos representativos das principais unidades de mapeamento; c) indicar ações de manejo para as respectivas classes de solos.

Teste de fluxo de dados de programas com ponteiros e registros.

Dois modelos mais precisos de análise de fluxo de dados voltados para o teste de programas que utilizaram ponteiros e campos de registros são apresentados. Os modelos propostos são baseados em uma abordagem conservadora e foram implementados na ferramenta POKE-TOOL. A conjectura é que a análise de fluxo de dados mais precisa aumenta a eficácia do teste a um custo razoável .Para investigar essa conjectura, um estudo de caso foi realizado para avaliar a eficácia eo custo da utilização dos dois modelos no teste com duas famílias diferentes de critérios de teste baseados em análise de fluxo de dados. Os resultados obtidos indicam que a eficácia dos modelos dependem do programa e dos defeitos que ele contém. A segunda observação em especial indica que existem defeitos cuja detecção é facilitada quando os modelos propostos são utilizados. Para uma das famílias de critérios de teste, foi observado que o custo adicional causado pela análise mais precisa de fluxo de dados é razoável.