{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,6]],"date-time":"2023-01-06T22:26:37Z","timestamp":1673043997577},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2008,2]]},"abstract":"<jats:p> Component Based Software Development (CBSD) is gaining popularity in recent years. In this way of software development, software components, which are typically black-box components, are intensively reused to construct new systems. To ensure the quality of software systems composed of black-box components, a primary concern is how to ensure the quality of black-box components. Thus, adequate testing of those black-box components that will be reused is a necessary step in CBSD. However, due to the unavailability of the source code of black-box components, ensuring test adequacy becomes one of the hardest issues for testing black-box components. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computation-expensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing black-box components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Therefore, our approach can produce effective test suites to reduce the cost of testing black-box components. <\/jats:p>","DOI":"10.1142\/s0218194008003556","type":"journal-article","created":{"date-parts":[[2008,4,21]],"date-time":"2008-04-21T09:18:43Z","timestamp":1208769523000},"page":"93-117","source":"Crossref","is-referenced-by-count":13,"title":["AN APPROACH TO TESTING BLACK-BOX COMPONENTS USING CONTRACT-BASED MUTATION"],"prefix":"10.1142","volume":"18","author":[{"given":"YING","family":"JIANG","sequence":"first","affiliation":[{"name":"Faculty of Information Engineering and Automation, Kunming University of Science and Technology, Kunming 650093, China"},{"name":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SHAN-SHAN","family":"HOU","sequence":"additional","affiliation":[{"name":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JIN-HUI","family":"SHAN","sequence":"additional","affiliation":[{"name":"No. 14, P. O. Box 15, Sub-post Office 27, Lanzhou 732750, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LU","family":"ZHANG","sequence":"additional","affiliation":[{"name":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BING","family":"XIE","sequence":"additional","affiliation":[{"name":"Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(89)90005-0"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1109\/32.391379"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1109\/52.714817"},{"key":"rf10","volume-title":"Testing and Quality Assurance for Component-Based Software","author":"Gao J. Z.","year":"2003"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183927"},{"key":"rf13","first-page":"279","volume":"3","author":"Hamlet R. G.","journal-title":"IEEE Trans. Software Engineering"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0011-8"},{"key":"rf18","first-page":"568","volume":"28","author":"Jiang Y.","journal-title":"Chinese Journal of Computers"},{"key":"rf20","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1997"},{"key":"rf21","author":"Szyperski C.","journal-title":"Software Development"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.239"},{"key":"rf38","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1007\/BF00404650"},{"key":"rf41","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194008003556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:44:55Z","timestamp":1565142295000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194008003556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":17,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,2]]}},"alternative-id":["10.1142\/S0218194008003556"],"URL":"https:\/\/doi.org\/10.1142\/s0218194008003556","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}