查看文章

The method of behavioral energy-loaded testing considered in this paper are based on Petri nets, extended by temperature and volt/ampere characteristics, and have the features of a comprehensive consideration of behavioral and energy characteristics in their relationship, performed in event aspect. These features connect the allowable boundary temperature-voltage characteristics with behavioral events/actions in positions/transitions of Petri nets. The use of the proposed method of such a special additional analysis of energy characteristics in complex testing technologies makes it possible to increase the completeness and flexibility of testing computer systems while reducing its execution time.