Wyniki wyszukiwania - Biblioteka Nauki

1

Test signal generation for service diagnosis based on local structural properties

100%

Ungermann M. , Lunze J. , Schwarzmann D.

International Journal of Applied Mathematics and Computer Science

|

2012

|

tom 22

|

nr 1

55-65

EN

The paper presents a new approach to the generation of test signals used in service diagnosis. The tests make it possible to isolate faults, which are isolable only if the system is brought into specific operating points. The basis for the test signal selection is a structure graph that represents the couplings among the external and internal signals of the system and the fault signals. Graph-theoretic methods are used to identify edges that disappear under certain operating conditions and prevent a fault from changing the system behavior at this operating point. These operating conditions are identified by validuals, which are indicators obtained during the graph-theoretic analysis. The test generation method is illustrated by a process engineering example.

2

Complete Testing from a Stream X-Machine Specification

88%

Ipate F. , Holcombe M.

Fundamenta Informaticae

|

2005

|

tom Vol. 64, nr 1-4

205-216

EN

One of the strengths of using a stream X-machine to specify a system is that, under certain well defined conditions, it is possible to produce a test set that is guaranteed to determine the correctness of the implementation. This testing method assumes that the processing functions are correctly implemented, therefore it only tests the integration of the processing functions implementations into the system implementation. This paper uses a case study to illustrate how this method can be extended so that it will no longer require the implementations of the processing functions to be proved correct before the actual system testing can take place. Instead, the testing of the processing functions is performed along with the integration testing.

3

Refinement in Finite State Machine Testing

88%

Ipate F. , Bălănescu T.

Fundamenta Informaticae

|

2005

|

tom Vol. 64, nr 1-4

191-203

EN

The paper formalizes two types of refinement for finite state machines: OR refinement and p-OR refinement. For each such type of refinement, it shows that, if the implementation is also constructed through a process of refinement, then the application of Chow's W test generation method can be distributed into smaller chunks, thus diminishing the effort devoted to testing and the size of the final test set.

4

Test signal generation for service diagnosis based on local structural properties

75%

Ungermann M. , Lunze J. , Schwarzmann D.

International Journal of Applied Mathematics and Computer Science

|

2012

|

tom Vol. 22, no. 1

55-65

EN

The paper presents a new approach to the generation of test signals used in service diagnosis. The tests make it possible to isolate faults, which are isolable only if the system is brought into specific operating points. The basis for the test signal selection is a structure graph that represents the couplings among the external and internal signals of the system and the fault signals. Graph-theoretic methods are used to identify edges that disappear under certain operating conditions and prevent a fault from changing the system behavior at this operating point. These operating conditions are identified by validuals, which are indicators obtained during the graph-theoretic analysis. The test generation method is illustrated by a process engineering example.