Automation and intelligent scheduling of distributed system functional testing Model-based functional testing in practice
This paper presents the approach to functional test automation of services (black-box testing) and service architectures (grey-box testing) that has been developed within the MIDAS project and is accessible on the MIDAS SaaS. In particular, the algorithms and techniques adopted for addressing input...
Saved in:
| Published in | International journal on software tools for technology transfer Vol. 19; no. 3; pp. 281 - 308 |
|---|---|
| Main Authors | , , , , , , , , |
| Format | Journal Article |
| Language | English |
| Published |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.06.2017
Springer Nature B.V Springer Verlag |
| Subjects | |
| Online Access | Get full text |
| ISSN | 1433-2779 1433-2787 |
| DOI | 10.1007/s10009-016-0440-3 |
Cover
| Abstract | This paper presents the approach to functional test automation of services (black-box testing) and service architectures (grey-box testing) that has been developed within the MIDAS project and is accessible on the MIDAS SaaS. In particular, the algorithms and techniques adopted for addressing input and oracle generation, dynamic scheduling, and session planning issues supporting service functional test automation are illustrated. More specifically, the paper details: (i) the test input generation based on formal methods and temporal logic specifications, (ii) the test oracle generation based on service formal specifications, (iii) the dynamic scheduling of test cases based on probabilistic graphical reasoning, and (iv) the reactive, evidence-based planning of test sessions with on-the-fly generation of new test cases. Finally, the utilisation of the MIDAS prototype for the functional test of operational services and service architectures in the healthcare industry is reported and assessed. A planned evolution of the technology deals with the testing and troubleshooting of distributed systems that integrate connected objects. |
|---|---|
| AbstractList | This paper presents the approach to functional test automation of services (black-box testing) and service archi-tectures (grey-box testing) that has been developed within the MIDAS project and is accessible on the MIDAS SaaS. In particular , the algorithms and techniques adopted for addressing input and oracle generation, dynamic scheduling, and session planning issues supporting service functional test automation are illustrated. More specifically, the paper details: (i) the test input generation based on formal methods and temporal logic specifications, (ii) the test oracle generation based on service formal specifications, (iii) the dynamic scheduling of test cases based on probabilistic graphical reasoning, and (iv) the reactive, evidence-based planning of test sessions with on the fly generation of new test cases. Finally, the utilisation of the MIDAS prototype for the functional test of operational services and service architectures in the healthcare industry is reported and assessed. A planned evolution of the technology deals with the testing and troubleshooting of distributed systems that integrate connected objects. This paper presents the approach to functional test automation of services (black-box testing) and service architectures (grey-box testing) that has been developed within the MIDAS project and is accessible on the MIDAS SaaS. In particular, the algorithms and techniques adopted for addressing input and oracle generation, dynamic scheduling, and session planning issues supporting service functional test automation are illustrated. More specifically, the paper details: (i) the test input generation based on formal methods and temporal logic specifications, (ii) the test oracle generation based on service formal specifications, (iii) the dynamic scheduling of test cases based on probabilistic graphical reasoning, and (iv) the reactive, evidence-based planning of test sessions with on-the-fly generation of new test cases. Finally, the utilisation of the MIDAS prototype for the functional test of operational services and service architectures in the healthcare industry is reported and assessed. A planned evolution of the technology deals with the testing and troubleshooting of distributed systems that integrate connected objects. |
| Author | De Rosa, Fabio Kordon, Fabrice Maesano, Ariele-Paolo Wuillemin, Pierre-Henri Hillah, Lom Messan Bona, Sergio Di Maesano, Libero Guerri, Davide Fontanelli, Riccardo |
| Author_xml | – sequence: 1 givenname: Lom Messan surname: Hillah fullname: Hillah, Lom Messan email: lom-messan.hillah@lip6.fr organization: Univ. Paris Ouest Nanterre La Défense, Sorbonne Universités, UPMC Univ. Paris 06, CNRS, LIP6 UMR7606 – sequence: 2 givenname: Ariele-Paolo surname: Maesano fullname: Maesano, Ariele-Paolo organization: Sorbonne Universités, UPMC Univ. Paris 06, CNRS, LIP6 UMR7606, Simple Engineering France – sequence: 3 givenname: Fabio surname: De Rosa fullname: De Rosa, Fabio organization: Simple Engineering France – sequence: 4 givenname: Fabrice surname: Kordon fullname: Kordon, Fabrice organization: Sorbonne Universités, UPMC Univ. Paris 06, CNRS, LIP6 UMR7606 – sequence: 5 givenname: Pierre-Henri surname: Wuillemin fullname: Wuillemin, Pierre-Henri organization: Sorbonne Universités, UPMC Univ. Paris 06, CNRS, LIP6 UMR7606 – sequence: 6 givenname: Riccardo surname: Fontanelli fullname: Fontanelli, Riccardo organization: Dedalus S.p.A – sequence: 7 givenname: Sergio Di surname: Bona fullname: Bona, Sergio Di organization: Dedalus S.p.A – sequence: 8 givenname: Davide surname: Guerri fullname: Guerri, Davide organization: Dedalus S.p.A – sequence: 9 givenname: Libero surname: Maesano fullname: Maesano, Libero organization: Simple Engineering France |
| BackLink | https://hal.sorbonne-universite.fr/hal-01397009$$DView record in HAL |
| BookMark | eNp9kEFLwzAYhoNMcE5_gLeAJw_VpGmT5jiGOmHoRc8hTZMto0tnkgr796ZWRQS9fPkIz_Px8p6CieucBuACo2uMELsJaSKeIUwzVBQoI0dgigtCspxVbPK9M34CTkPYIoQZZXwKHud97HYy2s5B6RpoXdRta9faRRjURjd9a90adgY2NkRv6z7qBoZDiHoHTe_UYMoWRh1iAs_AsZFt0Oef7wy83N0-L5bZ6un-YTFfZYrgimSyagyiVJaaGkMYJ43BXJWc1EbXUrLcICMVKzTLKW4kqVhFjCIU6ZLxsqnJDFyNdzeyFXtvd9IfRCetWM5XYvhDmHCWGnnDib0c2b3vXvuUU2y73qfQQeCKc4ox5ixRbKSU70Lw2ghl40cv0UvbCozEULQYi073qRiKFiSZ-Jf5Feg_Jx-dkFi31v5Hpj-ldwcdkkM |
| CitedBy_id | crossref_primary_10_1145_3331447 crossref_primary_10_1007_s10009_017_0449_2 crossref_primary_10_1016_j_jss_2023_111674 crossref_primary_10_1007_s42979_021_00821_3 crossref_primary_10_1016_j_scico_2024_103215 crossref_primary_10_3390_app11209709 |
| Cites_doi | 10.1016/0167-6423(87)90035-9 10.1109/TSE.2002.1000453 10.1109/ASE.2011.6100079 10.1016/0004-3702(87)90062-2 10.1007/978-3-540-71289-3_22 10.1007/978-3-642-03466-4_2 10.1109/TSE.2014.2372785 10.1007/978-3-642-21768-5_4 10.1186/1129-2377-15-S1-D12 10.1007/978-0-387-39940-9_1193 10.1109/ICECCS.2008.27 10.1002/stvr.1470 10.1109/SCC.2010.28 10.4204/EPTCS.80.6 10.1109/ICST.2009.28 10.1109/SOSE.2010.27 10.1109/ICSTW.2013.26 10.1016/B978-044450813-3/50026-6 10.1145/1459352.1459354 10.1016/j.jss.2010.11.905 10.1017/S0890060401154065 10.1109/ICST.2010.11 10.1007/s10009-016-0430-5 10.4204/EPTCS.98.3 10.1145/1145718.1145723 10.1002/qre.411 10.1145/2699417 10.1023/A:1009796922698 10.1109/ICRTIT.2011.5972354 10.1109/ICSTW.2011.50 10.1109/32.988497 10.5121/ijsea.2012.3602 10.1007/978-3-642-14458-5_7 10.1023/A:1022969405325 10.1109/CloudCom.2012.6427576 10.1109/IWAST.2013.6595788 10.1016/B978-0-12-800160-8.00001-2 10.1007/3-540-45049-1_45 10.1002/ett.2704 10.1145/1882362.1882433 10.1017/S0269888910000275 10.1007/978-3-642-01247-1_7 10.1016/j.jss.2013.02.061 10.1002/stv.430 10.1109/CISIM.2010.5643499 10.1007/978-3-642-35746-6_1 10.1007/978-3-662-43652-3_3 10.1016/0004-3702(87)90063-4 10.1109/COMPSAC.2005.40 10.1007/978-1-4419-8303-9 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag Berlin Heidelberg 2016 International Journal on Software Tools for Technology Transfer is a copyright of Springer, 2017. Attribution - NonCommercial - NoDerivatives |
| Copyright_xml | – notice: Springer-Verlag Berlin Heidelberg 2016 – notice: International Journal on Software Tools for Technology Transfer is a copyright of Springer, 2017. – notice: Attribution - NonCommercial - NoDerivatives |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ GUQSH HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2O M7S MBDVC P5Z P62 PADUT PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U 1XC VOOES |
| DOI | 10.1007/s10009-016-0440-3 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Research Library (Alumni Edition) Materials Science & Engineering Collection (ProQuest) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Central Technology Collection (ProQuest) ProQuest One Community College ProQuest Central Korea ProQuest Central Student Research Library Prep SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Research Library Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database (ProQuest) ProQuest Advanced Technologies & Aerospace Collection Research Library China ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection (ProQuest) ProQuest Central Basic Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitle | CrossRef Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library Research Library China ProQuest Central (New) Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) |
| DatabaseTitleList | Research Library Prep |
| Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1433-2787 |
| EndPage | 308 |
| ExternalDocumentID | oai_HAL_hal_01397009v1 10_1007_s10009_016_0440_3 |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 29J 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 8AO 8FE 8FG 8FW 8G5 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV L6V LAS LLZTM M0N M2O M4Y M7S MA- MK~ ML~ N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PADUT PF0 PQQKQ PROAC PT4 PT5 PTHSS Q2X QOS R89 R9I RIG RNI ROL RPX RSV RZK S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z7Z Z83 Z88 ZMTXR AAPKM AAYXX ABBRH ABDBE ABFSG ACSTC ADHKG AEZWR AFDZB AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT 7SC 7XB 8AL 8FD 8FK ABRTQ JQ2 L7M L~C L~D MBDVC PKEHL PQEST PQGLB PQUKI PRINS Q9U 1XC VOOES |
| ID | FETCH-LOGICAL-c3183-a8df066a5e6ff3793df19c593bfebaa72f0fac74e7261da38783fc360e5795db3 |
| IEDL.DBID | AGYKE |
| ISSN | 1433-2779 |
| IngestDate | Fri May 09 12:21:59 EDT 2025 Sat Aug 23 14:45:27 EDT 2025 Thu Apr 24 23:04:01 EDT 2025 Thu Jul 03 08:32:16 EDT 2025 Fri Feb 21 02:33:56 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | Test automation Model-based test generation Test planning Service testing Test prioritisation Test scheduling |
| Language | English |
| License | Attribution - NonCommercial - NoDerivatives: http://creativecommons.org/licenses/by-nc-nd |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c3183-a8df066a5e6ff3793df19c593bfebaa72f0fac74e7261da38783fc360e5795db3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0003-3691-4886 0000-0002-4558-720X 0000-0002-5626-828X |
| OpenAccessLink | https://hal.sorbonne-universite.fr/hal-01397009 |
| PQID | 1899611197 |
| PQPubID | 46652 |
| PageCount | 28 |
| ParticipantIDs | hal_primary_oai_HAL_hal_01397009v1 proquest_journals_1899611197 crossref_citationtrail_10_1007_s10009_016_0440_3 crossref_primary_10_1007_s10009_016_0440_3 springer_journals_10_1007_s10009_016_0440_3 |
| PublicationCentury | 2000 |
| PublicationDate | 20170600 |
| PublicationDateYYYYMMDD | 2017-06-01 |
| PublicationDate_xml | – month: 6 year: 2017 text: 20170600 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Heidelberg |
| PublicationTitle | International journal on software tools for technology transfer |
| PublicationTitleAbbrev | Int J Softw Tools Technol Transfer |
| PublicationYear | 2017 |
| Publisher | Springer Berlin Heidelberg Springer Nature B.V Springer Verlag |
| Publisher_xml | – name: Springer Berlin Heidelberg – name: Springer Nature B.V – name: Springer Verlag |
| References | ConfortiDGrocciaMCCorasanitiBGuidoRIannaccheroREHMTI-0172. Calabria Cephalalgic Network: innovative services and systems for the integrated clinical management of headache patientsJ. Headache Pain201415Suppl 1D1210.1186/1129-2377-15-S1-D12 PearlJProbabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference1988San FranciscoMorgan Kaufmann Publishers Inc.0746.68089 Barcelona, M.A., García-Borgoñón, L., López-Nicolás, G.: Practical experiences in the usage of MIDAS in the logistics domain. Int. J. Softw. Tools Technol. Transf. (2016). doi:10.1007/s10009-016-0430-5 Athira, B., Samuel, P.: Web services regression test case prioritization. In: Computer Information Systems and Industrial Management Applications (CISIM), 2010 International Conference, pp. 438–443. IEEE (2010) OASIS. MQTT Version 3.1.1 (2014). http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.html Soasta: Load and performance testing. https://www.soasta.com Newcombe, C.: Why Amazon chose TLA +. In: Aït Ameur, Y., Schewe, K.-D., (eds.) Abstract State Machines, Alloy, B, TLA, VDM., Z—4th International Conference, ABZ 2014, Toulouse, France, June 2–6, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8477, pp. 25–39. Springer (2014) Newcomer, E.: Understanding Web Services: XML, WSDL, SOAP, and UDDI. Independent technology guides. Addison-Wesley (2002) Shamsoddin-Motlagh, E.: A survey of service oriented architecture systems testing. arXiv:1212.3248 (2012) Bentakouk, L., Poizat, P., Zaïdi, F.: Checking the behavioral conformance of web services with symbolic testing and an SMT solver. In: TAP, Lecture Notes in Computer Science, vol. 6706, pp. 33–50. Springer (2011) Web Hypertext Application Technology Working Group (WHATWG). Web sockets, in HTML Living Standard (2016). https://html.spec.whatwg.org/multipage/comms.html#network http://blog.simplytestify.com Clarke, E.M., Klieber, W., Novácek, M., Zuliani, P.: Model checking and the state explosion problem. In: Meyer, B., Nordio, M. (eds.) Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures, Lecture Notes in Computer Science, vol. 7682, pp. 1–30. Springer (2011) Paolo, A., Angelo, G., Elvinia, R.: Optimizing the automatic test generation by SAT and SMT solving for boolean expressions. In: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE ’11, pp. 388–391, Washington, DC. IEEE Computer Society (2011) Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking, pp. 1–314. MIT Press (2001) Newman, S.: Building microservices: designing fine-grained systems, 1st edn. O’Reilly, Sebastopol (2015) ReiterRA theory of diagnosis from first principlesArtif. Intell.1987321579588419210.1016/0004-3702(87)90062-20643.68122 http://www.dedalus.eu Jehan, S., Pill, I., Wotawa, F.: Functional SOA testing based on constraints. In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, May 18–19, pp. 33–39 (2013) https://jenkins-ci.org WooffDAGoldsteinMCoolenFPABayesian graphical models for software testingSoftw. Eng. IEEE Trans.200228551052510.1109/TSE.2002.1000453 Schnoebelen, P.: The complexity of temporal logic model checking. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M., (eds.) Advances in Modal Logic 4, papers from the fourth conference on “Advances in Modal logic,” held in Toulouse (France) in October 2002, pp. 393–436. King’s College Publications (2002) IBM Rational Service Tester for SOA Quality: Functional testing. http://www-03.ibm.com/software/products/fr/servicetest Askarunisa, A., Punitha, K.A.J., Abirami, A.M., Black box test case prioritization techniques for semantic based composite web services using OWL-S. In: Recent Trends in Information Technology (ICRTIT), 2011 International Conference, pp. 1215–1220. IEEE (2011) Tricentis: Risk-based testing, model-based test automation and test data management. http://www.tricentis.com Console, L., Fugini, M.: WS-DIAMOND: an approach to web services–DIAgnosability, MONitoring and Diagnosis, Information and Communication Technologies and the Knowledge Economy, vol. 4. IOS Press, Amsterdam (2007) Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: TAV-WEB Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications. TAV-WEB ’06, pp. 33–42. ACM, New York (2006). doi:10.1145/1145718.1145723 Object Management Group (OMG). Uml testing profile, version 1.2. http://www.omg.org/spec/UTP/1.2 Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: ICSOC Workshops, Lecture Notes in Computer Science, vol. 5472, pp. 66-78. Springer (2008) Parasoft: Api testing, service virtualisation, test environment and data management. https://www.parasoft.com ReesKCoolenFPAGoldsteinMWooffDAManaging the uncertainties of software testing: a Bayesian approachQual. Reliab. Eng. Int.200117319120310.1002/qre.411 Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Lüttgen, G., Anthony, J.H., Simons, S., Vilkomir, M.R., Hussein, Z.: Using formal specifications to support. ACM Comput. Surv 41(2), 9:1–9:76 (2009) http://www.w3.org/TR/wsdl http://swagger.io ECMA International. Standard ECMA-262—ECMAScript Language Specification 5.1 Edition (2011). http://www.ecma-international.org/ecma-262/5.1/Ecma-262.pdf Mirarab, S., Tahvildari, L.: A prioritization approach for software test cases based on bayesian networks. In: Dwyer, M., Lopes, A. (eds.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 4422, pp. 276–290. Springer, Berlin, Heidelberg (2007) http://www.w3.org/TR/scxml https://www.w3.org/TR/xpath Parsons, S.: Probabilistic graphical models: principles and techniques by Daphne Koller and Nir Friedman, MIT Press, 1231 pp., ISBN 0-262-01319-3. Knowl. Eng. Rev. 26(02), 237–238 (2011) Chan, A.: Encyclopedia of database systems, chapter service component architecture (SCA), pp. 2632–2633. Springer US, Boston (2009) AnandSEdmundKBTsongYCJohnACMyraBCWolfgangGMarkHMaryJHPhilMAn orchestrated survey of methodologies for automated software test case generationJ. Syst. Softw.20138681978200110.1016/j.jss.2013.02.061 Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSDL-based testing tool for web services. In: Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1–4, 2009, pp. 326–335. IEEE Computer Society (2009) http://www.w3.org/TR/wsdl20 Jensen, F.V., Kjærulff, U., Kristiansen, B., Langseth, H., Skaanning, C., Vomlel, J., Vomlelová, M.: The SACSO methodology for troubleshooting complex systems. AI EDAM 15, 321–333 (2001) Chen, L., Wang, Z., Xu, L., Lu, H., Xu, B.: Test case prioritization for web service regression testing. In: Service Oriented System Engineering (SOSE), 2010 Fifth IEEE International Symposium, pp. 173–178. IEEE (2010) MeiLChanWKTseTHMerkelRGXML-manipulating test case prioritization for XML-manipulating servicesJ. Syst. Softw.201184460361910.1016/j.jss.2010.11.905 NewcombeCRathTZhangFMunteanuBBrookerMDeardeuffMHow Amazon web services uses formal methodsCommun. ACM2015584667310.1145/2699417 Nguyen, C. D., Marchetto, A., Tonella, P.: Change sensitivity based prioritization for audit testing of webservice compositions. In: Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference, pp. 357–365. IEEE (2011) Maesano, A.-P.: Bayesian dynamic scheduling for service composition testing. Ph.D. Thesis, Université Pierre et Marie Curie—Paris VI, 2015 Oracle. Automating Testing of SOA Composite Applications (2016). http://bit.ly/2bhzr5F HarelDStatecharts: a visual formalism for complex systemsSci. Comput. Program.19878323127489600410.1016/0167-6423(87)90035-90637.68010 https://en.wikipedia.org/wiki/Service_Component_Architecture Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Independent technology guides. Addison-Wesley (2005) Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., Dustdar, S.: Fifty shades of grey in SOA testing. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18–22, 2013, pp. 154–157. IEEE Computer Society (2013) https://hssp.wikispaces.com Lamport, L.: The PlusCal Algorithm Language. In: Theoretical Aspects of Computing—ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Springer, Berlin, Heidelberg (2009) IETF. The Constrained Application Protocol (CoAP)—RFC 7252 (2014). https://tools.ietf.org/html/rfc7252 Lohmann, N., Wolf, K.: Realizability is controllability. In: WS-FM, Lecture Notes in Computer Science, vol. 6194, pp. 110–127. Springer (2009) OASIS. Web Services Business Process Execution Language Version 2.0 (2007). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf Cao, T. D., Felix, P., Castanet, R., Berrada, I.: Online testing framework for web services. In: 2010 Third International Conference on Software Testing, Verification and Validation, pp. 363–372 (2010) https://www.soapui.org de KleerJWilliamsBCDiagnosing multiple faultsArtif. Intell.19873219713010.1016/0004-3702(87)90063-40642.94045 Tsai, W.T., Chen, Y., Paul, R., Huang, H., Zhou, X., Wei, X.: Adaptive testing, oracle generation, and test case ranking for Web services. In: Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International, vol. 1, pp. 101–106 (vol. 2). IEEE (2005) Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. Softw. Eng. IEEE Trans. 41(5), 507–525 (2015) Perera, C., Zaslavsky, A.B., Christen, P., Georgakopoulos, D.: Sensing as a service model for smart cities supported by internet of things. CoRR. arXiv:1307.8198 (2013) Pezzè, M., Zhang, C.: 440_CR79 440_CR37 M Haverbeke (440_CR41) 2011 D Harel (440_CR40) 1987; 8 S Yoo (440_CR87) 2012; 22 440_CR80 S Elbaum (440_CR38) 2002; 28 440_CR81 440_CR42 440_CR86 440_CR43 440_CR44 440_CR45 440_CR82 440_CR83 440_CR85 440_CR46 440_CR47 440_CR48 440_CR49 K Rees (440_CR74) 2001; 17 D Conforti (440_CR33) 2014; 15 R Reiter (440_CR75) 1987; 32 M Bozkurt (440_CR27) 2013; 23 440_CR53 440_CR10 440_CR11 440_CR55 440_CR12 440_CR56 440_CR50 440_CR51 440_CR52 440_CR17 R Dechter (440_CR36) 1997; 2 440_CR18 C Newcombe (440_CR61) 2015; 58 440_CR1 440_CR2 440_CR13 440_CR3 440_CR14 440_CR58 440_CR4 440_CR15 440_CR59 440_CR5 440_CR16 440_CR6 440_CR7 440_CR8 440_CR9 AL Finn (440_CR54) 1999; 113 J Kleer de (440_CR35) 1987; 32 440_CR20 440_CR64 440_CR21 440_CR65 440_CR22 440_CR66 440_CR23 440_CR67 440_CR60 L Mei (440_CR57) 2011; 84 440_CR62 440_CR63 440_CR28 440_CR29 440_CR24 440_CR68 440_CR25 E Thomas (440_CR39) 2005 440_CR69 440_CR26 J Pearl (440_CR71) 1988 S Anand (440_CR19) 2013; 86 440_CR70 DA Wooff (440_CR84) 2002; 28 440_CR31 440_CR32 440_CR76 440_CR77 440_CR34 440_CR78 440_CR72 440_CR73 440_CR30 |
| References_xml | – reference: Parasoft: Api testing, service virtualisation, test environment and data management. https://www.parasoft.com – reference: Mayer, P., Lübke, D.: Towards a BPEL unit testing framework. In: TAV-WEB Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications. TAV-WEB ’06, pp. 33–42. ACM, New York (2006). doi:10.1145/1145718.1145723 – reference: http://www.w3.org/TR/wsdl – reference: http://www.dedalus.eu/x1v1.cfm?chg_lang=eng – reference: Barcelona, M.A., García-Borgoñón, L., López-Nicolás, G.: Practical experiences in the usage of MIDAS in the logistics domain. Int. J. Softw. Tools Technol. Transf. (2016). doi:10.1007/s10009-016-0430-5 – reference: Juszczyk, L., Truong, H.L., Dustdar, S.: GENESIS—a framework for automatic generation and steering of testbeds of complex web services. In: ICECCS, pp. 131–140. IEEE Computer Society (2008) – reference: Shamsoddin-Motlagh, E.: A survey of service oriented architecture systems testing. arXiv:1212.3248 (2012) – reference: Pezzè, M., Zhang, C.: Automated test oracles: a survey. Adv. Comput. 95, 1–48 (2015) – reference: ReiterRA theory of diagnosis from first principlesArtif. Intell.1987321579588419210.1016/0004-3702(87)90062-20643.68122 – reference: https://www.w3.org/TR/xpath – reference: Soasta: Load and performance testing. https://www.soasta.com – reference: Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. Softw. Eng. IEEE Trans. 41(5), 507–525 (2015) – reference: Object Management Group (OMG). Uml testing profile, version 1.2. http://www.omg.org/spec/UTP/1.2 – reference: Athira, B., Samuel, P.: Web services regression test case prioritization. In: Computer Information Systems and Industrial Management Applications (CISIM), 2010 International Conference, pp. 438–443. IEEE (2010) – reference: Console, L., Fugini, M.: WS-DIAMOND: an approach to web services–DIAgnosability, MONitoring and Diagnosis, Information and Communication Technologies and the Knowledge Economy, vol. 4. IOS Press, Amsterdam (2007) – reference: Lamport, L.: Specifying systems. The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002) – reference: Maesano, A.-P.: Bayesian dynamic scheduling for service composition testing. Ph.D. Thesis, Université Pierre et Marie Curie—Paris VI, 2015 – reference: https://hssp.wikispaces.com – reference: IETF. The Constrained Application Protocol (CoAP)—RFC 7252 (2014). https://tools.ietf.org/html/rfc7252 – reference: Wang, H., Zhou, Q., Shi, Y.: Describing and verifying web service composition using TLA reasoning. In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, July 5–10, 2010, pp. 234–241. IEEE Computer Society (2010) – reference: http://www.midas-project.eu – reference: ElbaumSMalishevskyAGRothermelGTest case prioritization: a family of empirical studiesSoftw. Eng. IEEE Trans.200228215918210.1109/32.988497 – reference: Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSDL-based testing tool for web services. In: Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1–4, 2009, pp. 326–335. IEEE Computer Society (2009) – reference: de KleerJWilliamsBCDiagnosing multiple faultsArtif. Intell.19873219713010.1016/0004-3702(87)90063-40642.94045 – reference: http://blog.simplytestify.com – reference: Stokkink, G., Timmer, M., Stoelinga, M.: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: MBT, EPTCS, vol. 80, pp. 73–87 (2012) – reference: Jehan, S., Pill, I., Wotawa, F.: Functional SOA testing based on constraints. In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, May 18–19, pp. 33–39 (2013) – reference: Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Independent technology guides. Addison-Wesley (2005) – reference: Cao, T. D., Felix, P., Castanet, R., Berrada, I.: Online testing framework for web services. In: 2010 Third International Conference on Software Testing, Verification and Validation, pp. 363–372 (2010) – reference: PearlJProbabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference1988San FranciscoMorgan Kaufmann Publishers Inc.0746.68089 – reference: Schnoebelen, P.: The complexity of temporal logic model checking. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M., (eds.) Advances in Modal Logic 4, papers from the fourth conference on “Advances in Modal logic,” held in Toulouse (France) in October 2002, pp. 393–436. King’s College Publications (2002) – reference: https://www.soapui.org – reference: Oracle. Automating Testing of SOA Composite Applications (2016). http://bit.ly/2bhzr5F – reference: Tricentis: Risk-based testing, model-based test automation and test data management. http://www.tricentis.com – reference: Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Lüttgen, G., Anthony, J.H., Simons, S., Vilkomir, M.R., Hussein, Z.: Using formal specifications to support. ACM Comput. Surv 41(2), 9:1–9:76 (2009) – reference: Askarunisa, A., Punitha, K.A.J., Abirami, A.M., Black box test case prioritization techniques for semantic based composite web services using OWL-S. In: Recent Trends in Information Technology (ICRTIT), 2011 International Conference, pp. 1215–1220. IEEE (2011) – reference: Chan, A.: Encyclopedia of database systems, chapter service component architecture (SCA), pp. 2632–2633. Springer US, Boston (2009) – reference: Skaanning, C., Jensen, F.V., Kjærulff, U.: Printer Troubleshooting Using Bayesian Networks. In: Logananthara, R., Palm, G., Ali, M. (eds.) Intelligent Problem Solving. Methodologies and Approaches, Lecture Notes in Computer Science, vol. 1821, pp. 367–380. Springer, Berlin, Heidelberg (2000) – reference: Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking, pp. 1–314. MIT Press (2001) – reference: Paolo, A., Angelo, G., Elvinia, R.: Optimizing the automatic test generation by SAT and SMT solving for boolean expressions. In: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE ’11, pp. 388–391, Washington, DC. IEEE Computer Society (2011) – reference: https://en.wikipedia.org/wiki/Service_Component_Architecture – reference: http://swagger.io – reference: Joshi, R., Lamport, L., Matthews, J., Tasiran, S., Tuttle, M.R.: Yuan, Y.: Checking cache-coherence protocols with TLA+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{\text{+}}$$\end{document}. Formal Methods Syst. Des. 22(2), 125–131 (2003) – reference: http://martinfowler.com/bliki/DeploymentPipeline.html – reference: https://jenkins-ci.org – reference: MeiLChanWKTseTHMerkelRGXML-manipulating test case prioritization for XML-manipulating servicesJ. Syst. Softw.201184460361910.1016/j.jss.2010.11.905 – reference: NewcombeCRathTZhangFMunteanuBBrookerMDeardeuffMHow Amazon web services uses formal methodsCommun. ACM2015584667310.1145/2699417 – reference: ThomasEService-oriented architecture: concepts, technology, and design2005Upper Saddle RiverPrentice Hall PTR – reference: Mirarab, S., Tahvildari, L.: A prioritization approach for software test cases based on bayesian networks. In: Dwyer, M., Lopes, A. (eds.) Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 4422, pp. 276–290. Springer, Berlin, Heidelberg (2007) – reference: OASIS. Web Services Business Process Execution Language Version 2.0 (2007). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf – reference: Wu, C.-S., Lee, Y.-T.: Automatic SaaS test cases generation based on SOA in the cloud service. In: CloudCom, pp. 349–354. IEEE Computer Society (2012) – reference: WooffDAGoldsteinMCoolenFPABayesian graphical models for software testingSoftw. Eng. IEEE Trans.200228551052510.1109/TSE.2002.1000453 – reference: Newcomer, E.: Understanding Web Services: XML, WSDL, SOAP, and UDDI. Independent technology guides. Addison-Wesley (2002) – reference: Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: ICSOC Workshops, Lecture Notes in Computer Science, vol. 5472, pp. 66-78. Springer (2008) – reference: http://www.w3.org/TR/wsdl20 – reference: AnandSEdmundKBTsongYCJohnACMyraBCWolfgangGMarkHMaryJHPhilMAn orchestrated survey of methodologies for automated software test case generationJ. Syst. Softw.20138681978200110.1016/j.jss.2013.02.061 – reference: ECMA International. Standard ECMA-262—ECMAScript Language Specification 5.1 Edition (2011). http://www.ecma-international.org/ecma-262/5.1/Ecma-262.pdf – reference: Khinchin, A.I.A.: Mathematical foundations of information theory. Dover Books on Mathematics. Dover (1957) – reference: Newman, S.: Building microservices: designing fine-grained systems, 1st edn. O’Reilly, Sebastopol (2015) – reference: Lampropoulos, L., Sagonas, K.F.: Automatic WSDL-guided test case generation for PropEr testing of web services. In: WWV, EPTCS, vol. 98, pp. 3–16 (2012) – reference: Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., Dustdar, S.: Fifty shades of grey in SOA testing. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18–22, 2013, pp. 154–157. IEEE Computer Society (2013) – reference: http://www.dedalus.eu – reference: HarelDStatecharts: a visual formalism for complex systemsSci. Comput. Program.19878323127489600410.1016/0167-6423(87)90035-90637.68010 – reference: OASIS. MQTT Version 3.1.1 (2014). http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.html – reference: Web Hypertext Application Technology Working Group (WHATWG). Web sockets, in HTML Living Standard (2016). https://html.spec.whatwg.org/multipage/comms.html#network – reference: YooSHarmanMRegression testing minimization, selection and prioritization: a surveySoftw. Test. Verif. Reliab.20122226712010.1002/stv.430 – reference: Tsai, W.T., Chen, Y., Paul, R., Huang, H., Zhou, X., Wei, X.: Adaptive testing, oracle generation, and test case ranking for Web services. In: Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International, vol. 1, pp. 101–106 (vol. 2). IEEE (2005) – reference: HaverbekeMEloquent JavaScript: a modern introduction to programming2011No Starch PressNo Starch Press Series – reference: Clarke, E.M., Klieber, W., Novácek, M., Zuliani, P.: Model checking and the state explosion problem. In: Meyer, B., Nordio, M. (eds.) Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures, Lecture Notes in Computer Science, vol. 7682, pp. 1–30. Springer (2011) – reference: Lamport, L.: The PlusCal Algorithm Language. In: Theoretical Aspects of Computing—ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Springer, Berlin, Heidelberg (2009) – reference: http://www.w3.org/TR/scxml – reference: Parsons, S.: Probabilistic graphical models: principles and techniques by Daphne Koller and Nir Friedman, MIT Press, 1231 pp., ISBN 0-262-01319-3. Knowl. Eng. Rev. 26(02), 237–238 (2011) – reference: BozkurtMMarkHYoussefHTesting and verification in service-oriented architecture: a surveySoftw. Test. Verif. Reliab.201323426131310.1002/stvr.1470 – reference: Perera, C., Zaslavsky, A.B., Christen, P., Georgakopoulos, D.: Sensing as a service model for smart cities supported by internet of things. CoRR. arXiv:1307.8198 (2013) – reference: Bentakouk, L., Poizat, P., Zaïdi, F.: Checking the behavioral conformance of web services with symbolic testing and an SMT solver. In: TAP, Lecture Notes in Computer Science, vol. 6706, pp. 33–50. Springer (2011) – reference: Jensen, F.V., Kjærulff, U., Kristiansen, B., Langseth, H., Skaanning, C., Vomlel, J., Vomlelová, M.: The SACSO methodology for troubleshooting complex systems. AI EDAM 15, 321–333 (2001) – reference: ConfortiDGrocciaMCCorasanitiBGuidoRIannaccheroREHMTI-0172. Calabria Cephalalgic Network: innovative services and systems for the integrated clinical management of headache patientsJ. Headache Pain201415Suppl 1D1210.1186/1129-2377-15-S1-D12 – reference: Nguyen, C. D., Marchetto, A., Tonella, P.: Change sensitivity based prioritization for audit testing of webservice compositions. In: Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference, pp. 357–365. IEEE (2011) – reference: DechterRElimination, bucket: a unifying framework for processing hard and soft constraintsConstraints1997215155143670510.1023/A:10097969226981315.68062 – reference: ReesKCoolenFPAGoldsteinMWooffDAManaging the uncertainties of software testing: a Bayesian approachQual. Reliab. Eng. Int.200117319120310.1002/qre.411 – reference: Chen, L., Wang, Z., Xu, L., Lu, H., Xu, B.: Test case prioritization for web service regression testing. In: Service Oriented System Engineering (SOSE), 2010 Fifth IEEE International Symposium, pp. 173–178. IEEE (2010) – reference: FinnALJensenVLazy propagation: a junction tree inference algorithm based on lazy evaluationArtif. Intell.1999113120324517241040939.68848 – reference: Namin, A.S., Sridharan, M.: Bayesian reasoning for software testing. Proceedings of the FSE/SDP workshop on future of software engineering research. FoSER ’10, pp. 349–354. ACM, New York (2010) – reference: Newcombe, C.: Why Amazon chose TLA +. In: Aït Ameur, Y., Schewe, K.-D., (eds.) Abstract State Machines, Alloy, B, TLA, VDM., Z—4th International Conference, ABZ 2014, Toulouse, France, June 2–6, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8477, pp. 25–39. Springer (2014) – reference: Lohmann, N., Wolf, K.: Realizability is controllability. In: WS-FM, Lecture Notes in Computer Science, vol. 6194, pp. 110–127. Springer (2009) – reference: IBM Rational Service Tester for SOA Quality: Functional testing. http://www-03.ibm.com/software/products/fr/servicetest – reference: Wilde, E., Pautasso, C. (eds.) REST: From Research to Practice. Springer (2011) – volume: 8 start-page: 231 issue: 3 year: 1987 ident: 440_CR40 publication-title: Sci. Comput. Program. doi: 10.1016/0167-6423(87)90035-9 – ident: 440_CR66 – ident: 440_CR18 – ident: 440_CR43 – volume: 28 start-page: 510 issue: 5 year: 2002 ident: 440_CR84 publication-title: Softw. Eng. IEEE Trans. doi: 10.1109/TSE.2002.1000453 – ident: 440_CR20 doi: 10.1109/ASE.2011.6100079 – volume: 32 start-page: 57 issue: 1 year: 1987 ident: 440_CR75 publication-title: Artif. Intell. doi: 10.1016/0004-3702(87)90062-2 – ident: 440_CR14 – ident: 440_CR58 doi: 10.1007/978-3-540-71289-3_22 – ident: 440_CR6 – ident: 440_CR51 doi: 10.1007/978-3-642-03466-4_2 – ident: 440_CR76 – ident: 440_CR24 doi: 10.1109/TSE.2014.2372785 – ident: 440_CR37 – ident: 440_CR3 – volume: 113 start-page: 203 issue: 1 year: 1999 ident: 440_CR54 publication-title: Artif. Intell. – ident: 440_CR26 doi: 10.1007/978-3-642-21768-5_4 – volume: 15 start-page: D12 issue: Suppl 1 year: 2014 ident: 440_CR33 publication-title: J. Headache Pain doi: 10.1186/1129-2377-15-S1-D12 – ident: 440_CR10 – ident: 440_CR29 doi: 10.1007/978-0-387-39940-9_1193 – ident: 440_CR47 doi: 10.1109/ICECCS.2008.27 – volume: 23 start-page: 261 issue: 4 year: 2013 ident: 440_CR27 publication-title: Softw. Test. Verif. Reliab. doi: 10.1002/stvr.1470 – ident: 440_CR81 doi: 10.1109/SCC.2010.28 – ident: 440_CR62 – ident: 440_CR79 doi: 10.4204/EPTCS.80.6 – ident: 440_CR17 – ident: 440_CR25 doi: 10.1109/ICST.2009.28 – ident: 440_CR30 doi: 10.1109/SOSE.2010.27 – ident: 440_CR85 doi: 10.1109/ICSTW.2013.26 – ident: 440_CR31 doi: 10.1016/B978-044450813-3/50026-6 – ident: 440_CR42 doi: 10.1145/1459352.1459354 – volume: 84 start-page: 603 issue: 4 year: 2011 ident: 440_CR57 publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2010.11.905 – ident: 440_CR45 doi: 10.1017/S0890060401154065 – ident: 440_CR9 – ident: 440_CR13 – ident: 440_CR50 – volume-title: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference year: 1988 ident: 440_CR71 – ident: 440_CR28 doi: 10.1109/ICST.2010.11 – ident: 440_CR34 – ident: 440_CR5 – ident: 440_CR2 – ident: 440_CR55 – ident: 440_CR23 doi: 10.1007/s10009-016-0430-5 – ident: 440_CR52 doi: 10.4204/EPTCS.98.3 – ident: 440_CR56 doi: 10.1145/1145718.1145723 – volume: 17 start-page: 191 issue: 3 year: 2001 ident: 440_CR74 publication-title: Qual. Reliab. Eng. Int. doi: 10.1002/qre.411 – volume: 58 start-page: 66 issue: 4 year: 2015 ident: 440_CR61 publication-title: Commun. ACM doi: 10.1145/2699417 – ident: 440_CR69 – ident: 440_CR82 – volume-title: Service-oriented architecture: concepts, technology, and design year: 2005 ident: 440_CR39 – ident: 440_CR16 – volume: 2 start-page: 51 issue: 1 year: 1997 ident: 440_CR36 publication-title: Constraints doi: 10.1023/A:1009796922698 – ident: 440_CR12 – ident: 440_CR8 – ident: 440_CR21 doi: 10.1109/ICRTIT.2011.5972354 – ident: 440_CR65 doi: 10.1109/ICSTW.2011.50 – ident: 440_CR1 – ident: 440_CR4 – volume: 28 start-page: 159 issue: 2 year: 2002 ident: 440_CR38 publication-title: Softw. Eng. IEEE Trans. doi: 10.1109/32.988497 – ident: 440_CR77 doi: 10.5121/ijsea.2012.3602 – ident: 440_CR53 doi: 10.1007/978-3-642-14458-5_7 – ident: 440_CR46 doi: 10.1023/A:1022969405325 – ident: 440_CR86 doi: 10.1109/CloudCom.2012.6427576 – ident: 440_CR44 doi: 10.1109/IWAST.2013.6595788 – volume-title: Eloquent JavaScript: a modern introduction to programming year: 2011 ident: 440_CR41 – ident: 440_CR73 doi: 10.1016/B978-0-12-800160-8.00001-2 – ident: 440_CR78 doi: 10.1007/3-540-45049-1_45 – ident: 440_CR68 – ident: 440_CR72 doi: 10.1002/ett.2704 – ident: 440_CR49 – ident: 440_CR59 doi: 10.1145/1882362.1882433 – ident: 440_CR70 doi: 10.1017/S0269888910000275 – ident: 440_CR64 – ident: 440_CR48 doi: 10.1007/978-3-642-01247-1_7 – ident: 440_CR67 – ident: 440_CR15 – volume: 86 start-page: 1978 issue: 8 year: 2013 ident: 440_CR19 publication-title: J. Syst. Softw. doi: 10.1016/j.jss.2013.02.061 – volume: 22 start-page: 67 issue: 2 year: 2012 ident: 440_CR87 publication-title: Softw. Test. Verif. Reliab. doi: 10.1002/stv.430 – ident: 440_CR11 – ident: 440_CR7 – ident: 440_CR22 doi: 10.1109/CISIM.2010.5643499 – ident: 440_CR32 doi: 10.1007/978-3-642-35746-6_1 – ident: 440_CR60 doi: 10.1007/978-3-662-43652-3_3 – volume: 32 start-page: 97 issue: 1 year: 1987 ident: 440_CR35 publication-title: Artif. Intell. doi: 10.1016/0004-3702(87)90063-4 – ident: 440_CR80 doi: 10.1109/COMPSAC.2005.40 – ident: 440_CR63 – ident: 440_CR83 doi: 10.1007/978-1-4419-8303-9 |
| SSID | ssj0017679 |
| Score | 2.1957808 |
| Snippet | This paper presents the approach to functional test automation of services (black-box testing) and service architectures (grey-box testing) that has been... This paper presents the approach to functional test automation of services (black-box testing) and service archi-tectures (grey-box testing) that has been... |
| SourceID | hal proquest crossref springer |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 281 |
| SubjectTerms | Automation Computer networks Computer Science Formal specifications Functional testing Maintenance MBTCloud Scheduling Software Engineering Software Engineering/Programming and Operating Systems Temporal logic Test equipment Theory of Computation |
| Subtitle | Model-based functional testing in practice |
| SummonAdditionalLinks | – databaseName: ProQuest Technology Collection dbid: 8FG link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LT8MwDI7YuHDhjRgMFCFOoIi26SM9oQkxJgQ7MWm3Kk9AQu1gHb-fOH1sILFrm7RSHMef7fgzQpcAEoynJPFTxUjIjSJcU06UFlILT6baVb0_j-PRJHycRtM64Davr1U2Z6I7qFUhIUZ-41vHIPYh6XU7-yTQNQqyq3ULjQ7a9K2lgX3Ohg9tFiGJHdeehQSUBEmSNlnNqnTOpQV8609DepP-skudN7gVuQI5_2RJnfEZ7qLtGjXiQSXmPbSh832003RkwLWCHqDxYFEWVTEi5rnC7y3hZomtG2vNClSf48JgBYS50OtKK1yxOWMwcVVkEJfAvZG_HqLJ8P7lbkTqjglEgm4SzpSxGIJHOjaGWtVTxk9llFJhtOA8CYxnuExCnVjHSXHKEkaNpLGnoySNlKBHqJsXuT5GWAkTKRYIETMW6kAyT4WR1FwEIvIEpz3kNeuVyZpOHLpafGRLImRY4gyukMESZ3bKVTtlVnFprBt8YYXQjgMW7NHgKYNnDrXa0d9-D_UbGWW17s2z5U7poetGbiuv__vjyfqPnaKtAEy6i8D0Ubf8WugzC0hKce523Q8BZt0R priority: 102 providerName: ProQuest |
| Title | Automation and intelligent scheduling of distributed system functional testing |
| URI | https://link.springer.com/article/10.1007/s10009-016-0440-3 https://www.proquest.com/docview/1899611197 https://hal.sorbonne-universite.fr/hal-01397009 |
| Volume | 19 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT9tAEB414cIFCm1FKEQrxKmVke312uujU-WhtkRVRSQ4WfsEBHIQOD3w69nxI4QIKnGyZM_6sTPjmd2Z-QbgGJ0E62vlBanmXiSs9oShwtNGKiN9lZqq6v10Gk9m0c9zdt7UcT-02e5tSLL6U68Uu1Ub-YFbAWNAknZggwU85V3YyMYXv4bL4EESVxB7zhOgXpgkaRvMfO0mL8xR5wqTIVc8zbXgaGVzRttw1r5tnWpyc7Io5Yl6XANyfOfnfIStxgclWS00O_DBFLuw3fZ3II26f4JptijndWkjEYUm10v4zpK4RbEzUljLTuaWaITfxc5ZRpMaG5qgwaz3GUmJSB7F5WeYjYZnPyZe03_BU6jpnuDaOo9EMBNbS50iaxukiqVUWiOFSELrW6GSyCRuGaYF5QmnVtHYNyxJmZb0C3SLeWH2gGhpmeahlDHnkQkV93XElBEylMyXgvbAb9mQqwacHHtk3ObPsMo4XzkmpOF85W7It-WQuxqZ43_ER463SzrE1J5kv3M8V_nAjvpf0IODlvV5o8kPuZOwNA4w2NqD7y0nVy6_9cT9d1F_hc0Q_YVqe-cAuuX9whw6b6eUfejw0bjvZHw0GEz7jay742A4_fPXXZ2F2RNwP_sQ |
| linkProvider | Springer Nature |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3JSsRAEC10POjFXRzXRvSiNCbprAeRcWPUcRBR8BZ7VUEyLlHxp_xGu7KMC-jNa9LdgaqXrqqurlcAq-gkGEdJ6iYqpj43inLNOFVaSC0cmeii6v2kG7Yv_KPL4HIA3utaGLxWWe-JxUatehLPyDddGxiELia9tu8fKHaNwuxq3UKjhMWxfnu1IdvT1uGe1e-a5x3sn--2adVVgErEL-WxMtbO8kCHxjALT2XcRAYJE0YLziPPOIbLyNeRDS4UZ3EUMyNZ6OggSgIlmF13EIZ8rGhtwNDOfvf0rJ-3iMKC3c86IYx6UZTUedSyWK9IRLg2gseEKvtmCQdv8B7mFyf3R162MHcH4zBa-amkVQJrAgZ0NgljdQ8IUm0JU9BtPee9svyR8EyR2z7FZ05s4GwNGda7k54hCil6sbuWVqTkjyZoVMuzSJIj20d2PQ0X_yLNGWhkvUzPAlHCBCr2hAjj2NeejB3lB1Jz4YnAEZw1wanllcqKwBz7aNyln9TLKOIUL62hiFM7Zb0_5b5k7_hr8IpVQn8c8m63W50UnxV-sh394jZhodZRWv3tT-knNpuwUevty-vfvjj392LLMNw-P-mkncPu8TyMeOhQFOc_C9DIH5_1onWHcrFUYZDA1X_D_gOWOxxn |
| linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3dT9RAEJ8AJsQXVNB4eOrGyAtmQ9ttu9sHQi6e5_HhhQdJeKv7qSakB1I0_mv-dc7040ASeeO13d0mO7_uzOzM_AbgLRkJIXKWx4VTPNXBce2F5s4b601kC99UvX-a5dOT9OA0O12CP30tDKVV9mdic1C7uaU78p0YHYM8pqDXTujSIo7Hk73zC04dpCjS2rfTaCFy6H__Qvftcnd_jLLeSpLJh8_vp7zrMMAtYZlr5QLqXJ35PASBUHUhLmxWCBO80VomIQraytRLdDScFkoqEazII5_JInNG4LrL8EDiVHL81OTjIoIh84bnD80RwRMpiz6i2pbtNSGJGH15Cq2Kf3Ti8jfKyLxh7t6K0DaKb_IY1jqLlY1aiD2BJV-tw6O-GwTrDocNmI2u6nlbCMl05dj3BdlnzdCFRpVGle9sHpgjsl7qs-Uda5mkGanX9laS1cT7UX19Cif3spfPYKWaV_45MGdC5lRiTK5U6hOrIpdm1muTmCwyWgwg6vertB2VOXXUOCuvSZhpi0tKX6MtLnHK9mLKecvjcdfgNyiExThi4J6Ojkp61ljMOPpnPIBhL6Oy--8vy2uUDuBdL7cbr__3xc27F3sNqwj28mh_dvgCHiZkWTQXQUNYqX9c-ZdoF9XmVQNABl_uG_F_AdiNHzc |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automation+and+intelligent+scheduling+of+distributed+system+functional+testing&rft.jtitle=International+journal+on+software+tools+for+technology+transfer&rft.au=Hillah%2C+Lom+Messan&rft.au=Maesano%2C+Ariele-Paolo&rft.au=De+Rosa%2C+Fabio&rft.au=Kordon%2C+Fabrice&rft.date=2017-06-01&rft.issn=1433-2779&rft.eissn=1433-2787&rft.volume=19&rft.issue=3&rft.spage=281&rft.epage=308&rft_id=info:doi/10.1007%2Fs10009-016-0440-3&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10009_016_0440_3 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1433-2779&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1433-2779&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1433-2779&client=summon |