{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T16:40:08Z","timestamp":1654101608232},"reference-count":25,"publisher":"IGI Global","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10,1]]},"abstract":"<p>The paper presents an approach for model-based black-box conformance testing of preemptive real-time systems using Labeled Prioritized Time Petri Nets with Stopwatches (LPrSwTPN). These models not only specify system\/environment interactions and time constraints. They further enable modelling of suspend\/resume operations in real-time systems. The test specification used to generate test primitives, to check the correctness of system responses and to draw test verdicts is an LPrSwTPN made up of two concurrent sub-nets that respectively specify the system under test and its environment. The algorithms used in the TINA model analyzer have been extended to support concurrent composed subnets. Relativized stopwatch timed input\/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Assuming the modelled systems are non deterministic and partially observable, the paper proposes a test generation and execution algorithm which is based on symbolic techniques and implements an online testing policy and outputs test results for the (part of the) selected environment.<\/p>","DOI":"10.4018\/ijertcs.2013100101","type":"journal-article","created":{"date-parts":[[2014,6,17]],"date-time":"2014-06-17T14:55:09Z","timestamp":1403016909000},"page":"1-26","source":"Crossref","is-referenced-by-count":1,"title":["Conformance Testing of Preemptive Real-Time Systems"],"prefix":"10.4018","volume":"4","author":[{"given":"Noureddine","family":"Adjir","sequence":"first","affiliation":[{"name":"Faculty of Exact and Applied Sciences, University of Oran, Oran, Algeria"}]},{"given":"Pierre","family":"de Saqui-Sannes","sequence":"additional","affiliation":[{"name":"ISAE, University of Toulouse, Toulouse, France"}]},{"given":"Kamel Mustapha","family":"Rahmouni","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Oran, Oran, Algeria"}]}],"member":"2432","reference":[{"key":"ijertcs.2013100101-0","first-page":"1","article-title":"Testing real-time systems using TINA.","volume":"5826","author":"N.Adjir","year":"2009","journal-title":"TESTCOM-FATES, LNCS"},{"key":"ijertcs.2013100101-1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ijertcs.2013100101-2","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., & Roux, O. H. (2005). When are timed automata weakly timed bisimilar to time petri nets? In FSTTCS, LNCS (Vol. 3821, pp. 273-284). Springer.","DOI":"10.1007\/11590156_22"},{"key":"ijertcs.2013100101-3","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00075-2"},{"key":"ijertcs.2013100101-4","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0140-2"},{"key":"ijertcs.2013100101-5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0011-y"},{"key":"ijertcs.2013100101-6","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Peres, F., & Vernadat, F. (2006). Bridging the gap between timed automata and bounded time petri nets. In FORMATS, LNCS, (Vol. 4202, pp. 82-97). Springer-Verlag.","DOI":"10.1007\/11867340_7"},{"key":"ijertcs.2013100101-7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_37"},{"key":"ijertcs.2013100101-8","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Peres, F., & Vernadat, F. (2008). Abstract state spaces for time petri nets analysis. In ISORC, IEEE computer Society, Orlando, FL (pp. 298\u2013304).","DOI":"10.1109\/ISORC.2008.75"},{"key":"ijertcs.2013100101-9","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"ijertcs.2013100101-10","doi-asserted-by":"crossref","unstructured":"Bertrand, N., J\u00e9ron, T., Stainer, A., & Krichen, M. (2012). Off-line test selection with test purposes for non-deterministic timed automata. Logical Methods in Computer Science, 8(4).","DOI":"10.2168\/LMCS-8(4:8)2012"},{"key":"ijertcs.2013100101-11","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000026093.21513.31"},{"key":"ijertcs.2013100101-12","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.6"},{"key":"ijertcs.2013100101-13","doi-asserted-by":"crossref","unstructured":"Brinksma, E., & Tretmans, J. (2000). Testing transition systems: An annotated bibliography. In Proceedings of the MOVEP 2000, LNCS, (vol. 2067, pp. 187-195), Nantes, France. Springer-Verlag","DOI":"10.1007\/3-540-45510-8_9"},{"key":"ijertcs.2013100101-14","first-page":"138","article-title":"The impressive power of stopwatches.","volume":"1877","author":"F.Cassez","year":"2000","journal-title":"CONCUR, LNCS"},{"issue":"4","key":"ijertcs.2013100101-15","first-page":"371","article-title":"Timed automata with periodic clock constraints.","volume":"5","author":"C.Choffrut","year":"2000","journal-title":"JALC"},{"key":"ijertcs.2013100101-16","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050044"},{"key":"ijertcs.2013100101-17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023491"},{"key":"ijertcs.2013100101-18","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739748"},{"key":"ijertcs.2013100101-19","doi-asserted-by":"crossref","unstructured":"Hessel, A. Larsen k, G., Mikucionis, M., Nielsen, B., Petterson, P., & Skou, A. (2008). Testing real-time systems using UPPAAL. In Formal methods and testing, LNCS (Vol 4949, pp. 77-117). Springer.","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"ijertcs.2013100101-20","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0065-1"},{"issue":"3","key":"ijertcs.2013100101-21","first-page":"151","article-title":"Generating real-time software test cases by time petri nets. IJCA (EI journal)","volume":"22","author":"J. C.Lin","year":"2000","journal-title":"ACTA Press"},{"key":"ijertcs.2013100101-22","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ijertcs.2013100101-23","first-page":"343","article-title":"Automated test generation from timed automata","volume":"Vol. 2031","author":"B.Nielsen","year":"2001","journal-title":"TACAS"},{"key":"ijertcs.2013100101-24","first-page":"46","article-title":"Testing concurrent systems: A formal approach","volume":"Vol. 1664","author":"J.Tretmans","year":"1999","journal-title":"CONCUR, ICCT, LNCS"}],"container-title":["International Journal of Embedded and Real-Time Communication Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=109638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T16:27:41Z","timestamp":1654100861000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijertcs.2013100101"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2013,10,1]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,10]]}},"URL":"https:\/\/doi.org\/10.4018\/ijertcs.2013100101","relation":{},"ISSN":["1947-3176","1947-3184"],"issn-type":[{"value":"1947-3176","type":"print"},{"value":"1947-3184","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,1]]}}}