用抽象质量类型构建高质量网构软件

TP301; 在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预测,从而在部署和运行阶段进一步进行评估和验证.提出了一种新的抽象概念,即抽象质量类型,将软件实体的数据状态、相关的操作、质量属性以及保证质量得以实现的环境封装在一个统一的语法单元中,从而为建模软件实体以及推导其功能和非功能属性提供了一种严格的手段.探讨了基于软件体系结构及软件交互过程的抽象质量类型的组合,这为构建高质量网构软件提供了一定的形式化基础.最后,还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件,并验...

Full description

Saved in:
Bibliographic Details
Published in计算机科学与探索 Vol. 2; no. 4; pp. 389 - 404
Main Authors QU Youtian, 吴泽君, JIAO Wenpin, 陈天洲, HE Guolong
Format Journal Article
LanguageChinese
Published College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Jinhua, Zhe-jiang 321004, China%中国建设银行(湖北省分行),武汉,430015%Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China 2008
Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China%浙江大学计算机系,杭州,310027
Subjects
component
软件质量
抽象质量类型
Internetware
software quality
网构软件
构件
abstract quality type
Online AccessGet full text
ISSN1673-9418
DOI10.3778/j.issn.1673-9418.2008.04.006

Cover

More Information
Summary:TP301; 在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预测,从而在部署和运行阶段进一步进行评估和验证.提出了一种新的抽象概念,即抽象质量类型,将软件实体的数据状态、相关的操作、质量属性以及保证质量得以实现的环境封装在一个统一的语法单元中,从而为建模软件实体以及推导其功能和非功能属性提供了一种严格的手段.探讨了基于软件体系结构及软件交互过程的抽象质量类型的组合,这为构建高质量网构软件提供了一定的形式化基础.最后,还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件,并验证和提高网构软件系统的相关质量属性.
ISSN:1673-9418
DOI:10.3778/j.issn.1673-9418.2008.04.006