Geração automática de testes de conformidade para programas de controladores lógicos programáveis.

Detalhes bibliográficos
Autor(a) principal: OLIVEIRA, Kézia de Vasconcelos.
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
Resumo: O objetivo deste trabalho é apresentar um método e disponibilizar uma ferramenta que aumente a confiança e a segurança na automação de processos controlados por Controladores Lógicos Programáveis (CLPs). Para tanto, geração e execução automática de casos de teste de conformidade são utilizadas para verificar se o programa do CLP está em conformidade com a especificação. O método consiste em gerar automaticamente modelos de autômatos temporizados, segundo a sintaxe e semântica da ferramenta Uppaal, a partir de Diagramas de Lógica Binária ISA 5.2 (especificação) e programas escritos na linguagem Ladder (implementação). Após a geração destes modelos, testes de conformidade são realizados usando a ferramenta de teste Uppaal-TRON. Estudos de caso são realizados para validar este trabalho.
id UFCG_ace5ab9e774b9d0447f0de2ad800c9b8
oai_identifier_str oai:localhost:riufcg/9874
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling PERKUSICH, Angelo.Perkusich, A.http://lattes.cnpq.br/9439858291700830SILVA, Leandro Dias da.SILVA, L. D.http://lattes.cnpq.br/7856968264410259ALMEIDA , Hyggo Oliveira de.LIMA, Antônio Marcus Nogueira.OLIVEIRA, K. V.http://lattes.cnpq.br/1121152162202880OLIVEIRA, Kézia de Vasconcelos.O objetivo deste trabalho é apresentar um método e disponibilizar uma ferramenta que aumente a confiança e a segurança na automação de processos controlados por Controladores Lógicos Programáveis (CLPs). Para tanto, geração e execução automática de casos de teste de conformidade são utilizadas para verificar se o programa do CLP está em conformidade com a especificação. O método consiste em gerar automaticamente modelos de autômatos temporizados, segundo a sintaxe e semântica da ferramenta Uppaal, a partir de Diagramas de Lógica Binária ISA 5.2 (especificação) e programas escritos na linguagem Ladder (implementação). Após a geração destes modelos, testes de conformidade são realizados usando a ferramenta de teste Uppaal-TRON. Estudos de caso são realizados para validar este trabalho.The goal of this work is to present a method and provide a tool to ensure the safety and dependability in the automation of processes controlled by Programmable Logic controllers (PLCs). Therefore, automatic generation and execution of conformance testing cases are used to verify the conformance between the PLC program and the specification. The method uses the Uppaal tool syntax and semantic to automatically generate timed automata models from ISA 5.2 Binary Logic Diagrams (specification) and Ladder language (implementation). After the models generation, conformance testing is performed using the Uppaal-TRON tool. Case studies are performed to validate this work.Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2019-12-05T09:08:19Z No. of bitstreams: 1 KÉZIA DE VASCONCELOS OLIVEIRA - DISSERTAÇÃO (PPGCC) 2009.pdf: 755250 bytes, checksum: 6a72d994a96aade0d4970de0f890c6ba (MD5)Made available in DSpace on 2019-12-05T09:08:19Z (GMT). No. of bitstreams: 1 KÉZIA DE VASCONCELOS OLIVEIRA - DISSERTAÇÃO (PPGCC) 2009.pdf: 755250 bytes, checksum: 6a72d994a96aade0d4970de0f890c6ba (MD5) Previous issue date: 2009-08-28CapesUniversidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da ComputaçãoTestes de ConformidadeControladores Lógicos ProgramáveisAutômatos TemporizadosCompliance TestsProgrammable Logic ControllersTimed AutomataGeração automática de testes de conformidade para programas de controladores lógicos programáveis.Automatic generation of tests of compliance for programmable logic controllers.2009-08-282019-12-05T09:08:19Z2019-12-052019-12-05T09:08:19Zhttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874OLIVEIRA, K de V. Geração automática de testes de conformidade para programas de controladores lógicos programáveis. 2009. 117 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2009. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGORIGINALKÉZIA DE VASCONCELOS OLIVEIRA - DISSERTAÇÃO (PPGCC) 2009..pdfKÉZIA DE VASCONCELOS OLIVEIRA - DISSERTAÇÃO (PPGCC) 2009..pdfapplication/pdf653633http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/9874/3/K%C3%89ZIA+DE+VASCONCELOS+OLIVEIRA++-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2009..pdf216358463c089b50353b341cf29ff60cMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/9874/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/98742022-03-28 17:14:17.979oai:localhost:riufcg/9874Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512024-07-01T10:07:47.317029Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
dc.title.alternative.pt_BR.fl_str_mv Automatic generation of tests of compliance for programmable logic controllers.
title Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
spellingShingle Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
OLIVEIRA, Kézia de Vasconcelos.
Ciência da Computação
Testes de Conformidade
Controladores Lógicos Programáveis
Autômatos Temporizados
Compliance Tests
Programmable Logic Controllers
Timed Automata
title_short Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_full Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_fullStr Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_full_unstemmed Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
title_sort Geração automática de testes de conformidade para programas de controladores lógicos programáveis.
author OLIVEIRA, Kézia de Vasconcelos.
author_facet OLIVEIRA, Kézia de Vasconcelos.
author_role author
dc.contributor.advisor2ID.pt_BR.fl_str_mv SILVA, L. D.
dc.contributor.advisor1.fl_str_mv PERKUSICH, Angelo.
dc.contributor.advisor1ID.fl_str_mv Perkusich, A.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/9439858291700830
dc.contributor.advisor2.fl_str_mv SILVA, Leandro Dias da.
dc.contributor.advisor2Lattes.fl_str_mv http://lattes.cnpq.br/7856968264410259
dc.contributor.referee1.fl_str_mv ALMEIDA , Hyggo Oliveira de.
dc.contributor.referee2.fl_str_mv LIMA, Antônio Marcus Nogueira.
dc.contributor.authorID.fl_str_mv OLIVEIRA, K. V.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1121152162202880
dc.contributor.author.fl_str_mv OLIVEIRA, Kézia de Vasconcelos.
contributor_str_mv PERKUSICH, Angelo.
SILVA, Leandro Dias da.
ALMEIDA , Hyggo Oliveira de.
LIMA, Antônio Marcus Nogueira.
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
Testes de Conformidade
Controladores Lógicos Programáveis
Autômatos Temporizados
Compliance Tests
Programmable Logic Controllers
Timed Automata
dc.subject.por.fl_str_mv Testes de Conformidade
Controladores Lógicos Programáveis
Autômatos Temporizados
Compliance Tests
Programmable Logic Controllers
Timed Automata
description O objetivo deste trabalho é apresentar um método e disponibilizar uma ferramenta que aumente a confiança e a segurança na automação de processos controlados por Controladores Lógicos Programáveis (CLPs). Para tanto, geração e execução automática de casos de teste de conformidade são utilizadas para verificar se o programa do CLP está em conformidade com a especificação. O método consiste em gerar automaticamente modelos de autômatos temporizados, segundo a sintaxe e semântica da ferramenta Uppaal, a partir de Diagramas de Lógica Binária ISA 5.2 (especificação) e programas escritos na linguagem Ladder (implementação). Após a geração destes modelos, testes de conformidade são realizados usando a ferramenta de teste Uppaal-TRON. Estudos de caso são realizados para validar este trabalho.
publishDate 2009
dc.date.issued.fl_str_mv 2009-08-28
dc.date.accessioned.fl_str_mv 2019-12-05T09:08:19Z
dc.date.available.fl_str_mv 2019-12-05
2019-12-05T09:08:19Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
dc.identifier.citation.fl_str_mv OLIVEIRA, K de V. Geração automática de testes de conformidade para programas de controladores lógicos programáveis. 2009. 117 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2009. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
identifier_str_mv OLIVEIRA, K de V. Geração automática de testes de conformidade para programas de controladores lógicos programáveis. 2009. 117 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2009. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/9874
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/9874/3/K%C3%89ZIA+DE+VASCONCELOS+OLIVEIRA++-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2009..pdf
http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/9874/2/license.txt
bitstream.checksum.fl_str_mv 216358463c089b50353b341cf29ff60c
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1803396620748849152

Registros relacionados