Formal mutation testing in Circus process algebra (2018)
- Authors:
- Autor USP: ALBERTO, ALEX DONIZETI BETEZ - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: SOFTWARES; ENGENHARIA DE SOFTWARE
- Keywords: Álgebra de processos; Circus; Circus; Espeficicação formal; Formal specification; Mutation testing; Process algebra; Teste de mutação
- Language: Inglês
- Abstract: ÁLGEBRAS de processos são uma família de técnicas de especificação e análise formal utilizadas em sistemas computacionais, especialmente em contextos de processos independentes, que atuam paralelamente e efetuam comunicação entre si. São os chamados sistemas concorrentes. Circus é uma álgebra de processos que agrega a capacidade de expressão de comportamentos concorrentes do CSP com a modelagem predicativa de dados da notação Z. Trabalhos recentes vêm estabelecer uma teoria para o teste simbólico exaustivo baseado em especificações modeladas em Circus. Com o objetivo de viabilizar a aplicação prática desses testes, é conveniente estudar critérios que reduzam o conjunto de casos de teste que, pela sua natureza exaustiva, torna-se frequentemente infinito. Neste sentido, o presente trabalho propõe a aplicação de técnicas de teste de mutação à partir de especificações Circus, visando a cobertura de falhas inseridas por meio de operadores de mutação já conhecidos, juntamente com operadores propostos especificamente para a linguagem. Algumas contribuições foram produzidas na busca destes objetivos, como o estabelecimento de uma teoria formal para a aplicação de teste de mutação em especificações Circus e a implementação de um gerador de rastros simbólicos para a mesma linguagem.
- Imprenta:
- Publisher place: São Carlos
- Date published: 2018
- Data da defesa: 21.09.2018
-
ABNT
ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 17 out. 2024. -
APA
Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/ -
NLM
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 out. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/ -
Vancouver
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 out. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
