Complete Testing from a Stream X-Machine Specification

• Autorzy: Ipate F. , Holcombe M.
• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

testing; test generation; verification; stream X-machines; finite state machine

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 64, nr 1-4
• Strony: 205--216
• Opis fizyczny: Bibliogr. 19 poz.

Twórcy

autor

Ipate F.

• University of Pitesti, Str.Targu din Vale 1, 0300 Pitesti, Romania

autor

Holcombe M.

• Department of Computer Science University of Sheffield, U.K.

Bibliografia

• [1] Aguado, J., Bălănescu, T., Cowling, T., Gheorghe, M., Holcombe, M., Ipate, F.: P Systems with Replicated Rewriting and Stream X-machines (Eilenberg machines), Fundamenta Informaticae, 49(1-3), 2002, 17–33.
• [2] Bălănescu, T.: Generalized Stream X Machines with Output Delimited Type, Formal Aspects of Computing, 12(6), 2000, 473–484.
• [3] Bălănescu, T., Gheorghe, M., Ipate, F., Holcombe, M.: Formal Black Box Testing for Partially Specified Deterministic Finite State Machines, Foundations of Computing and Decision Systems, 28(1), 2003, 17–28.
• [4] Bogdanov, K., Holcombe,M.: Statechart TestingMethod for Aircraft Control Systems, J. Softw. Test. Verific. Reliability, 11, 2001, 39–54.
• [5] Chambers, S.: Applying X-machines in the Retrospective Testing of Software, Ph.D. Thesis, University of Sheffield, 200.
• [6] Cheng, K.-T., Krishnakumar, A.: Automatic Functional Test Generation Using the Extended Finite State Machine Model, Proceedings of the 30th Design Automation Conference, Dallas, Texas, USA, June, ACM Press, New Orleans, 1993.
• [7] Chow, T.: Testing Software Design Modeled by Finite-state, IEEE Trans. Softw. Engrg, 4, 1978, 178–187.
• [8] Eilenberg, S.: Automata, Languages and Machines, vol. A of Encyclopaedia of Mathematical Sciences, Academic Press, 1974.
• [9] Hierons, R., R.M., Harman, M.: Testing Conformance to a Quasi-non-deterministic Stream X-machine, Formal Aspects of Computing, 12(6), 2000, 423–442.
• [10] Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution, Springer-Verlag, Berlin, 1998.
• [11] Holcombe,M., Ipate, F., Grondoudis, A.: Complete Functional Testing of Safety-Critical Systems, Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, USA, 1-3 November, Elsevier, Oxford, 1995.
• [12] Ipate, F.: Complete DSXM Testing, Formal Aspects of Computing, 2004, to appear.
• [13] Ipate, F., Holcombe,M.: An Integration Testing Method that is Proved to Find All Faults, Intern. J. Comput. Math, 69, 1997, 159–178.
• [14] Ipate, F., Holcombe, M.: Specification and Testing using Generalized Machines: a Presentation and a Case Study, Software Testing, Verification and Reliability, 8, 1998, 61–81.
• [15] Ipate, F., Holcombe, M.: Generating Test Sequences from Non-deterministic Generalized Stream Xmachines, Formal Aspects of Computing, 12(6), 2000, 443–458.
• [16] Marcus, S.: Gramatici s¸i Automate Finite, Editura Academiei, 1964 (in Romanian).
• [17] Marcus, S., Păun, G., Martin-Vide, C.: Contextual Grammars as Generative Models of Natural Languages, Computational Linguistics, 24(2), 1998, 245–274.
• [18] Ostrand, T., Balcer, M.: The Category-Partition Method for Specifying and Generating Functional Tests, Communication of the ACM, 31(6), 1989, 667–686.
• [19] Wang, C., Liu, M.: Generating Test Cases for EFSM with Given Fault Models, Proceedings of IEEE INFOCOM ’93, 28 March - 1 April, San Francisco, 2, IEEE, San Francisco, 1993.