Test generation from state based use case models

DOI10.1007/S00165-012-0258-ZMaRDI QIDQ736788zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 5540316 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 2079824 (Why is no real title available?)
• scientific article; zbMATH DE number 1487484 (Why is no real title available?)
• scientific article; zbMATH DE number 2090136 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A mechanized strategy for safe abstraction of CSP specifications
• CSP with Hierarchical State
• FM 2005: Formal Methods
• Guided Test Generation from CSP Models
• Integrated Formal Methods
• Model-based testing of reactive systems. Advanced lectures.

Cited in

(12)

• Testing using CSP Models: Time, Inputs, and Outputs
• Test generation from integrated system models capturing state-based and MSC-based notations
• A novel approach to generate test cases using class and sequence diagrams
• \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR
• Towards a model-checker for \textit{\textsf{Circus}}
• A framework for generating prioritised test scenarios using firefly optimisation technique
• Formal specification generation from requirement documents
• Formal Approaches to Software Testing
• Modelling timed reactive systems from natural-language requirements
• scientific article; zbMATH DE number 1951135 (Why is no real title available?)
• Guided Test Generation from CSP Models
• Aiding exploratory testing with pruned GUI models

Describes a project that uses

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)