931 resultados para Software.
Filtro por publicador
- JISC Information Environment Repository (2)
- Repository Napier (1)
- Aberystwyth University Repository - Reino Unido (5)
- Andina Digital - Repositorio UASB-Digital - Universidade Andina Simón Bolívar (14)
- Applied Math and Science Education Repository - Washington - USA (2)
- Aquatic Commons (7)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (27)
- B-Digital - Universidade Fernando Pessoa - Portugal (2)
- Biblioteca Digital da Câmara dos Deputados (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (7)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (8)
- Boston University Digital Common (4)
- CaltechTHESIS (1)
- Cámara de Comercio de Bogotá, Colombia (2)
- Cambridge University Engineering Department Publications Database (65)
- CentAUR: Central Archive University of Reading - UK (58)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (62)
- Cochin University of Science & Technology (CUSAT), India (12)
- CORA - Cork Open Research Archive - University College Cork - Ireland (2)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (4)
- Department of Computer Science E-Repository - King's College London, Strand, London (37)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (3)
- DRUM (Digital Repository at the University of Maryland) (1)
- Duke University (4)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (4)
- Funes: Repositorio digital de documentos en Educación Matemática - Colombia (7)
- Greenwich Academic Literature Archive - UK (21)
- Helda - Digital Repository of University of Helsinki (8)
- Indian Institute of Science - Bangalore - Índia (29)
- Infoteca EMBRAPA (11)
- Instituto Politécnico do Porto, Portugal (15)
- Massachusetts Institute of Technology (8)
- Ministerio de Cultura, Spain (116)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (130)
- Queensland University of Technology - ePrints Archive (110)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (4)
- REPOSITORIO DIGITAL IMARPE - INSTITUTO DEL MAR DEL PERÚ, Peru (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (5)
- Research Open Access Repository of the University of East London. (1)
- RU-FFYL. Repositorio de la Facultad de Filosofiía y Letras. UNAM. - Mexico (2)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (8)
- SAPIENTIA - Universidade do Algarve - Portugal (2)
- SerWisS - Server für Wissenschaftliche Schriften der Fachhochschule Hannover (1)
- The Scholarly Commons | School of Hotel Administration; Cornell University Research (1)
- Universidad Autónoma de Nuevo León, Mexico (13)
- Universidad del Rosario, Colombia (13)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade de Madeira (1)
- Universitat de Girona, Spain (44)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (4)
- Université de Montréal, Canada (6)
- University of Southampton, United Kingdom (21)
- WestminsterResearch - UK (3)
Resumo:
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make substantial decisions for themselves, so thorough testing is an important consideration. However, autonomy also makes testing harder; by their nature, autonomous agents may react in different ways to the same inputs over time, because, for instance they have changeable goals and knowledge. For this reason, we argue that testing of autonomous agents requires a procedure that caters for a wide range of test case contexts, and that can search for the most demanding of these test cases, even when they are not apparent to the agents’ developers. In this paper, we address this problem, introducing and evaluating an approach to testing autonomous agents that uses evolutionary optimization to generate demanding test cases.