Name
Abstract | ||
|---|---|---|
The notion of cause-effect graphs (CEGs) has been used for the specification and test generation of a software system. In this paper, we present a fault-based approach to test generation for CEGs, called BOR (boolean operator) testing, which is based on the detection of boolean operator faults. We show how to generate a minimum BOR test set for a CEG and how to evaluate an existing test set for a CEG in order to determine whether additional tests are necessary for BOR testing. We have applied BOR testing to a CEG that specifies a real-time boiler control and monitoring system. The results of our empirical studies indicate that CEG-based BOR testing is very practical and effective. |
Year | Venue | Keywords |
|---|---|---|
1993 | CASCON | software system,bor testing,existing test,cause-effect graph,test generation,fault-based test generation,boolean operator,additional test,minimum bor test,ceg-based bor testing,boolean operator fault,empirical study,software systems,real time |
Field | DocType | Citations |
Graph,Monitoring system,Computer science,Software system,Theoretical computer science,Boolean algebra,Empirical research,Test set | Conference | 2 |
PageRank | References | Authors |
0.53 | 2 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kuo-chung Tai | 1 | 1274 | 132.89 |
| Amit Paradkar | 2 | 535 | 29.65 |
| Hsun-Kang Su | 3 | 2 | 0.53 |
| Mladen A. Vouk | 4 | 452 | 49.92 |