Software testing, verification & reliability.

Additional Titles: Software testing, verification and reliability
STVR
Software

Subjects: 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.

Index Terms: Computing, mathematics and information systems, Electronic journals., Periodicals., Periodicals., Revistes electròniques.

URL: 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].

Subject Terms: Computer software -- Reliability., Computer software -- Security measures., Systems software -- Reliability., Computer software -- Reliability., Computer software -- Security measures.

Online Access: 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.

Authors: Knaus, Rodger

Subject Terms: Computer software -- Reliability., Computer software -- Verification., Computer software -- Validation., Highway engineering.

Online Access: 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

Authors: Rodriguez-Ferrandez, Ivan, Steenari, David, Tali, Maris, Kosmidis, Leonidas, Tonicello, Ferdinando

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

Subject Terms: 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

File Description: application/pdf

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

Authors: Mikko Raatikainen, Quim Motger, Clara Marie Lüders, Xavier Franch, Lalli Myllyaho, Elina Kettunen, Jordi Marco, Juha Tiihonen, Mikko Halonen, Tomi Männistö

Contributors: 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

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: 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

File Description: application/pdf

Access URL: http://arxiv.org/abs/2102.08485
http://hdl.handle.net/10138/358464

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

Authors: Rasol, Kurdman Abdulrahman Rasol, Domingo Pascual, Jordi

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: 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

File Description: application/pdf

Software Timing Analysis for Complex Hardware with Survivability and Risk Analysis

Authors: Sergi Vilardell, Isabel Serra, Jaume Abella 0001, Joan del Castillo, Francisco J. Cazorla

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://upcommons.upc.edu/bitstream/2117/180220/1/camera_ready.pdf

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

Authors: David Trilla, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Jaulmes, Luc, Moretó Planas, Miquel, Valero Cortés, Mateo, Casas, Marc

Source: 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)

Subject Terms: 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]

File Description: application/pdf

Access URL: 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

Authors: Silverio Martínez-Fernández, Andreas Jedlitschka, Liliana Guzmán, Anna Maria Vollmer

Source: 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)

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Benito Bermúdez, Marc, Trompouki, Matina Maria, Kosmidis, Leonidas, García Martín, David, Carretero Jiménez, Sergio, Wenger, Ken

Contributors: Barcelona Supercomputing Center, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

Subject Terms: À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

File Description: 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

Availability: https://hdl.handle.net/2117/348962
https://doi.org/10.23919/DATE51398.2021.9474060

Requirements Engineering and Continuous Deployment

Authors: Niu, Nan, Brinkkemper, Sjaak, Franch Gutiérrez, Javier, Partanen, Jari, Savolainen, Juha

Contributors: 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

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: He, Lulu.

Subjects: 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.

Index Terms: Measurement, Maintainability, Task complexity, Academic Dissertation, Electronic resources, Electronic theses/dissertations, Dissertations, Academic theses., Academic theses., Thèses et écrits académiques.

URL: https://hdl.handle.net/11668/15580

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

Authors: Atchison, Brenton

Subject Terms: 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

Access URL: 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

Authors: Boehm, Barry, Franch Gutiérrez, Javier

Contributors: 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

Subject Terms: À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

File Description: 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

Availability: https://hdl.handle.net/2117/119026
https://doi.org/10.1109/QRS-C.2017.87

Supporting software maintenance with non-functional information

Authors: Franch Gutiérrez, Javier, Botella López, Pere

Contributors: 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

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

Subject Terms: 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]

File Description: application/pdf

Access URL: 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

Authors: Pimentel, João Henrique, Santos, Emanuel, Castro, Jaelson, Franch Gutiérrez, Javier

Contributors: 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

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Littlewood, B.

Source: Proceedings of the international conference on Reliable software. :204-207

Availability: http://dl.acm.org/doi/10.1145/800027.808441

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

Authors: Robert C. Martin

Resource Type: eBook.

Subjects: Computer programming, Computer software--Reliability, Agile software development

Categories: COMPUTERS / General

Narratives of Success and Failure in Systems Development

Authors: Fincham, Robin

Contributors: Management, Work and Organisation

Source: British Journal of Management. 13:1-14

Subject Terms: Computer software Reliability, 0502 economics and business, 05 social sciences, Computer systems

File Description: application/pdf

Access URL: http://dspace.stir.ac.uk/bitstream/1893/10827/1/Fincham_2002_Narratives_of_Success_and_Failure.pdf