{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,7]],"date-time":"2023-10-07T09:30:03Z","timestamp":1696671003710},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2007,6]]},"abstract":"<jats:p> A method of functional testing for software components according to model-based testing techniques is proposed. Test cases are generated from UML diagrams and OCL constraints that comprise a component interface and realization specification. The method uses a reduced set of UML artifacts that constitute the main requirements for its application along with a component development process, making use of development artifacts. Also, the set of generated test artifacts are packed together with the provided components to reduce the overall testing effort when clients assemble applications. A tool has been developed to automate the method with test cases generated as Java test components. Test execution and result analysis is also supported. For each component, the tool generates a test component that can be easily upgraded and configured for testing the services provided by a component throughout its life cycle. <\/jats:p>","DOI":"10.1142\/s0218194007003276","type":"journal-article","created":{"date-parts":[[2007,7,27]],"date-time":"2007-07-27T00:58:18Z","timestamp":1185497898000},"page":"339-358","source":"Crossref","is-referenced-by-count":6,"title":["AUTOMATING FUNCTIONAL TESTING OF COMPONENTS FROM UML SPECIFICATIONS"],"prefix":"10.1142","volume":"17","author":[{"given":"DANIEL L.","family":"BARBOSA","sequence":"first","affiliation":[{"name":"Formal Methods Group, DSC, Federal University of Campina Grande (UFCG), Campina Grande, PB 58109-970, Brazil"}]},{"given":"HELTON S.","family":"LIMA","sequence":"additional","affiliation":[{"name":"Formal Methods Group, DSC, Federal University of Campina Grande (UFCG), Campina Grande, PB 58109-970, Brazil"}]},{"given":"PATRICIA D. L.","family":"MACHADO","sequence":"additional","affiliation":[{"name":"Formal Methods Group, DSC, Federal University of Campina Grande (UFCG), Campina Grande, PB 58109-970, Brazil"}]},{"given":"JORGE C. A.","family":"FIGUEIREDO","sequence":"additional","affiliation":[{"name":"Formal Methods Group, DSC, Federal University of Campina Grande (UFCG), Campina Grande, PB 58109-970, Brazil"}]},{"given":"MAKELLI A.","family":"JUC\u00c1","sequence":"additional","affiliation":[{"name":"Formal Methods Group, DSC, Federal University of Campina Grande (UFCG), Campina Grande, PB 58109-970, Brazil"}]},{"given":"WILKERSON L.","family":"ANDRADE","sequence":"additional","affiliation":[{"name":"Formal Methods Group, DSC, Federal University of Campina Grande (UFCG), Campina Grande, PB 58109-970, Brazil"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","volume-title":"Component-Based Product Line Engineering with UML","author":"Atkinson C.","year":"2001"},{"key":"rf2","volume-title":"ICSR Work. on Component-Based Develop. Processes","author":"Atkinson C.","year":"2002"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0040"},{"key":"rf6","unstructured":"A. D.\u00a0Brucker and B.\u00a0Wolff, Informatik 2001, Tagungsband der GI\/\u04e6CG Jahrestagung\u00a01 (Wien, 2001)\u00a0pp. 608\u2013614."},{"key":"rf7","series-title":"Component Software Series","volume-title":"UML Components \u2014 A Simple Process for Specifying Component-Based Software","author":"Cheesman J.","year":"2001"},{"key":"rf8","first-page":"193","volume":"7","author":"Chilenski J. J.","journal-title":"Software Engineering Journal"},{"key":"rf9","volume-title":"Encyclopedia of Software Engineering","author":"El-Far I. K.","year":"2001"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1145\/347636.348872"},{"key":"rf18","volume":"6","author":"Jard C.","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1201\/b16592"},{"key":"rf22","series-title":"Object Technology Series","volume-title":"A Practical Guide to Testing Object-Oriented Software","author":"McGregor J. D.","year":"2001"},{"key":"rf24","series-title":"The SEI Series in SE","volume-title":"Cleanroom Software Engineering \u2014 Technology and Process","author":"Prowell S. J.","year":"1999"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194007003276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:47:56Z","timestamp":1565142476000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194007003276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6]]},"references-count":12,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2007,6]]}},"alternative-id":["10.1142\/S0218194007003276"],"URL":"https:\/\/doi.org\/10.1142\/s0218194007003276","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6]]}}}