Refereed paper: Striving for correctness
作者： Marshall D. Abrams , Marvin V. Zelkowitz
DOI: 10.1016/0167-4048(95)00022-4
关键词: Correctness 、 Software engineering 、 Management science 、 Security testing 、 Computer science 、 Reuse 、 Formal methods 、 Structured programming 、 Process modeling 、 Information technology 、 Computer-aided software engineering
摘要: In developing information technology, you want assurance that systems are secure and reliable, but cannot have or security without correctness. We discuss methods used to achieve correctness, focusing on weaknesses approaches management might take increase belief in Formal methods, simulation, testing, process modeling addressed detail. Structured programming, life-cycle like the spiral model, use of CASE tools, formal object-oriented design, reuse existing code also mentioned. Reliance these involves some element since no validated metrics effectiveness exist. Suggestions for using as basis managerial decisions conclude paper.
elsevier.com
sci-hub.se 参考文章(41)
Mark C. Paulk, Capability Maturity Model for Software, Version 1.1 Defense Technical Information Center. ,(1993) , 10.21236/ADA263403
Klaus Brunnstein, Beastware (Viren, Würmer, trojanische Pferde): Paradigmen Systemischer Unsicherheit Springer, Berlin, Heidelberg. pp. 44- 60 ,(1994) , 10.1007/978-3-642-85103-2_4
C. Jones, Gaps in the O-O paradigm IEEE Computer. ,vol. 27, pp. 90- 91 ,(1994)
C. Youngblut, J. Salasin, R.N. Meeson, B.R. Brykczynski, K.D. Gordon, SDS (strategic defense system) software testing and evaluation: A review of the state-of-the-art in software testing and evaluation with recommended R D (research and development) tasks. Final report ,(1989)
William R. Herndon, Arnon Rosenthal, James Williams, Bhavani M. Thuraisingham, A Fine-grained Access Control Model for Object-Oriented DBMSs Proceedings of the IFIP WG11.3 Working Conference on Database Security VII. pp. 319- 334 ,(1994)
James H. Fetzer, Program verification: the very idea Communications of The ACM. ,vol. 31, pp. 1048- 1063 ,(1988) , 10.1145/48529.48530
vanCleemput, Ofsek, Design Automation for Digital Systems IEEE Computer. ,vol. 17, pp. 114- 122 ,(1984) , 10.1109/MC.1984.1658963
D. Elliott Bell, Leonard J. La Padula, Secure Computer System: Unified Exposition and Multics Interpretation Defense Technical Information Center. ,(1976) , 10.21236/ADA023588
Mamrak, Abrams, Special Feature: A Taxonomy for Valid Test Workload Generation IEEE Computer. ,vol. 12, pp. 60- 65 ,(1979) , 10.1109/MC.1979.1658577
Richard A. De Millo, Richard J. Lipton, Alan J. Perlis, Social processes and proofs of theorems and programs Communications of the ACM. ,vol. 22, pp. 271- 280 ,(1979) , 10.1145/359104.359106