Challenges with software verification and validation activities in the space industry

ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation

Volumn , Issue , 2010, Pages 225-234

  Feldt, R ^a   Torkar, R ^a   Ahmad, E ^a   Raza, B ^a  

^a BLEKINGE INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Case study; European Cooperation for Space Standardization; Verification and validation

Indexed keywords

ENGINEERING PROCESS; EUROPEAN COOPERATION FOR SPACE STANDARDIZATIONS; EUROPEAN SPACE INDUSTRY; IF THERE ARE; INDUSTRIAL CASE STUDY; IS COSTS; LOWER COST; MARKET PRESSURE; QUALITY GOALS; SOFTWARE VERIFICATION AND VALIDATION; SPACE INDUSTRY; VERIFICATION AND VALIDATION;

INDUSTRY; INTERNATIONAL COOPERATION; OPTIMIZATION; RESEARCH; SOFTWARE TESTING; SPACE APPLICATIONS; STANDARDIZATION; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77954498419     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2010.37     Document Type: Conference Paper

References (27)

1. European Cooperation for Space Standardization, ECSS Secretariat, ESA ESTEC, P.O. Box 299, 2200 AG Noordwijk, The Netherlands, ECSS-S-ST-00C System-Description implementation and general requirements, July 2008.
2. M. Jones, U. K. Mortensen, and J. Fairclough, "The ESA software engineering standards: Past, present and future," in Software Engineering Standards Symposium and Forum, 1997. 'Emerging International Standards'. ISESS 97., Third IEEE International, pp. 119-126, 1997.
3. ESA Board for Software Standardisation and Control (BSSC), European Space Agency/Agence Spatiale Européenne 8-10, rue Mario-Nikis, 75738 PARIS CEDEX, France, ECSS PSS-05-0-ESA Software Engineering Standards, February 1991.
4. S. R. Rakitin, Software verification and validation for practitioners and managers. Norwood, MA, USA: Artech House, Inc., 2nd ed., 2001.
5. G. J. Myers, "A controlled experiment in program testing and code walkthroughs/inspections," Communications of the ACM, vol. 21, no. 9, pp. 760-768, 1978.
6. M. Wood, M. Roper, A. Brooks, and J. Miller, "Comparing and combining software defect detection techniques: A replicated empirical study," in ESEC '97/FSE-5: Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering, (New York, NY, USA), pp. 262-277, Springer-Verlag New York, Inc., 1997.
7. G. Brat, E. Denney, D. Giannakopoulou, J. Frank, and A. Jonsson, "Verification of autonomous systems for space applications," in Aerospace Conference, 2006 IEEE, p. 11, 2006.
8. D. Astels, Test driven development: A practical guide. Prentice Hall Professional Technical Reference, 2003.
9. K. Beck, M. Beedle, A. van Bennekum, A. Cockburn, W. Cunningham, M. Fowler, J. Grenning, J. Highsmith, A. Hunt, R. Jeffries, J. Kern, B. Marick, R. C. Martin, S. Mellor, K. Schwaber, J. Sutherland, and D. Thomas, "Manifesto for agile software development." http://www.agilemanifesto.org/, 2001.
10. K. Schwaber and M. Beedle, Agile software development with Scrum. Upper Saddle River, NJ, USA: Prentice Hall PTR, 2001.
11. N. Barrett, S. Martin, and C. Dislis, "Test process optimization: Closing the gap in the defect spectrum," in Test Conference, 1999. Proceedings. International, pp. 124-129, 1999.
12. M. Rodríguez, J. G. Silva, P. Rodríguez-Dapena, H. van Loon, and F. Aldea-Montero, "Reuse of existing software in space projects-Proposed approach and extensions to product assurance and software engineering standards," in ICCBSS (X. Franch and D. Port, eds.), vol. 3412 of Lecture Notes in Computer Science, pp. 258-267, Springer, 2005.
13. M. Dowson, "The Ariane 5 software failure," ACM SIGSOFT Software Engineering Notes, vol. 22, no. 2, p. 84, 1997.
14. European Cooperation for Space Standardization, ECSS Secretariat, ESA ESTEC, P.O. Box 299, 2200 AG Noordwijk, The Netherlands, ECSS-Q-ST-80C Product assurance-Software product assurance, March 2009.
15. Galileo Industries, Galileo Software Standard (GSWS) - GAL-SPE-GLI-SYST-A/0092, 7th ed., May 2004.
16. S. Fricker, T. Gorschek, and P. Myllyperkiö, "Handshaking between software projects and stakeholders using implementation proposals," in REFSQ (P. Sawyer, B. Paech, and P. Heymans, eds.), vol. 4542 of Lecture Notes in Computer Science, pp. 144-159, Springer, 2007.
17. T. Gorschek and C. Wohlin, "Requirements Abstraction Model," Requirements Engineering, vol. 11, no. 1, pp. 79-101, 2005.
18. T. Gorschek, P. Garre, S. B. M. Larsson, and C. Wohlin, "Industry evaluation of the Requirements Abstraction Model," Requirements Engineering, vol. 12, no. 3, pp. 163-190, 2007. (Pubitemid 351802339)
19. L.-O. Damm, L. Lundberg, and C. Wohlin, "Faults-slip-through-A concept for measuring the efficiency of the test process," Software Process: Improvement and Practice, vol. 11, no. 1, pp. 47-59, 2006.
20. H. W. Dettmer, Goldratt's theory of constraints: A systems approach to continuous improvement. ASQC Quality Press, Milwaukee, Wis., 1997.
21. D. Leffingwell and D. Widrig, Managing software requirements: A unified approach. Addison-Wesley Professional, October 1999.
22. M. Hollander and D. A. Wolfe, Nonparametric statistical methods. Wiley-Interscience, 2nd ed., January 1999.
23. R Development Core Team, R: A language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria, 2009. ISBN 3-900051-07-0.
24. R. Torkar. http://iaser.tek.bth.se/torkar/icst-package.zip, October 2009.
25. S. Wagner, "Modelling the quality economics of defect-detection techniques," in WoSQ '06: Proceedings of the 2006 International Workshop on Software Quality, (New York, NY, USA), pp. 69-74, ACM, 2006.
26. T. Murnane, K. Reed, and R. Hall, "Tailoring of blackbox testing methods," in ASWEC '06: Proceedings of the Australian Software Engineering Conference, (Washington, DC, USA), pp. 292-299, IEEE Computer Society, 2006.
27. M. A. Wojcicki and P. Strooper, "An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies," in WoSQ '07: Proceedings of the 5th International Workshop on Software Quality, (Washington, DC, USA), p. 9, IEEE Computer Society, 2007.