Abstract | ||
---|---|---|
We present a strategy for the automatic generation of test cases from parametrised use case templates that capture control flow, state, input and output. Our approach allows test scenario selection based on particular traces or states of the model. The templates are internally represented as CSP processes with explicit input and output alphabets, and test generation is expressed as counter-examples of refinement checking, mechanised using the FDR tool. Soundness is addressed through an input---output conformance relation formally defined in the CSP traces model. This purely process algebraic characterisation of testing has some potential advantages, mainly an easy automation of conformance verification and test case generation via model checking, without the need to develop any explicit algorithm. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/s00165-012-0258-z | Formal Asp. Comput. |
Keywords | Field | DocType |
use case model,test case generation,model checking,output alphabet,explicit input,test generation,output conformance relation,automatic generation,test scenario selection,conformance verification,test case,csp,conformance testing,use cases,natural language | Model checking,Programming language,Use case,Computer science,Input/output,Theoretical computer science,Conformance testing,Automation,Scenario testing,Test case,Soundness | Journal |
Volume | Issue | ISSN |
26 | 3 | 1433-299X |
Citations | PageRank | References |
21 | 1.12 | 29 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sidney Nogueira | 1 | 49 | 5.69 |
Augusto Sampaio | 2 | 501 | 43.38 |
Alexandre Cabral Mota | 3 | 199 | 18.27 |