Titlebook: Software Verification and Analysis; An Integrated, Hands William Stanley,Janusz Laski Textbook 2009 Springer-Verlag London 2009 Debugging.P

Anticlimax

倔强不能

Program Dependencieshey are explicitly or implicitly the basis of static (source-based) and dynamic (execution-based) program analysis. The basic two are the Control and Data Dependencies. The former accounts for the selection of program statements for execution, while the latter models data exchange between program st

不要严酷

What Can One Tell About a Program Without Its Execution: Static Analysisin the program (the descriptive analysis). Static analysis is also a prerequisite for structural, white-box program testing. Either kind of static analysis can be carried out at the procedural or at the system level. In this chapter we first discuss the detection of control and data flow anomalies u

PATRI

Is There a Bug in the Program? Structural Program Testingared with the expected ones, prescribed by the testing “oracle,” ideally the program specification. However, in structural testing, tests are synthesized on the basis of the code itself, rather than its specification. A structural testing strategy is defined in terms of ., i.e, program statements, o

使残废

JECT

nonchalance

https://doi.org/10.1007/978-1-84882-240-5Debugging; Program dependencies; Program proving; Software verification; Static analysis; software; testin

牌带来

William Stanley,Janusz LaskiEmphasis is given to the integration of the most important aspects of software verification – program proving, static analysis and testing in one book.Provides tool support for each of the verificatio

赞成你

978-1-84996-829-4Springer-Verlag London 2009

声音刺耳