Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation-Reference-Cited by-同舟云学术

Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation

Published:2014-08-03 Issue:3 Volume:97 Page:261-279
ISSN:0010-485X
Container-title:Computing
language:en
Short-container-title:Computing

Author:

Kandl Susanne,Chandrashekar Sandeep

Publisher

Springer Science and Business Media LLC

Subject

Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00607-014-0418-5.pdf

Reference25 articles.

1. RTCA Inc. (1992) DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Requirements and Technical Concepts for Aviation, Washington, DC

2. Chilenski J, Miller SP (1994) Applicability of modified condition/decision coverage to software testing. Softw Eng J 9(5):193–200

3. ISO: International Organization for Standardization (2009) ISO 26262: Functional safety—road vehicles, draft

4. RTCA Inc. (2001) DO-248B: Final Report for Clarification of DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Requirements and Technical Concepts for Aviation, Washington, DC

5. Chilenski JJ (2001) An investigation of three forms of the modified condition decision coverage (MCDC) criterion, US Department of Transportation, Federal Aviation Administration, DOT/FAA/AR-01/18

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mutation testing optimisations using the Clang front‐end;Software Testing, Verification and Reliability;2023-10-17

2. Automatic Test Generation to Improve Scrum for Safety Agile Methodology;Proceedings of the 18th International Conference on Availability, Reliability and Security;2023-08-29

3. Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04

4. MC/DC Test Case Automatic Generation for Safety-Critical Systems;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

5. Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04