东北大学学报（自然科学版）

东北大学学报(自然科学版) ›› 2001, Vol. 22 ›› Issue (6): 615-618.DOI: -

• 论著 • 上一篇    下一篇

软件体系结构一致性仿真测试

赵会群;徐凌宇;王国仁;高远   

  1. 东北大学信息科学与工程学院;东北大学信息科学与工程学院;东北大学信息科学与工程学院;东北大学信息科学与工程学院辽宁沈阳110004;辽宁沈阳110004;辽宁沈阳110004;辽宁沈阳110004
  • 收稿日期:2001-12-15 修回日期:2001-12-15 出版日期:2001-06-16 发布日期:2014-10-29
  • 通讯作者: -
  • 作者简介:-
  • 基金资助:
    科技部科技中小企业技术创新基金资助项目(00C26211300507)

-

-   

  1. -
  • Received:2001-12-15 Revised:2001-12-15 Online:2001-06-16 Published:2014-10-29
  • Contact: -
  • About author:-
  • Supported by:
    -

RichHTML

0

PDF (PC)

575

摘要： 对软件体系结构的一致性进行讨论,给出软件体系结构一致性定义和软件体系结构一致性仿真测试方法,并通过三层Client/Server结构中组件事务特征一致性测试说明上述方法应用,实践表明该方法可以检测软件体现结构与其约束的不一致性,并具有线性时间·

关键词: 软件容错, 软件测试, 软件体系结构, 组件事务特征

Abstract: -

中图分类号: