Skip to main content
SpringerLink
Log in

Systems with priorities: Conformance, testing, and composition

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

An approach to modeling the components of distributed systems whose interaction is based on handling events with regard for their priorities is considered. Although the priority-based servicing of requests or messages is widely used in practice, the mathematical models of the interaction of such programs often neglect the priorities thus introducing extra nondeterminism in the description of their behavior. The proposed approach attempts to avoid this drawback by defining the parallel composition that provides a model for the interaction of this kind. The subject matter of this paper is the development of a formal theory of testing the components that use priorities. Within this theory, the concept of a safe execution of the model and the conformance relation between the models are introduced, and the generation of test suites that check conformity is considered.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. van Glabbeek, R.J., The Linear Time—Branching Time Spectrum, Proc. of CONCUR’93, Baeten, J.C.M. and Klop, J.W., Eds., Lect. Notes Comput. Sci., 1990, vol. 458, pp. 278–297.

  2. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Formalization of Test Experiments, Programmirovanie, 2007, no. 5 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 5, pp. 239–260].

  3. Bourdonov, I.B., Conformance Theory for the Functional Testing of Software Systems Based on Formal Models, Doctoral (Math.) Dissertation, Moscow: Institute for System Programming, Russian Academy of Sciences, 2008; http://www.ispras.ru/~RedVerst/Red-Verst/Publications/TR-01-2007.pdf.

    Google Scholar 

  4. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Teoriya sootvetstviya dlya system s blokirovkami i razrusheniem (Conformance Theory for Systems with Refusals and Destruction, Moscow: Nauka, 2008.

    Google Scholar 

  5. van Glabbeek, R.J., The Linear Time—Branching Time Spectrum, Proc. of CONCUR’90, Baeten, J.C.M. and Klop, J.W., Eds., Lect. Notes Comput. Sci., 1990, vol. 458, pp. 278–297.

  6. Milner, R., Modal Characterization of Observable Machine Behavior, Proc. CAAP, 1981, Astesiano, G. and Bohm, C., Eds., Lect. Notes Comput. Sci., 1981, vol. 112, pp. 25–34.

  7. Petrenko, A., Yevstushenko, N., and Huo, J.L., Testing Transition Systems with Input and Output Testers, Proc. 15th Int. Conf. on Communicating Systems, TestCom’2003, Sophia, Antipolis, France, pp. 129–145.

  8. Bourdonov, I.B. and Kossatchev, A.S., Testing Components of a Distributed System, Trudy Vserossiiskoi konferentsii nauchnyi servis v seti Internet (Proc. of the All-Russia Conf. on the Research Services on the Internet), Moscow: Mosk. Gos. Univ., 2005, pp. 63–65.

    Google Scholar 

  9. Bourdonov, I.B. and Kossatchev, A.S., Verification of the Composition of a Distributed System, Trudy Vserossiiskoi konferentsii nauchnyi servis v seti Internet (Proc. of the All-Russia Conf. on the Research Services on the Internet), Moscow: Mosk. Gos. Univ., 2005, pp. 67–69.

    Google Scholar 

  10. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions, Proc. of MBT, Vienna, 2006.

  11. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., “Security, Verification, and Conformance Theory,” in Materialy vtoroi mezhdunarodnoi nauchnoi konferentsii po problemam bezopasnosti I protivideistviya terrorizmu (Proc. of the Second Int. Conf. on Security Problems and Terrorism Counteractions), Moscow: MNTsMO, 2007.

    Google Scholar 

  12. Heerink, L. and Tretmans, J., Refusal Testing for Classes of Transition Systems with Inputs and Outputs, in Formal Description Techniques and Protocol Specification, Testing and Verification, Chapman & Hill, 1997.

  13. Heerink, L., Ins and Outs in Refusal Testing, PhD Thesis, Enschede, Netherlands: Univ. of Twente, 1998.

    Google Scholar 

  14. Lestiennes, G. and Gaudel, M.-C., Test de systemes reactifs non receptifs, J. Europ. des Systemes Automatises, Modelisation des Systemes Reactifs, 2005, pp. 255–270.

  15. Milner, R., A Calculus of Communicating Systems, Lect. Notes Comput. Sci., 1980, vol. 92.

  16. Milner, R., Communication and Concurrency, PrenticeHall, 1989.

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 109004, Russia

    I. B. Bourdonov & A. S. Kossatchev

Authors
  1. I. B. Bourdonov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. S. Kossatchev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to I. B. Bourdonov.

Additional information

Original Russian Text © I.B. Bourdonov, A.S. Kossatchev, 2009, published in Programmirovanie, 2009, Vol. 35, No. 4.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bourdonov, I.B., Kossatchev, A.S. Systems with priorities: Conformance, testing, and composition. Program Comput Soft 35, 198–211 (2009). https://doi.org/10.1134/S0361768809040045

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768809040045

Keywords

Search

Navigation