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 条

[41] Interconnect software consortium debuts
Cravotta, N
EDN, 2002, 47 (04) : 13 - 13
[42] Software consortium gets help
不详
MICRO, 1997, 15 (04): : 26 - 27
[43] The Consortium for IT Software Quality (CISQ)
Soley, Richard Mark
Curtis, Bill
SOFTWARE QUALITY: INCREASING VALUE IN SOFTWARE AND SYSTEMS DEVELOPMENT, 2013, 133 : 3 - 9
[44] Software Product Certification: An academic-industry certification project
Paula, Angeleri
Rolando, Titiosky
Jorge, Ceballos
Christian, Masper
Alberto, Sanchez
Marcelo, Menal
Marcelo, Vinjoy
IEEE CACIDI 2016 - IEEE CONFERENCE ON COMPUTER SCIENCES, 2016,
[45] SMALL SUPERCOMPUTERS CLEAR DESIGN SOFTWARE HURDLES.
Haberland, Carl
Machine Design, 1987, 59 (04) : 92 - 97
[46] Using software model checking for software component certification
Taleghani, Ali
29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: ICSE 2007 COMPANION VOLUME, PROCEEDINGS, 2007, : 99 - 100
[47] Software interoperability makes strides, but hurdles still remain
Snoonian, D
ARCHITECTURAL RECORD, 2003, 191 (09) : 177 - 177
[48] SOFTWARE, NOT SILICON, PRESENTS THE HURDLES TO SEMICUSTOM CHIP DESIGN
BURSKY, D
ELECTRONIC DESIGN, 1984, 32 (12) : 11 - 11
[49] AGGREGATE RELIANCE AND OVERCHARGES: REMOVING HURDLES TO CLASS CERTIFICATION FOR VICTIMS OF MASS FRAUD
Ledingham, Shawn S., Jr.
NEW YORK UNIVERSITY LAW REVIEW, 2010, 85 (01) : 289 - 327
[50] Quality assurance certification: Adoption by Australian software developers and its association with capability maturity
Cater-Steel, AP
Fitzgerald, EP
ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 13 - 22

← 1 2 3 4 5 →