Abstract | ||
---|---|---|
There are two camps of software developers: formal methods advocates battling against traditionalist supporters of software testing and assessment metrics. Surely, as Turing observed, we will (must) never do away with testing in some form. But clearly, formal methods cannot be ignored, and must be the basis of quality assurance in some form. Important impacts of specifications on testing are in test selection, test oracles, and analysis of test suites and theoretical results of testing. We... |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/978-1-4471-3452-7_4 | Z User Workshop |
Keywords | Field | DocType |
test oracle,quality assurance,formal method,software development,software testing | Black-box testing,System integration testing,Software engineering,Test Management Approach,Computer science,Manual testing,Exploratory testing,White-box testing,Software construction,Test strategy | Conference |
Citations | PageRank | References |
35 | 3.59 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
David A. Carrington | 1 | 726 | 66.08 |
Phil Stocks | 2 | 263 | 20.84 |