A Unified Design Methodology for Offline and Online Testing
IEEE Design & Test
An approach for formal verification of business processes
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Algorithm for formal verification of business process templates
Cybernetics and Systems Analysis
| Hi-index | 0.00 |
Abstract: An approach for system test design is suggested and justified by the corresponding mathematical model. It is based on the representation of a testing process in an aggregate form of two dynamically interacting components: a control testing table and a testing processor. Control testing tables are equivalent to linear programs which process Boolean arrays. It is proved that the correctness problem for such programs is solvable and polynomial complexity algorithm is suggested. The utilization is considered for the approach when designing system tests for multicomputer systems and complexes, designing a software system for microcode synthesis and for performance evaluation of multi-user systems.