Software testing, verification & reliability.

Additional Titles: Software testing, verification and reliability
STVR
Software

Θέματα: Computer software Periodicals. Testing, Computer software Periodicals. Verification, Computer software Periodicals. Reliability, Logiciels Périodiques. Essais, Logiciels Périodiques. Vérification, Logiciels Périodiques. Fiabilité, Computer software Reliability., Computer software Testing., Computer software Verification., Programari., Auditoria informàtica.

Όροι ευρετηρίου: Computing, mathematics and information systems, Electronic journals., Periodicals., Periodicals., Revistes electròniques.

Σύνδεσμος: http://www.intute.ac.uk/sciences/cgi-bin/fullrecord.pl?handle=lesa.1013705225
http://www3.interscience.wiley.com/cgi-bin/jhome/13635
http://onlinelibrary.wiley.com/journal/10.1002/%28ISSN%291099-1689
https://onlinelibrary.wiley.com/journal/10991689

Software assurance using structured assurance case models / Thomas Rhodes [and others].

Θεματικοί όροι: Computer software -- Reliability., Computer software -- Security measures., Systems software -- Reliability., Computer software -- Reliability., Computer software -- Security measures.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo98894
https://www.govinfo.gov/content/pkg/GOVPUB-C13-688358da0e3f532c690f2efef0f056a6/pdf/GOVPUB-C13-688358da0e3f532c690f2efef0f056a6.pdf

Software reliability: a preliminary handbook / Rodger Knaus, Hamid Aougab, Naim Bentahar.

Συγγραφείς: Knaus, Rodger

Θεματικοί όροι: Computer software -- Reliability., Computer software -- Verification., Computer software -- Validation., Highway engineering.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo93300
https://www.fhwa.dot.gov/publications/research/safety/04080/04080.pdf
https://catalog.gpo.gov/fdlpdir/locate.jsp?ItemNumber=0982-G-11&SYS=001061532

Case-Study for Integration of COTS SoC Devices in Reliable Space Systems for On-Board Processing

Συγγραφείς: Rodriguez-Ferrandez, Ivan, Steenari, David, Tali, Maris, Kosmidis, Leonidas, Tonicello, Ferdinando

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
2023 European Data Handling & Data Processing Conference (EDHPC)

Θεματικοί όροι: On-board processing, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Sistemes monoxip, Space systems, Àrees temàtiques de la UPC::Aeronàutica i espai::Astronàutica, Systems on a chip, Data handling systems, Computer software -- Reliability, Reliable systems, Programari -- Fiabilitat, Graphics processing units, 7. Clean energy, Unitats de processament gràfic

Περιγραφή αρχείου: application/pdf

Improved Management of Issue Dependencies in Issue Trackers of Large Collaborative Projects

Συγγραφείς: Mikko Raatikainen, Quim Motger, Clara Marie Lüders, Xavier Franch, Lalli Myllyaho, Elina Kettunen, Jordi Marco, Juha Tiihonen, Mikko Halonen, Tomi Männistö

Συνεισφορές: Empirical Software Engineering research group, Department of Computer Science, Finnish Museum of Natural History, Universitat Politècnica de Catalunya. Doctorat en Computació, Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Services, Information and Data Engineering

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: FOS: Computer and information sciences, Computer software -- Development, Software development management, Dependency, 02 engineering and technology, Programari -- Fiabilitat, Bug, Interviews, Computer Science - Software Engineering, Stakeholders, Issue tracker, 0202 electrical engineering, electronic engineering, information engineering, Design science, D.2.1, Computer and information sciences, Jira, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Computer software -- Reliability, Collaboration, Software Engineering (cs.SE), Requirement, Computer bugs, Release, Task analysis, Issue management, Programari -- Desenvolupament, Issue, Software

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2102.08485
http://hdl.handle.net/10138/358464

Evaluation of Joint Controller Placement for Latency and Reliability-Aware Control Plane

Συγγραφείς: Rasol, Kurdman Abdulrahman Rasol, Domingo Pascual, Jordi

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: Software defined networking controllers, Economic and social effects, Single-link failure, Ordinadors, Xarxes d' -- Gestió, Computer networks -- Management, Computer software -- Reliability, Control planes, Programari -- Fiabilitat, Multiple controller placements, Software reliability, Failure (mechanical), Controller placements, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Single-link failures, Control plane reliability, Control plane latency, Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC], Forwarding planes

Περιγραφή αρχείου: application/pdf

Software Timing Analysis for Complex Hardware with Survivability and Risk Analysis

Συγγραφείς: Sergi Vilardell, Isabel Serra, Jaume Abella 0001, Joan del Castillo, Francisco J. Cazorla

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
2019 IEEE 37th International Conference on Computer Design (ICCD)

Θεματικοί όροι: Probabilistic timing analysis, Computer software -- Reliability, 02 engineering and technology, Programari -- Fiabilitat, Ordinadors immersos, Sistemes d', Gestió del risc, Embedded computer systems, 01 natural sciences, Risk management, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, 0202 electrical engineering, electronic engineering, information engineering, Weibull, 0101 mathematics, Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC], WCET

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/180220/1/camera_ready.pdf

An Approach for Detecting Power Peaks During Testing and Breaking Systematic Pathological Behavior

Συγγραφείς: David Trilla, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
2019 22nd Euromicro Conference on Digital System Design (DSD)

Θεματικοί όροι: Power dissipation, 0211 other engineering and technologies, Real-time data processing, Computer software -- Reliability, 02 engineering and technology, Programari -- Fiabilitat, Program processors, Ordinadors immersos, Sistemes d', Embedded computer systems, Hardware, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Systematics, 0202 electrical engineering, electronic engineering, information engineering, Timing, Temps real (Informàtica), Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC], Probabilistic logic

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/187511/1/Trilla%20et%20al.pdf
https://hdl.handle.net/2117/187511
https://doi.org/10.1109/dsd.2019.00083

A Vulnerability Factor for ECC-protected Memory

Συγγραφείς: Jaulmes, Luc, Moretó Planas, Miquel, Valero Cortés, Mateo, Casas, Marc

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
2019 IEEE 25th International Symposium on
Testing and Robust System Design (IOLTS)

Θεματικοί όροι: Error-correcting codes (Information theory), Benchmark testing, Tolerància als errors (Informàtica), Codis correctors d'errors (Teoria de la informació), Computer software -- Reliability, 02 engineering and technology, Fault-tolerant computing, Random access memory, Programari -- Fiabilitat, 01 natural sciences, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Task analysis, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Jacobian matrices, Timing, Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/186283/1/Jaulmes%20et%20al.pdf
https://hdl.handle.net/2117/186283
https://doi.org/10.1109/iolts.2019.8854397

A Quality Model for Actionable Analytics in Rapid Software Development

Συγγραφείς: Silverio Martínez-Fernández, Andreas Jedlitschka, Liliana Guzmán, Anna Maria Vollmer

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Θεματικοί όροι: FOS: Computer and information sciences, Agile, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Software analytics, Informàtica::Enginyeria del software [Àrees temàtiques de la UPC], H2020, Software quality, Computer software -- Quality control, Computer software -- Reliability, Programari -- Control de qualitat, 02 engineering and technology, Programari -- Fiabilitat, Software Engineering (cs.SE), Computer Science - Software Engineering, Decisió, Presa de, 0202 electrical engineering, electronic engineering, information engineering, Decision making, Quality model, Q-Rapids, Rapid software development

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://arxiv.org/pdf/1803.09670
http://arxiv.org/abs/1803.09670
https://arxiv.org/abs/1803.09670
https://hdl.handle.net/2117/178202
https://doi.org/10.1109/seaa.2018.00067

Comparison of GPU computing methodologies for safety-critical systems: an avionics case study

Συγγραφείς: Benito Bermúdez, Marc, Trompouki, Matina Maria, Kosmidis, Leonidas, García Martín, David, Carretero Jiménez, Sergio, Wenger, Ken

Συνεισφορές: Barcelona Supercomputing Center, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

Θεματικοί όροι: Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Avionics, Computer software -- Development, Computer software -- Reliability, Safety-critical systems, OpenGL SC 2.0, Brook Auto/BRASIL, State-of-the art, Aviònica, Programari -- Desenvolupament, Programari -- Fiabilitat

Περιγραφή αρχείου: 2 p.; application/pdf

Relation: https://ieeexplore.ieee.org/document/9474060; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C22/ES/UPC-COMPUTACION DE ALTAS PRESTACIONES VIII/; https://hdl.handle.net/2117/348962

Διαθεσιμότητα: https://hdl.handle.net/2117/348962
https://doi.org/10.23919/DATE51398.2021.9474060

Requirements Engineering and Continuous Deployment

Συγγραφείς: Niu, Nan, Brinkkemper, Sjaak, Franch Gutiérrez, Javier, Partanen, Jari, Savolainen, Juha

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: Formal verification, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Programari -- Tests, Informàtica::Enginyeria del software [Àrees temàtiques de la UPC], 0202 electrical engineering, electronic engineering, information engineering, Requirements engineering, Systems analysis, Computer software -- Reliability, 02 engineering and technology, Formal specification, Programari -- Fiabilitat, Computer software -- Testing

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/116655/3/IEEE-SW-Column-v5.pdf
http://hdl.handle.net/2117/116655
https://hdl.handle.net/2117/116655
https://doi.org/10.1109/ms.2018.1661332

Software maintainability measurement

Συγγραφείς: He, Lulu.

Θέματα: Software maintenance Quality control Standards Mathematical models., Software measurement Mathematical models., Software engineering Standards., Computer software Reliability., Logiciels Entretien et réparations Qualité Contrôle Normes Modèles mathématiques., Mesure du logiciel Modèles mathématiques., Génie logiciel Normes., Logiciels Fiabilité., Computer software Reliability., Software engineering Standards.

Όροι ευρετηρίου: Measurement, Maintainability, Task complexity, Academic Dissertation, Electronic resources, Electronic theses/dissertations, Dissertations, Academic theses., Academic theses., Thèses et écrits académiques.

Σύνδεσμος: https://hdl.handle.net/11668/15580

The integration of safety analysis and functional verification techniques for software safety arguments

Συγγραφείς: Atchison, Brenton

Θεματικοί όροι: 280302 Software Engineering, 700199 Computer software and services not elsewhere classified, Computer software -- Verification, School of Information Technology and Electrical Engineering, System safety, Computer software -- Reliability

Σύνδεσμος πρόσβασης: https://api.library.uq.edu.au/view/UQ:106789
https://api.library.uq.edu.au/view/UQ:106789/THE17659.pdf

Conflicts and synergies among quality requirements

Συγγραφείς: Boehm, Barry, Franch Gutiérrez, Javier

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Computer software -- Reliability, Computer software -- Quality control, Software architecture, Software qualities, Nonfunctional requirements, Quality requirements, Reliability, Availability, Maintainability, Security, Programari -- Fiabilitat, Programari -- Control de qualitat, Programari -- Disseny

Περιγραφή αρχείου: 2 p.; application/pdf

Relation: https://ieeexplore.ieee.org/document/8004365/; info:eu-repo/grantAgreement/EC/H2020/732253/EU/Quality-Aware Rapid Software Development/Q-RAPIDS; https://hdl.handle.net/2117/119026

Διαθεσιμότητα: https://hdl.handle.net/2117/119026
https://doi.org/10.1109/QRS-C.2017.87

Supporting software maintenance with non-functional information

Συγγραφείς: Franch Gutiérrez, Javier, Botella López, Pere

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, Llenguatges de programació, Programming languages (Electronic computers), Computer software -- Reliability, 0102 computer and information sciences, 02 engineering and technology, Programari -- Fiabilitat, 01 natural sciences, Àrees temàtiques de la UPC::Informàtica::Programació, Informàtica::Programació [Àrees temàtiques de la UPC]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/114996/1/00582996.pdf
http://hdl.handle.net/2117/114996
https://hdl.handle.net/2117/114996
https://doi.org/10.1109/csmr.1997.582996

Anticipating Requirements Changes-Using Futurology in Requirements Elicitation

Συγγραφείς: Pimentel, João Henrique, Santos, Emanuel, Castro, Jaelson, Franch Gutiérrez, Javier

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

Πηγή: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: Tolerància als errors (Informàtica), Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Informàtica::Enginyeria del software [Àrees temàtiques de la UPC], Autonomic computing, Computer software -- Reliability, 02 engineering and technology, Fault-tolerant computing, Requirements changes, Foresight methods, Requirements elicitation, Programari -- Desenvolupament, 0202 electrical engineering, electronic engineering, information engineering, Requirements evolution, Self-adaptive systems, Studies of the future

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/19447
https://hdl.handle.net/2117/19447
https://doi.org/10.4018/jismd.2012040104

A reliability model for Markov structured software

Συγγραφείς: Littlewood, B.

Πηγή: Proceedings of the international conference on Reliable software. :204-207

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/800027.808441

Clean Code : Refactoring, Patterns, Testen und Techniken für sauberen Code. Deutsche Ausgabe

Συγγραφείς: Robert C. Martin

Resource Type: eBook.

Θέματα: Computer programming, Computer software--Reliability, Agile software development

Categories: COMPUTERS / General

Narratives of Success and Failure in Systems Development

Συγγραφείς: Fincham, Robin

Συνεισφορές: Management, Work and Organisation

Πηγή: British Journal of Management. 13:1-14

Θεματικοί όροι: Computer software Reliability, 0502 economics and business, 05 social sciences, Computer systems

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://dspace.stir.ac.uk/bitstream/1893/10827/1/Fincham_2002_Narratives_of_Success_and_Failure.pdf