Life-cycle E-commerce testing with OO-TTCN-3

被引：0
|
作者：
Probert, RL [1 ]
Xiong, P [1 ]
Stepien, B [1 ]
机构：
[1] Univ Ottawa, Sch Informat & Technol Engn, Ottawa, ON K1N 6N5, Canada
来源：
APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS | 2004年 / 3236卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
E-Commerce systems have become ubiquitous. However, it is a challenge to create high quality e-commerce systems respecting time and budgetary constraints. In this paper, we present a life-cycle testing process for e-commerce systems by adapting OO-TTCN-3, an object-oriented extension of a formal test language TTCN-3, to enable the efficient specification of tests in object-oriented, e-commerce development environments. This extension is meant to ease life-cycle testing, facilitate test case reuse between different test phases, and provide a unified Abstract Test Suite (ATS) interface to test tools. A case study shows how to apply the approach to a typical e-commerce system based on a high-yield, risk-directed strategy.
引用
收藏
页码：16 / 29
页数：14
相关论文
共 50 条
12345