Cited By
View all- Dąbrowski RTimoszuk GStencel K(2019)One Graph to Rule Them All Software Measurement and ManagementFundamenta Informaticae10.5555/2594991.2594996128:1-2(47-63)Online publication date: 4-Jan-2019
The use of mathematics in software quality assurance
Abstract
The use of mathematics for documenting, inspecting, and testing software is explained and illustrated. Three measures of software quality are described and discussed. Then three distinct complementary approaches to software quality assurance are presented. A case study, the testing and inspection of a safety-critical system, is discussed in detail.
References
[1]
Avizienis A. The N-version approach to fault-tolerant software. IEEE Transactions on Software Engineering, 1985, SE-11(12): 1491-1501.
[2]
Knight J C, Leveson N G. An experimental evaluation of the assumption of independence in multi-version programming. IEEE Transactions on Software Engineering, 1986, SE-12(1): 96-109.
[3]
Parnas D L. Precise Documentation: The Key to Better Software. In: Nanz S, eds. The Future of Software Engineering. Berlin: Springer, 2011, 125-148.
[4]
Parnas D L, Madey J. Functional documentation for computer systems engineering. Science of Computer Programming, 1995, 25(1): 41-61.
[5]
Heninger K L. Specifying software requirements for complex systems: New techniques and their application. IEEE Transactions on Software Engineering, 1980, SE-6(January): 2-13 (Reprinted as Chapter 6 in {29}).
[6]
Parnas D L. Tabular representation of relations. CRL Report 260, Communications Research Laboratory, McMaster University, http://www.cas.mcmaster.ca/serg/crl_reports.html.
[7]
Janicki R, Parnas D L, Zucker J. Tabular representations in relational documents. In: Brink C, Schmidt G, eds. Relational Methods in Computer Science, Chapter 12, Berlin: Springer-Verlag, 1997, 184-196 (Reprinted as Chapter 4 in {29}).
[8]
Jin Y, Parnas, D L. Defining the meaning of tabular mathematical expressions. Science of Computer Programming, 2010, 75(11): 980-1000.
[9]
Heninger K L, Kallander J, Parnas D L, Shore J. Software requirements for the A-7E aircraft. NRL Report 3876, November 1978.
[10]
van Schouwen A J. The A-7 requirements model: re-examination for real-time systems and an application to monitoring systems. Technical Report 90-276, Queen's, C&IS, TRIO, Kingston, Ontario, Canada, May 1990.
[11]
Parnas D L. From requirements to architecture. In: Fujita H, eds. New Trends in Software Methodologies, Tools and Techniques, Volumn 217 of Frontiers in Artificial Intelligence and Applications, Amsterdam: IOS Press, 2010, 3-36.
[12]
Parnas D L, Madey J, Iglewski M. Precise documentation of well-structured programs. IEEE Transactions on Software Engineering, 1994, 20(12): 948-976.
[13]
Parnas D L, Weiss D M. Active design reviews: Principles and practices. In: Proceedings of the 8th International Conference on Software 9) They publish in journals that nuclear power engineers will read. Engineering. 1985 (Also published in Journal of Systems and Software, December 1987, Reprinted as Chapter 17 in {29}).
[14]
Parnas D L, Asmis G J K, Madey J. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 1991, 32(2): 189-198.
[15]
van Schouwen A J, Parnas D L, Madey J. Documentation of requirements for computer systems. In: Proceedings of 1993 IEEE International Symposium on Requirements Engineering. 1993, 198-207.
[16]
Parnas D L. Inspection of safety critical software using function tables. In: Proceedings of IFIP World Congress 1994. 1994, 270-277 (Reprinted as Chapter 19 in {29}).
[17]
Parnas D L. Mathematical descriptions and specification of software. In: Proceedings of IFIP World Congress 1994. 1994, 354-359.
[18]
Archinoff G H, Hohendorf R J, Wassyng A, Quigley B, Borsch M R. Verification of the shutdown system software at the Darlington nuclear generating station. In: Proceedings of International Conference on Control & Instrumentation in Nuclear Installations. 1990.
[19]
Peters D K, Parnas D L. Requirements-based monitors for real-time systems. IEEE Transactions on Software Engineering, 2002, 28(2): 146-158.
[20]
Peters D K, Parnas D L. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 1998, 24(3): 161-173.
[21]
Liu S L. Generating test cases from software documentation. McMaster University, CAS/SQRL, http://www.cas.mcmaster.ca/sqrl/sqrl_reports.html
[22]
Clermont M, Parnas D L. Using information about functions in selecting test cases. In: Proceedings of ICSE 2005 Workshop on Advances in Model-Based Software Testing (A-MOST). 2005.
[23]
Woit D M. Specifying operational profiles for modules. In: Proceedings of the 1993 ACM SIGSOFT International Symposium on Software Testing and Analysis. 1993, 2-10.
[24]
Dijkstra E W. A Discipline of Programming. Englewood Cliffs: Prentice Hall, 1976.
[25]
Bowman W C, Archinoff G H, Raina V M, Tremaine D R, Leveson N G. An application of fault tree analysis to safety critical software at Ontario Hydro. In: Proceedings of Probabilistic Safety and Management Conference. 1991.
[26]
Parnas D L. Really rethinking 'formal methods'. Computer, 2010, 43(1): 28-34.
[27]
Parnas D L. How engineering mathematics can improve software. In: Proceedings of the 2011 International Conference on Engineering of Reconfigurable Systems and Algorithms. 2011.
[28]
Parnas D L. Stop the numbers game. Communications of the ACM, 2007, 50(11): 19-21.
[29]
Hoffman D M, Weiss D M. Software Fundamentals: Collected Papers by David L. Parnas. Boston: Addison-Wesley, 2001.
- The use of mathematics in software quality assurance
Recommendations
Metrics in software quality assurance
ACM '81: Proceedings of the ACM '81 conferenceThe nature of “software quality” and some software metrics are defined and their relationship to traditional software indicators such as “maintainability” and “reliability” are suggested. Recent work in the field is summarized and an outlook for ...
Factors affecting effective software quality management revisited
Developing a good software system is a very complex task. In order to produce a good software product, several measures for software quality attributes need to be taken into account. System complexity measurement plays a vital role in controlling and ...
Laboratory practice with software quality assurance
SEEP '96: Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)Students and indeed many practicing software professionals are often sceptical of the benefits of software quality assurance. Organizations which have experienced the benefits for themselves are in no doubt. In the Software Engineering major at the ...
Comments
Information & Contributors
Information
Published In
Copyright © Copyright © 2012 Higher Education Press and Springer-Verlag Berlin Heidelberg.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 February 2012
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 13 Nov 2024
Other Metrics
Citations
Cited By
View all- Dąbrowski RTimoszuk GStencel K(2019)One Graph to Rule Them All Software Measurement and ManagementFundamenta Informaticae10.5555/2594991.2594996128:1-2(47-63)Online publication date: 4-Jan-2019
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in