Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce t...Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.展开更多
This paper investigates the controllability problem of time-variant linear stochastic controlsystems.A sufficient and necessary condition is established for stochastic exact controllability,whichprovides a useful alge...This paper investigates the controllability problem of time-variant linear stochastic controlsystems.A sufficient and necessary condition is established for stochastic exact controllability,whichprovides a useful algebraic criterion for stochastic control systems.Furthermore,when the stochasticsystems degenerate to deterministic systems,the algebraic criterion becomes the counterpart for thecomplete controllability of deterministic control systems.展开更多
文摘Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. This letter presents two test generation algorithms based on binary decision diagrams to produce tests for the Multiple-Condition Criterion(M-CC) and the Modified Condition/Decision Criterion(MC/DC), and describes the design of the C program Coverage Measurement Tool (CCMT), which can record dynamic behaviors of C programs and quantify test coverage.
基金supported by the National Natural Science Foundation under Grant Nos.60904029 and 60704002the State Key Laboratory under Grant No.RCS2008ZT002
文摘This paper investigates the controllability problem of time-variant linear stochastic controlsystems.A sufficient and necessary condition is established for stochastic exact controllability,whichprovides a useful algebraic criterion for stochastic control systems.Furthermore,when the stochasticsystems degenerate to deterministic systems,the algebraic criterion becomes the counterpart for thecomplete controllability of deterministic control systems.
