| Summary: | A modelagem em \textit{Statecharts} do código fonte de softwares \textit{multithreads} é proposta neste trabalho. O objetivo deste trabalho é explorar testes caixa branca utilizando \textit{Statecharts}. O modelo proposto realiza a modelagem de softwares \textit{multithreads} em \textit{Statecharts}. Então, uma ferramenta desenvolvida no Instituto Nacional de Pesquisas Espaciais (INPE), chamada WEB-PerformCharts converterá a especificação obtida para uma Máquina de Estados Finita (MEF) plana. Isto torna possível a implementação de critérios para derivar casos de testes para testes tipo caixa branca para sistemas concorrentes. Um experimento de avaliação do modelo proposto é descrito. Os resultados obtidos comprovam que o modelo é capaz de realizar a especificação de softwares \textit{multithreads} em \textit{Statecharts} e derivar casos de testes que possibilitam exercitar as características de concorrência e paralelismo de sistemas concorrentes. === A computational model capable to perform the modeling in Statecharts of the source co de of a multithread software is proposed in this work. The objective of this dissertation is to explore the white box testing using Statecharts. The proposed model performs modeling in Statecharts. Then, a developed tool at INPE, called WEB-PerformCharts converts the specification into fiat FSM. With FSM, it is possible to implement methods to generate white box test cases for concurrent systems. An experiment to evaluate the proposed model is described. The results show that the model is capable of specifying multithread software in Statecharts and generate test cases that exercise the characteristics of concurrency and parallelism of concurrent systems.
|
|---|
