Arineiza Cristina Pinheiro

Possui graduação em Engenharia de Computação pelo Instituto de Ciências Matemáticas e de Computação (2009) e mestrado em Ciências de Computação e Matemática Computacional pelo Instituto de Ciências Matemáticas e de Computação (2012).

Informações coletadas do Lattes em 03/02/2026

Acadêmico

Formação acadêmica

Mestrado em Ciências de Computação e Matemática Computacional

2010 - 2012

Instituto de Ciências Matemáticas e de Computação
Título: Subsídios para a Aplicação de Métodos de Geração de Casos de Testes Baseados em Máquinas de Estados,Ano de Obtenção: 2012
Adenilso da Silva Simão.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: ferramentas de teste; Sistemas Embarcados; Teste de Software.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: ENGENHARIA DE SOFTWARE / Especialidade: TESTE DE SOFTWARE.

Graduação em Engenharia de Computação

2005 - 2009

Instituto de Ciências Matemáticas e de Computação
Título: Estudo e Análise de Ferramentas de Teste como apoio ao Teste de Software Embarcado
Orientador: Márcio Eduardo Delamaro
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Participação em eventos

ESC Brazil. 2012. (Outra).

Workshop de Teses e Dissertações do Congresso Brasileiro de Software.Subsídios para a Aplicação de Métodos de Geração de Casos de Teste Baseados em Máquinas de Estados no Contexto de Sistemas Embarcados. 2011. (Outra).

PROCAD.Subsídios para a Aplicação de Métodos de Geração de Casos de Testes Baseados em Máquinas de Estados. 2010. (Seminário).

SIICUSP.Objetos de Aprendizado como Apoio ao Ensino de Teste de Software. 2008. (Simpósio).

Produções bibliográficas

AMBROSIO, ANA MARIA ; PINHEIRO, ARINEIZA C. ; SIMÃO, ADENILSO . FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study. Journal of Aerospace Technology and Management (Online) , v. 6, p. 447-461, 2014.

Outras produções

PINHEIRO, A. C. ; AMBROSIO, A. M. . MODELAGEM DO MÓDULO DE COMUNICAÇÃO DO SATÉLITE ITASAT SEGUNDO A METODOLOGIA COFI. 2013.

PINHEIRO, A. C. ; SIMAO, A. S. . JPlavisFSM - Manual de Instruções. 2012.

Prêmios

2017

CTFL Foundation Level, BSTQB.

Histórico profissional

Endereço profissional

Mectron. , Avenida Brigadeiro Faria Lima 1399, Parque Martim Cererê, 12227000 - São José dos Campos, SP - Brasil, Telefone: (12) 21394362

Experiência profissional

2012 - 2012

Opto Eletrônica

Vínculo: Celetista, Enquadramento Funcional: Engenheira de Desenvolvimento, Carga horária: 44

Outras informações:
Desenvolvimento de software para equipamentos da área médica - retinógrafo digital (C++).

2009 - 2009

Fundação Centro de Pesquisa e Desenvolvimento em Telecomunicações, CPqD

Vínculo: Estagiario, Enquadramento Funcional: Estagiário em Teste de Sofware Embarcado, Carga horária: 24

2012 - 2014

COMPSIS - Computadores e Sistemas Indústria e Comércio

Vínculo: PJ, Enquadramento Funcional: Analista de Testes, Carga horária: 40

2015 - 2018

Mectron

Vínculo: Celetista, Enquadramento Funcional: Líder Técnica - Teste de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Líder técnica da equipe de teste de sistemas e de software.

2014 - 2015

Mectron

Vínculo: Celetista, Enquadramento Funcional: Analista de Testes, Carga horária: 40

2018 - Atual

Petmondo

Vínculo: Colaborador, Enquadramento Funcional: Gerente de Operações, Carga horária: 32, Regime: Dedicação exclusiva.

Outras informações:
Gestão de operações e integração das área de Negócios, Engenharia e Corporativo.