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

doi:10.3778/j.issn.1673-9418.2008.04.006

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

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

瞿有甜¹⁺,吴泽君²,焦文品^3,4,陈天洲⁵,何国龙¹

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 Youtian¹⁺, WU Zejun², JIAO Wenpin^3,4, CHEN Tianzhou⁵, HE Guolong¹

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

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

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

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

瞿有甜1+ ,吴泽君2 ,焦文品3,4 ,陈天洲5 ,何国龙1 . 用抽象质量类型构建高质量网构软件[J]. 计算机科学与探索, 2008, 2(4): 389-404.

QU Youtian¹⁺, WU Zejun², JIAO Wenpin^3,4, CHEN Tianzhou⁵, HE Guolong¹. Using Abstract Quality Types to Construct High Quality Internetware[J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(4): 389-404.

[1]	龚平，郑宇腾，张爱清. 电热多物理耦合模拟的软件设计模式研究[J]. 计算机科学与探索, 2020, 14(8): 1298-1306.
[2]	葛红美，徐超，何炎祥. 编译前端分析自动构件化代码可靠性加强方法[J]. 计算机科学与探索, 2018, 12(7): 1100-1108.
[3]	钟雨，邱明明，黄向东. 大数据系统开发中的构件自动选型与参数配置[J]. 计算机科学与探索, 2016, 10(9): 1211-1220.
[4]	谢新强，周进刚，张德阳，谢秋菊. 基于复杂网络的网构软件信任模型研究[J]. 计算机科学与探索, 2016, 10(1): 56-64.
[5]	陈霄，吴毅坚，彭鑫，赵文耘. 采用构件组装技术协同开发Web应用的方法[J]. 计算机科学与探索, 2013, 7(2): 114-125.
[6]	赵星，刘譞哲，王旭东，黄罡. 同质Mashup构件池动态构造机制[J]. 计算机科学与探索, 2013, 7(1): 14-24.
[7]	司冠南，杨巨峰，许静. 网构软件可信性演化评估分层Petri网模型[J]. 计算机科学与探索, 2012, 6(7): 621-630.
[8]	朱天梅，吴毅坚，彭鑫，赵文耘. 使用程序聚类技术的模块重构风险分析方法[J]. 计算机科学与探索, 2012, 6(6): 513-521.
[9]	王丹，常建生，赵文兵. 使用Pi演算的构件交互可信性验证模型[J]. 计算机科学与探索, 2012, 6(5): 419-429.
[10]	沈国华1 , 黄志球1 , 钱巨1 , 徐拥军2 , 郝进2 , 赵文耘3 , 彭鑫3 . 软件可信评估模型及其工具实现[J]. 计算机科学与探索, 2011, 5(6): 553-561.
[11]	林洪武 1,2 , 尤朝 1,2 , 周明辉1,2+ , 梅宏 1,2 . 以代理为中心的 OSGi 构件资源监控方法[J]. 计算机科学与探索, 2011, 5(1): 23-31.
[12]	马天笑，吴刚+，黄晙. 上下文感知计算的支撑环境及其参考实现[J]. 计算机科学与探索, 2010, 4(4): 345-352.
[13]	史殿习1+ ，丁博1 ，尹刚1 ，冯进2 ，王怀民1，3 . 策略驱动的软件自适应机制研究[J]. 计算机科学与探索, 2010, 4(2): 115-123.
[14]	曾红卫+, 缪淮扣 . 模型检验在构件数据流测试中的应用[J]. 计算机科学与探索, 2010, 4(12): 1121-1130.
[15]	王焘1，2，3+，魏峻1，2 . 一种面向OSGi的构件化软件再工程方法[J]. 计算机科学与探索, 2009, 3(6): 601-611.

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

Using Abstract Quality Types to Construct High Quality Internetware

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics