{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:05:50Z","timestamp":1725653150142},"reference-count":0,"publisher":"Sociedade Brasileira de Computa\u00e7\u00e3o","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"A gera\u00e7\u00e3o autom\u00e1tica de dados \u00e9 considerada a tarefa mais cr\u00edtica do teste estrutural. A obten\u00e7\u00e3o de um conjunto de dados confi\u00e1vel, de prop\u00f3sito geral, n\u00e3o \u00e9 comput\u00e1vel. Assim sendo, os estudos de gera\u00e7\u00e3o de dados devem basear-se em crit\u00e9rios espec\u00edficos de teste. Os crit\u00e9rios utilizados para o teste estrutural abordados neste trabalho s\u00e3o os que selecionam caminhos a partir da an\u00e1lise dos fluxos de controle e de dados do programa. Para que a cobertura seja atingida, dados devem ser gerados de tal forma que permitam a execu\u00e7\u00e3o de todos os caminhos selecionados. Por outro lado, a programa\u00e7\u00e3o em l\u00f3gica tem sido bastante utilizada para a implementa\u00e7\u00e3o de prot\u00f3tipos de ferramentas de apoio \u00e0s fases do desenvolvimento de software, inclusive \u00e0 fase de valida\u00e7\u00e3o. A linguagem Prolog, por exemplo, possui caracter\u00edsticas, pr\u00f3prias para o processamento simb\u00f3lico, tais como: formalismo DCG, reversibilidade e prova de teoremas, que s\u00e3o extremamente adequadas ao teste estrutural de software, mais especificamente \u00e0 gera\u00e7\u00e3o autom\u00e1tica de dados para teste. Este artigo apresenta uma proposta de estrat\u00e9gia de gera\u00e7\u00e3o autom\u00e1tica de dados para o teste estrutural, baseada na programa\u00e7\u00e3o em l\u00f3gica. Nesta estrat\u00e9gia, s\u00e3o realizadas an\u00e1lises simb\u00f3lica e din\u00e2mica do programa, a partir das quais s\u00e3o extra\u00eddas informa\u00e7\u00f5es que, combinadas, constituem-se em heur\u00edsticas para a gera\u00e7\u00e3o de dados.<\/jats:p>","DOI":"10.5753\/sbes.1997.24061","type":"proceedings-article","created":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T14:07:30Z","timestamp":1683036450000},"page":"397-411","source":"Crossref","is-referenced-by-count":0,"title":["Estrat\u00e9gia de Gera\u00e7\u00e3o de Dados de Teste Baseada na An\u00e1lise Simb\u00f3lica e Din\u00e2mica do Programa"],"prefix":"10.5753","author":[{"given":"Juliana Silva de","family":"Herbert","sequence":"first","affiliation":[]},{"given":"Ana Maria de Alencar","family":"Price","sequence":"additional","affiliation":[]}],"member":"3742","published-online":{"date-parts":[[1997,10,15]]},"event":{"name":"Simp\u00f3sio Brasileiro de Engenharia de Software","number":"11","location":"Brasil","acronym":"SBES 1997"},"container-title":["Anais do XI Simp\u00f3sio Brasileiro de Engenharia de Software (SBES 1997)"],"original-title":[],"link":[{"URL":"https:\/\/sol.sbc.org.br\/index.php\/sbes\/article\/download\/24061\/23889","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/sol.sbc.org.br\/index.php\/sbes\/article\/download\/24061\/23889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T14:07:38Z","timestamp":1683036458000},"score":1,"resource":{"primary":{"URL":"https:\/\/sol.sbc.org.br\/index.php\/sbes\/article\/view\/24061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10,15]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5753\/sbes.1997.24061","relation":{},"subject":[],"published":{"date-parts":[[1997,10,15]]}}}