Test generation from state based use case models

DOI10.1007/S00165-012-0258-ZzbMATH Open1342.68210OpenAlexW2081720016MaRDI QIDQ736788FDOQ736788

Authors: Sidney Nogueira, Augusto Sampaio, Alexandre Mota 

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-012-0258-z

Recommendations

• Guided Test Generation from CSP Models
• scientific article; zbMATH DE number 1951135
• Test generation from integrated system models capturing state-based and MSC-based notations
• scientific article; zbMATH DE number 2079824
• scientific article; zbMATH DE number 1951206

zbMATH Keywords

CSPtest generationconformance testingnatural languagetest modeluse cases

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Natural language processing (68T50)

Cites Work

• FM 2005: Formal Methods
• CSP with Hierarchical State
• Title not available (Why is that?)
• Model-based testing of reactive systems. Advanced lectures.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integrated Formal Methods
• Guided Test Generation from CSP Models
• Title not available (Why is that?)
• A mechanized strategy for safe abstraction of CSP specifications
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Testing using CSP Models: Time, Inputs, and Outputs
• Title not available (Why is that?)
• Test generation from integrated system models capturing state-based and MSC-based notations
• Modelling timed reactive systems from natural-language requirements
• Guided Test Generation from CSP Models
• Formal Approaches to Software Testing
• A novel approach to generate test cases using class and sequence diagrams
• Aiding exploratory testing with pruned GUI models
• \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR
• Towards a model-checker for \textit{\textsf{Circus}}

Uses Software

• STG
• SpecExplorer
• FDR2

This page was built for publication: Test generation from state based use case models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736788)