He, Ren Wei (2003) Test adequacy measurement for real-time reactive system. Other thesis, Concordia University.
In the context of safety-critical systems, which are real-time reactive systems, testing process must be integrated with the software development process as a whole, not just with the end product. Consequently, measuring the efficiency of the testing process emerges as an important issue. To be accurate and meaningful, both the measurement and the components to be measured must be precisely described. The measurement should conform to the axioms of measurement theory, and the software development process should be grounded on rigorous formalism. In this paper we introduce test adequacy measurement for measuring the efficiency of testing process integrated into a rigorous environment for developing real-time reactive systems. The test data adequacy measurement associates a degree of test set adequacy according to the test data adequacy criterion to indicate how adequately the testing has been performed. There are two important measures associated with every test data adequacy criterion and minimum number of test cases. The measurement method is illustrated with Train-Gate-Controller design, a bench-mark example in real-time system design.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Other)|
|Authors:||He, Ren Wei|
|Pagination:||viii, 53 leaves : ill. ; 29 cm.|
|Degree Name:||Major reports (M.Comp.Sc.)|
|Program:||Computer Science and Software Engineering|
|Thesis Supervisor(s):||Ormandjieva, Olga|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 13:25|
|Last Modified:||08 Dec 2010 10:24|
Repository Staff Only: item control page