A Software Certification Consortium and its Top 9 Hurdles

被引：3

作者：

Hatcliff, John ^{[1
]}

Heimdahl, Mats ^{[2
]}

Lawford, Mark ^{[3
]}

Maibaum, Tom ^{[3
]}

Wassyng, Alan ^{[3
]}

Wurden, Fred ^{[4
]}

机构：

[1] Kansas State Univ, Dept Comp & Informat Sci, Manhattan, KS 66506 USA

[2] Univ Minnesota, U Minnesota Software Engn Ctr, Comp Sci & Engn, Minneapolis, MN USA

[3] McMaster Univ, Software Qual Res Lab, Hamilton, ON, Canada

[4] Microsoft Corp, Seattle, WA USA

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 238卷 / 04期

基金：

加拿大自然科学与工程研究理事会;

关键词：

Software Certification Consortium (SCC); Objectives; Projects; Formal Methods;

D O I：

10.1016/j.entcs.2009.09.002

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In August of 2007 and December of 2007, North American academic researchers, industry representatives and regulators were invited to meetings in Washington and Minneapolis, respectively, with the goal of forming a Software Certification Consortium (SCC). At the first meeting, objectives were established for the consortium and a certification grand challenge was issued. At the second meeting, all participants were asked to complete the statement: "Software certification is hard because...". The group then synthesized the results into a "Top 9" list by means of discussion and voting. In this article, we describe the goals that we believe should be the goals of SCC, via details of these Top 9 hurdles that are preventing us from making software certification part of the mainstream.

引用

页码：11 / 17

页数：7

共 50 条

[21] Software component certification: A survey
Alvaro, A
de Almeida, ES
De Lemos Meira, SR
EUROMICRO-SEAA 2005: 31ST EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2005, : 106 - 113
[22] Software engineering certification schemes
Seidman, Stephen B.
COMPUTER, 2008, 41 (05) : 87 - 89
[23] Process Certification: Software and Sustainability
Bothe, Michael
BIOMEDICAL ENGINEERING-BIOMEDIZINISCHE TECHNIK, 2012, 57 : 919 - 919
[24] Dependability certification of software components
Reliable Software Technologies, 21351 Ridgetop Circle, Dulles, Sterling, VA 20166, United States
J Syst Software, 1600, 2 (165-172):
[25] Dependability certification of software components
Voas, J
Payne, J
JOURNAL OF SYSTEMS AND SOFTWARE, 2000, 52 (2-3) : 165 - 172
[26] Statistical certification of software systems
Di Bucchianico, Alessandro
Groote, Jan Friso
Van Hee, Kees
Kruidhof, Ronald
COMMUNICATIONS IN STATISTICS-SIMULATION AND COMPUTATION, 2008, 37 (02) : 346 - 359
[27] Software certification: Testing and measurement
Wakid, SA
Kuhn, DR
Wallace, DR
COMPLIANCE, SAFETY AND ENVIRONMENTAL ADVANCES, 1999, 394 : 221 - 230
[28] AIRBORNE SOFTWARE: COMMUNICATION AND CERTIFICATION
Kornecki, Andrew J.
SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2008, 9 (01): : 77 - 82
[29] The Challenges of Software Cybersecurity Certification
Hernandez-Ramos, Jose L.
Matheu, Sara N.
Skarmeta, Antonio
IEEE SECURITY & PRIVACY, 2021, 19 (01) : 99 - +
[30] Licensing and certification of software professionals
Bagert, DJ
ADVANCES IN COMPUTERS, VOL. 60: INFORMATION SECURITY, 2004, 60 : 1 - 34

← 1 2 3 4 5 →