Abstract | ||
---|---|---|
We introduce an approach for the construction of feature test models expressed in the CSP process algebra, from use cases described in a controlled natural language. From these models, our strategy automatically generates test cases for both individual features and feature interactions, in the context of an industrial cooperation with Motorola Inc., where each feature represents a mobile device functionality. The test case generation can be guided by test purposes, which allow selection based on particular traces of interest. More generally, we characterise a testing theory in terms of CSP: test models, test purposes, test cases, test execution, test verdicts and soundness are entirely defined in terms of CSP processes and refinement notions. We have also developed a tool, ATG, which mechanises the entire generation process. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-85762-4_18 | ICTAC |
Keywords | Field | DocType |
test case generation,feature interaction,test verdict,test model,guided test generation,feature test model,test execution,csp process,csp process algebra,test purpose,csp models,test case,process algebra,mobile device,use case | Automatic test pattern generation,Controlled natural language,Test Management Approach,Computer science,Test theory,Theoretical computer science,Scenario testing,Test case,Soundness,Process calculus | Conference |
Volume | ISSN | Citations |
5160 | 0302-9743 | 11 |
PageRank | References | Authors |
0.74 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sidney Nogueira | 1 | 49 | 5.69 |
Augusto Sampaio | 2 | 501 | 43.38 |
Alexandre Cabral Mota | 3 | 199 | 18.27 |