{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:04:26Z","timestamp":1754485466989},"reference-count":18,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T00:00:00Z","timestamp":1162252800000},"content-version":"vor","delay-in-days":4321,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Testing Verif &amp; Rel"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The validity of the first (formal) model of a system to be developed is crucial for the whole development process. Systematically checking this validity helps avoid costs that could arise if it were discovered too late that the system does not satisfy the customer's needs and expectations.<\/jats:p><jats:p>This paper addresses how to validate synchronous reactive programs using the technique of systematic testing. Testing reactive systems differs from testing sequential systems: instead of checking simple <jats:italic>pairs<\/jats:italic> of inputs and outputs, <jats:italic>sequences<\/jats:italic> of inputs and outputs have to be checked. Thus, testing cannot be based on a simple function model, mapping input values onto output values nor on a control flow graph model (where a path from the start node to the final node represents one execution through the represented program). The model widely used instead is that of a finite\u2010state machine.<\/jats:p><jats:p>A systematic testing approach is presented that is both effective and efficient for validating reactive systems. It uses an additional specification based on a finite\u2010state machine model. The approach is demonstrated for the well\u2010known lift example. It is shown how to use the specification for carefully choosing a set of test criteria that address different types of fault; a procedure for selecting test cases and test data that satisfy the chosen criteria is presented.<\/jats:p>","DOI":"10.1002\/stvr.4370050304","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T06:13:52Z","timestamp":1163830432000},"page":"163-179","source":"Crossref","is-referenced-by-count":2,"title":["Systematic testing: A means for validating reactive systems"],"prefix":"10.1002","volume":"5","author":[{"given":"Monika","family":"M\u00fcllerburg","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,31]]},"reference":[{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(91)90079-R"},{"key":"e_1_2_1_3_1","first-page":"178","volume-title":"Proceedings of the 14th Symposium on the Principles of Programming Languages","author":"Caspi P.","year":"1987"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_2_1_5_1","first-page":"20","volume-title":"Proceedings of COMPSAC","author":"Collofello J. S.","year":"1984"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.272431"},{"key":"e_1_2_1_11_1","unstructured":"M\u00fcllerburg M. (1990) \u2018Software testing: a stepwise process \u2019 InProceedings of the Second European Conference on Software Quality European Organization for Quality (EOQ). Reprinted in Thayer R. and McGettrick A. (eds) (1993)Software Engineering: a European Perspective IEEE Computer Society Press Los Alamitos California U.S.A. pp.437\u2013456."},{"key":"e_1_2_1_12_1","first-page":"118","volume-title":"Concise Encyclopeadia of Software Engineering","author":"M\u00fcllerburg M.","year":"1993"},{"key":"e_1_2_1_13_1","series-title":"UNICOM Applied Information Technology Series","first-page":"155","volume-title":"Management and Measurement of Software Quality","author":"M\u00fcllerburg M.","year":"1993"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the Seventh International Software Quality Week","author":"M\u00fcllerburg M.","year":"1994"},{"key":"e_1_2_1_15_1","unstructured":"M\u00fcllerburg M.andHolenderski L.(1994) \u2018Combining testing and formal verification for validating reactive systems\u2019 InProceedings of the Fourth European Conference on Software Quality Swiss Association for the Promotion of Quality (SAQ) and European Organization for Quality\u2014Software Committee (EOQ\u2010SC) Hochschulverlag Z\u00fcrich Switzerland pp.431\u2013447."},{"key":"e_1_2_1_16_1","unstructured":"M\u00fcllerburg M.andLinnenkugel U.(1988) \u2018On the effectiveness of program testing\u2019 InProceedings of the Second IEE\/BSC Conference Software Engineering88 The Institution of Electrical Engineers London U. K. pp.116\u2013122."},{"key":"e_1_2_1_17_1","volume-title":"The Art of Software Testing","author":"Myers G. J.","year":"1979"},{"key":"e_1_2_1_18_1","unstructured":"Riedemann E.(1986) \u2018Minimale Mehrfachbedingungs\u2010\u00dcberdeckung als Methode zur Bewertung von White\u2010box\u2010Tests \u2019 in Franck R. (Ed.) Softwaretechnik\u2010Trends: Mitteilungen der Fachgruppe Software\u2010Engineering Gesellschaft f\u00fcr Informatik (GI) pp.17\u201324."},{"key":"e_1_2_1_19_1","first-page":"109","volume-title":"Software Engineering Notes","author":"von Bochmann G.","year":"1994"}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fstvr.4370050304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.4370050304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T23:18:41Z","timestamp":1698275921000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/stvr.4370050304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/stvr.4370050304"],"URL":"https:\/\/doi.org\/10.1002\/stvr.4370050304","archive":["Portico"],"relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}