计算机科学与探索 ›› 2008, Vol. 2 ›› Issue (4): 389-404.DOI: 10.3778/j.issn.1673-9418.2008.04.006

• 学术研究 • 上一篇    下一篇

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

瞿有甜1+,吴泽君2,焦文品3,4,陈天洲5,何国龙1   

  1. 1. 浙江师范大学 数理与信息工程学院,浙江 金华 321004
    2. 中国建设银行(湖北省分行),武汉 430015
    3. 北京大学 信息科学技术学院 软件研究所,北京 100871
    4. 高可信软件技术教育部重点实验室,北京 100871
    5. 浙江大学 计算机系,杭州 310027
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-08-20 发布日期:2008-08-20
  • 通讯作者: 瞿有甜

Using Abstract Quality Types to Construct High Quality Internetware

QU Youtian1+, WU Zejun2, JIAO Wenpin3,4, CHEN Tianzhou5, HE Guolong1   

  1. 1. College of Mathematics, Physics and Information Engineering, Zhejiang Normal University, Jinhua, Zhejiang 321004, China
    2. China Construction Bank (Hubei Branch), Wuhan 430015, China
    3. Software Institute, School of Electronics Engineering and Computer Science, Peking University, Beijing
    100871, China
    4. Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China
    5. Department of Computer Science, Zhejiang University, Hangzhou 310027, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-08-20 Published:2008-08-20
  • Contact: QU Youtian

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

关键词: 构件, 软件质量, 抽象质量类型, 网构软件

Abstract: In the development of software systems on the Internet (referred to as Internetware), multiple quality properties should be considered along with the development process so that the quality of Internetware can be inferred and predicted at the specification and design stages and be evaluated and verified at the deployment and execution stages. A new abstraction notion, Abstract Quality Type (AQT), is put forward to encapsulate data types, associated operations, quality properties and the environment guaranteeing the qualities into an uniform syntactical unit, which provides rigorous ways to model software entities and to reason about the functional and non-functional properties. The composition of AQTs is also studied based on the software architecture and the process of interactions, which offers a solid foundation for constructing high quality Internetware. Finally, a prototype is described to illustrate how to construct Internetware by using AQTs as well as how to verify and improve a special kind of quality property of Internetware.

Key words: component, software quality, abstract quality type, Internetware