Specifying high-assurance services

被引：9

作者：

Atkinson, Colin ^{[1
]}

Brenner, Daniel ^{[1
]}

Falcone, Giovanni ^{[1
]}

Juhasz, Monika ^{[1
]}

机构：

[1] Univ Mannheim, Software Engn Grp, D-6800 Mannheim 1, Germany

来源：

COMPUTER | 2008年 / 41卷 / 08期

关键词：

Analytical models; Cognition; Contracts; Information technology and systems; Object oriented modeling; Quality of service; Runtime; Service specification; Software engineering; Unified modeling language;

D O I：

10.1109/MC.2008.308

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Service-oriented architectures' ease of assembly and alteration also makes their verification more difficult. While software engineers can integrate a traditional system's components under controlled conditions and test them together before deployment, they do not bring the services together until they configure the system in its runtime environment. The authors' approach specifies services intuitively, simplifying the use of dynamic, test-oriented techniques for quality assurance.

引用

页码：64 / +

页数：9

共 13 条

[1]

AAGEDAL JO, 2002, LNCS, V2460, P275

[2]

[Anonymous], 2005, Fit for Developing Software: Framework for Integrated Tests

[3]

Atkinson C, 2008, LECT NOTES COMPUT SC, V5153, P54

[4]

Beckert Bernhard, 2007, VERIFICATION OBJECT, DOI DOI 10.1007/978-3-540-69061-0

[5]

BEYDEDA S, 2005, TESTING COTS COMPONE

[6] VERIFYING AND VALIDATING SOFTWARE REQUIREMENTS AND DESIGN SPECIFICATIONS [J].

BOEHM, BW .

IEEE SOFTWARE, 1984, 1 (01) :75-88

[7] Reducing verification effort in component-based software engineering through built-in testing [J].

Brenner, Daniel ;

Atkinson, Colin ;

Malaka, Rainer ;

Merdes, Matthias ;

Paech, Barbara ;

Suliman, Dima .

INFORMATION SYSTEMS FRONTIERS, 2007, 9 (2-3) :151-162

[8]

BRIAND LC, 2006, P 28 INT C SOFTW ENG, P92

[9]

EHRENBERGER W, 2002, SOFTWARE VERIFIKATIO

[10]

Gross H.-G., 2005, Component-Based Software Testing with UML

← 1 2 →