BDDmeter – Uma Ferramenta para Visualização Dinâmica de BDDs
Resumo
BDDs formam uma família de estruturas de dados utilizadas em diversos tipos de ferramentas de apoio à engenharia de sistemas computacionais como a verificação formal de software. BDDmeter é uma extensão gráfica para bibliotecas de BDDs a partir da qual é possível monitorar o comportamento de BDDs com o decorrer do tempo. BDDmeter possibilita em particular visualizar, sob forma de gráfico ou de texto, informações relevantes para o usuário das ferramentas baseadas em BDDs, a fim de entender melhor eventuais gargalos ocorrendo ao decorrer da execução.
Referências
A. Aziz, S. Tașiran, and R.K. Brayton. Bdd variable ordering for interacting finite state machines. In 31st annual conference on Design Automation conference: DAC'94, pages 283-288, 1994.
K. Brace, R. Rudell, and R. Bryant. Efficient implementation of a bdd package. In 27th ACM/IEEEE Design Automation Conference, pages 40-45, June 1990.
R.E. Bryant. Graph-based algorithm for boolean function manipulation. IEEE Transactions Computers, C(35):1035-1044, 1986.
G. Kamhi and L. Fix. Adaptative variable ordering for symbolic model checking. In 1998 IEEE/ACM international conference on Computer-aided design: ICCAD'98, pages 359-365. 1998.
R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In 1993 IEEE/ACM international conference on Computer-aided design: ICCAD'93, pages 42-47.1993.
Sun Microsystems. Programming with threads, 1996.
Trolltech. QT Reference Documentation (version 2.2.1), 2000.
K. Brace, R. Rudell, and R. Bryant. Efficient implementation of a bdd package. In 27th ACM/IEEEE Design Automation Conference, pages 40-45, June 1990.
R.E. Bryant. Graph-based algorithm for boolean function manipulation. IEEE Transactions Computers, C(35):1035-1044, 1986.
G. Kamhi and L. Fix. Adaptative variable ordering for symbolic model checking. In 1998 IEEE/ACM international conference on Computer-aided design: ICCAD'98, pages 359-365. 1998.
R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In 1993 IEEE/ACM international conference on Computer-aided design: ICCAD'93, pages 42-47.1993.
Sun Microsystems. Programming with threads, 1996.
Trolltech. QT Reference Documentation (version 2.2.1), 2000.
Publicado
03/10/2001
Como Citar
MEDEIROS, Sérgio Queiroz de; DÉHARBE, David.
BDDmeter – Uma Ferramenta para Visualização Dinâmica de BDDs. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 15. , 2001, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2001
.
p. 350-355.
DOI: https://doi.org/10.5753/sbes.2001.24001.
