Software de autocura. Notícias gratuitas da biblioteca técnica

NOTÍCIAS DE CIÊNCIA E TECNOLOGIA, NOVIDADES EM ELETRÔNICA
Biblioteca técnica gratuita / notícias

Software de auto-recuperação

08.07.2015

Pesquisadores do Laboratório de Computação e Inteligência Artificial do MIT desenvolveram um sistema chamado Code Phage que corrige automaticamente bugs em aplicativos de código aberto. O Code Phage é capaz de corrigir erros resultantes de parâmetros fora dos limites, estouros de inteiros e divisão por zero, de acordo com uma publicação dos pesquisadores no site da Association for Computing Machinery.

Para que o sistema funcione, é necessário ter dois parâmetros de entrada que são inseridos no aplicativo de destino, com a condição de que um dos parâmetros faça com que o programa falhe. O Code Phage usa o banco de dados para procurar um aplicativo doador que possa processar ambas as entradas sem travar. Supõe-se que tal aplicativo contém algum tipo de condição de verificação que evita falhas e não está presente no aplicativo de destino. O objetivo é mover essa verificação do aplicativo doador para o aplicativo de destino que precisa ser corrigido.

Para encontrar a condição de teste no aplicativo doador e entender como ele funciona, o Code Phage executa o aplicativo doador primeiro com o parâmetro "good" e depois com o parâmetro "failed" (ou seja, causando a falha no programa original). A cada "execução" o sistema constrói uma cadeia de operações lógicas que ocorrem no programa até encontrar uma ramificação dessas cadeias - o local onde está localizada a condição de teste.

Utilizando os resultados da análise (expressões simbólicas), o sistema recria e integra uma verificação semelhante ao aplicativo original no idioma em que foi escrito. Ao mesmo tempo, o Code Phage trabalha com doadores binários, ou seja, não precisa conhecer o código fonte das aplicações doadoras, pois analisa sua lógica.

Em seu experimento, os pesquisadores conseguiram corrigir bugs em sete aplicativos populares de código aberto usando de 2 a 4 doadores para cada um. Demorou de 2 a 10 minutos para corrigir cada erro.

Segundo os pesquisadores, a vantagem do Code Phage é que o sistema pode receber como doadores programas escritos em diferentes linguagens, desde que funcionem de forma semelhante. Existem milhões de aplicativos na Internet que podem ser usados como doadores.

<< Voltar: Monitores iiyama ProLite XU2490HS-B1 e XU2590HS-B1 08.07.2015

>> Encaminhar: Corujas e silêncio de hélices 07.07.2015

Últimas notícias de ciência e tecnologia, nova eletrônica:

A existência de uma regra de entropia para o emaranhamento quântico foi comprovada 09.05.2024

A mecânica quântica continua a nos surpreender com seus fenômenos misteriosos e descobertas inesperadas. Recentemente, Bartosz Regula do Centro RIKEN de Computação Quântica e Ludovico Lamy da Universidade de Amsterdã apresentaram uma nova descoberta que diz respeito ao emaranhamento quântico e sua relação com a entropia. O emaranhamento quântico desempenha um papel importante na moderna ciência e tecnologia da informação quântica. No entanto, a complexidade da sua estrutura torna a sua compreensão e gestão um desafio. A descoberta de Regulus e Lamy mostra que o emaranhamento quântico segue uma regra de entropia semelhante à dos sistemas clássicos. Esta descoberta abre novas perspectivas na ciência e tecnologia da informação quântica, aprofundando a nossa compreensão do emaranhamento quântico e a sua ligação à termodinâmica. Os resultados do estudo indicam a possibilidade de reversibilidade das transformações de emaranhamento, o que poderia simplificar muito seu uso em diversas tecnologias quânticas. Abrindo uma nova regra ... >>

Mini ar condicionado Sony Reon Pocket 5 09.05.2024

O verão é uma época de relaxamento e viagens, mas muitas vezes o calor pode transformar essa época em um tormento insuportável. Conheça um novo produto da Sony – o minicondicionador Reon Pocket 5, que promete deixar o verão mais confortável para seus usuários. A Sony lançou um dispositivo exclusivo - o minicondicionador Reon Pocket 5, que fornece resfriamento corporal em dias quentes. Com ele, os usuários podem desfrutar do frescor a qualquer hora e em qualquer lugar, simplesmente usando-o no pescoço. Este miniar condicionado está equipado com ajuste automático dos modos de operação, além de sensores de temperatura e umidade. Graças a tecnologias inovadoras, o Reon Pocket 5 ajusta o seu funcionamento em função da atividade do utilizador e das condições ambientais. Os usuários podem ajustar facilmente a temperatura usando um aplicativo móvel dedicado conectado via Bluetooth. Além disso, camisetas e shorts especialmente desenhados estão disponíveis para maior comodidade, aos quais um mini ar condicionado pode ser acoplado. O dispositivo pode, oh ... >>

Energia do espaço para Starship 08.05.2024

A produção de energia solar no espaço está se tornando mais viável com o advento de novas tecnologias e o desenvolvimento de programas espaciais. O chefe da startup Virtus Solis compartilhou sua visão de usar a Starship da SpaceX para criar usinas orbitais capazes de abastecer a Terra. A startup Virtus Solis revelou um ambicioso projeto para criar usinas de energia orbitais usando a Starship da SpaceX. Esta ideia poderia mudar significativamente o campo da produção de energia solar, tornando-a mais acessível e barata. O cerne do plano da startup é reduzir o custo de lançamento de satélites ao espaço usando a Starship. Espera-se que este avanço tecnológico torne a produção de energia solar no espaço mais competitiva com as fontes de energia tradicionais. A Virtual Solis planeja construir grandes painéis fotovoltaicos em órbita, usando a Starship para entregar os equipamentos necessários. Contudo, um dos principais desafios ... >>

Novo método para criar baterias poderosas 08.05.2024

Com o desenvolvimento da tecnologia e a expansão do uso da eletrónica, a questão da criação de fontes de energia eficientes e seguras torna-se cada vez mais urgente. Pesquisadores da Universidade de Queensland revelaram uma nova abordagem para a criação de baterias de alta potência à base de zinco que podem mudar o cenário da indústria energética. Um dos principais problemas das baterias recarregáveis tradicionais à base de água era a sua baixa voltagem, o que limitava a sua utilização em dispositivos modernos. Mas graças a um novo método desenvolvido por cientistas, esta desvantagem foi superada com sucesso. Como parte de sua pesquisa, os cientistas recorreram a um composto orgânico especial - o catecol. Acabou por ser um componente importante que pode melhorar a estabilidade da bateria e aumentar a sua eficiência. Esta abordagem levou a um aumento significativo na tensão das baterias de iões de zinco, tornando-as mais competitivas. Segundo os cientistas, essas baterias têm várias vantagens. Eles têm b ... >>

Teor alcoólico da cerveja quente 07.05.2024

A cerveja, por ser uma das bebidas alcoólicas mais comuns, tem um sabor único, que pode mudar dependendo da temperatura de consumo. Um novo estudo realizado por uma equipe internacional de cientistas descobriu que a temperatura da cerveja tem um impacto significativo na percepção do sabor alcoólico. O estudo, liderado pelo cientista de materiais Lei Jiang, descobriu que em diferentes temperaturas, as moléculas de etanol e água formam diferentes tipos de aglomerados, o que afeta a percepção do sabor alcoólico. Em baixas temperaturas, formam-se mais aglomerados piramidais, o que reduz a pungência do sabor do "etanol" e torna a bebida menos alcoólica. Pelo contrário, à medida que a temperatura aumenta, os cachos tornam-se mais semelhantes a cadeias, resultando num sabor alcoólico mais pronunciado. Isto explica porque o sabor de algumas bebidas alcoólicas, como o baijiu, pode mudar dependendo da temperatura. Os dados obtidos abrem novas perspectivas para os fabricantes de bebidas, ... >>

Notícias aleatórias do Arquivo

Cola ecológica natural 24.07.2012

A maioria das coisas ao nosso redor estão coladas. Cientistas do Instituto Fraunhofer (UMSICHT) veem isso como um problema, já que os adesivos ainda são predominantemente feitos de matérias-primas de petróleo. Assim, somente na Alemanha em 2010 foram produzidas mais de 820 mil toneladas de cola. No entanto, o adesivo pode ser feito de matérias-primas renováveis, como proteínas, borracha natural, amido ou celulose. Pesquisadores da UMSICHT estão trabalhando para desenvolver novas fórmulas para o adesivo necessário para fazer sapatos, carros, aviões, pás de turbinas eólicas, adesivos autoadesivos, gesso e muito mais.

Os cientistas estão desenvolvendo um novo adesivo sensível à pressão para aplicações industriais. Essa cola é adequada para muitos utensílios domésticos: remendos, fitas adesivas, etiquetas, etc. Os requisitos para este tipo de adesivo são bastante altos: ele deve manter suas propriedades à temperatura ambiente por um longo tempo, colar-se em baixa pressão, mas ao mesmo tempo ser facilmente removido das superfícies. Pesquisadores alemães se concentraram no desenvolvimento de um adesivo de polímero de ácido polilático. Este material biológico é barato e produzido em escala industrial, o que no futuro permitirá abandonar o uso do petróleo como matéria-prima.

No entanto, as propriedades do polímero de ácido lático são fundamentalmente diferentes dos polímeros usados hoje, em particular de poliacrilatos e estireno. Isso significa que os cientistas devem desenvolver uma fórmula inteiramente nova para o adesivo. Isso é bem possível - a natureza é um exemplo disso. Assim, o molusco Dosima fascicularis produz uma cola especial com a qual é fixado no fundo dos navios. Esta supercola é tão forte que é quase impossível desprender o molusco do barco mesmo com solventes fortes. Ao mesmo tempo, tem uma propriedade especial - gruda mesmo debaixo d'água.

Cientistas alemães estão tentando criar um adesivo de dispersão em água semelhante, cujos componentes são dissolvidos em água. Atualmente, os pesquisadores estão tentando descobrir quais aminoácidos compõem as proteínas biológicas da supercola. Se for bem-sucedido, será possível não apenas abandonar as matérias-primas do petróleo e melhorar os utensílios domésticos, como fita adesiva, mas também criar, por exemplo, adesivos médicos para fechar feridas e “reparar” ossos quebrados.

Ver completo Arquivo de notícias sobre ciência e tecnologia, novos eletrônicos

Todos os idiomas desta página

Página principal | Biblioteca | Artigos | Mapa do Site | Revisões do site