Generalised stream X-machines with output delimited type

Formal Aspects of Computing

Volumn 12, Issue 6, 2000, Pages 473-484

  Bǎlǎnescu, Tudor ^a  

^a UNIVERSITY OF PITESTI   (Romania)

Author keywords

Design for test conditions; Generalised stream X machines; Output delimited type; Test completeness; W method; Weak output distinguishable type

Indexed keywords

EID: 0038254596     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070006     Document Type: Article

References (12)

1. Bǎlǎnescu, T., Gheorghe, M. and Georgescu, H.: Stream X-Machines with underlying distributed grammars. Informatica, 1999 (submitted).
2. Chow, T. S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3): 178-187, 1978.
3. Eilenberg, S.: Automata, Languages and Machines. Academic Press, London, 1974.
4. Fujiwara, S., Bochmann, G. v., Khendek, F., Amalou, M. and Ghedamsi, A.: Test selection based on finite state models. Publication #716, Departement d'informatique et de recherche operationnelle. University of Montreal, 1990.
5. Fujiwara, S. and Bochmann, G. v.: Testing non-deterministic finite state machines. Publication #758, Departement d'informatique et de recherche operationnelle, University of Montreal, 1991.
6. Holcombe, M.: X-machines as a basis for dynamic system specification. Software Engineering Journal, 3: 69-76, 1988.
7. Holcombe, M. and Ipate F.: Correct Systems: Building a Business Process Solution. Springer, Berlin, 1998.
8. Holcombe, M., Bǎlǎnescu, T., Gheorghe, M. and Radovici-Mǎrculescu, P.: On testing generalized stream X-machines. In G. Pǎun, editor, Recent Topics in Mathematical and Computational Linguistics. Editura Academiei Romane, 130-141, 2000.
9. Hopcroft, J. E., and Ullman, J. D.: Formal Languages and their Relation to Automata. Addison-Wesley, Reading, MA, 1969.
10. Ipate, F. and Holcombe, M.: Another look at computability. Informatica, 20: 359-372, 1996.
11. Ipate, F. and Holcombe, M.: An Integration Testing Method That is Proved to Find all Faults. International Journal of Computer Mathematics. 69: 159-178, 1997.
12. Ipate, F. and Holcombe, M.: Generating test sequences from non-deterministic X-machines. Unpublished manuscript, 1999.