Incremental integration testing of concurrent programs.

We present a method for selecting test sequences for concurrent programs from labeled transitions systems (LTS). A common approach to selecting test sequences from a set of LTSs is to derive a global LTS, called the reachability graph, and then force deterministic program executions according to pat...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τόπος έκδοσης:	IEEE Transactions on software engineering 28, 6 (2002).
Κύριος συγγραφέας:	Koppol, P.V
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	ALTS reduction algorithm. Annotated labeled transition system. Concurrent program testing. Deterministic program executions. Deterministic testing. Global LTS. Incremental integration testing. Incremental reachability analysis techniques. Incremental testing. Labeled transitions systems. Reachability graph. Reduced graph. State explosion problem. Structural testing. Test execution. Test path selection. Test sequences.