Abstract | ||
---|---|---|
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an extension of the most popular and most efficient selection method widely used in the algebraic framework, called axiom unfolding, to coalgebraic specifications, using the modal logic provided by the CoCasl specification language. |
Year | Venue | Keywords |
---|---|---|
2007 | CALCO | black-box testing,efficient selection method,particular case,modal logic,formal specification,algebraic framework,specification-based testing,cocasl specification language,modal specification,test case,black box testing,specification language |
Field | DocType | Volume |
Specification language,Discrete mathematics,Programming language,Programming language specification,Computer science,Axiom,Formal specification,Language Of Temporal Ordering Specification,Test case,Modal logic,Modal | Conference | 4624 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.35 |
References | Authors | |
21 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Delphine Longuet | 1 | 64 | 7.82 |
Marc Aiguier | 2 | 98 | 14.95 |