Formalization of control-flow criteria of software testing

摘要: AbstractThis paper describes an approach to formalization of criteria complex computersystems software testing. A brief review control-flow is introduced.As a formal language for describing the criteria, Z notation selected. Zschemas are presented definitions following criteria: statement coverage,decision coverage, condition decision/condition full predicatecoverage, modified condition/decision and multiple coverage. Thischaracterization could help in correct understanding different types testingand also application desired testing regime. 1 Introduction Software one important methods quality, reliability safetyassurance. Importance increasing as result extensionof computer system use such safety-critical areas nuclear power engineering,aviation, cosmonautics, railway transport.Software (or else, test data adequacy or coverage criteria) playa large role whole process. These used [34]:• stopping rules that determines whether sufficient has been done it canbe stopped;• measurements quality when degree associated with each testset;• generators, i.e. using selection. Test sets considered equivalentif they satisfied same criterion.The regulatory requirements during certification andlicensing its own specific features. In time assessment, thestage assessment most where basic efforts experts should beconcentrated [31].The traditionally divided into structural white-box) functional black-box) [20, 26]. Structural whichtake account internal structure program, turn data-flow1