You are here: UCM Web>UCMVirtualLibrary>VirLibIECCS08 (08 Nov 2009)


Test is important part of every industrial flow. Therefore preparation of it is in the early phase of development. An effective method is to use User Requirements Notation (URN) for it. It contains two parts: Goal-oriented Requirement Language (GRL) and Use Case Maps (UCM). It can give the test goals with the help of and GRL and it can provide exact formal description for test generation with the help of UCM. Finally it can link to other mathematical formal models like Communicating Sequential Processes (CSP) or Control Signal CSP (CSCSP). A test system that is described by CSP, a modified CSP that is called CSCSP and a test aspect of URN is combined in this paper. The whole method becomes more useful with the combination of these three solutions, because it can be used in the area of test from the beginning to the end.

-- Daniel Amyot - 12 Mar 2009


  • Paper available at
  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

Form For Virtual Library edit

Title Combined Test Model
Authors S. Jaskˇ, T. Dulai, and D.Muhi
Type Conference
Conference/Journal Title Int. Electronic Conference on Computer Science
Volume/Number Vol. 1060
Publisher AIP Conference Proceedings
Month November
Year 2008
Pages 406-408
DOI 10.1063/1.3037105
Keywords Telecommunication, programming languages, information theory, testing, GRL, UCM
Topic revision: r2 - 08 Nov 2009 - 14:08:15 - Hanane Becha
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback