|
Dr. Robert L. Probert
Professor
|
Research
Interests
-
Communication Protocols and Software
Testing.
-
Industrial Best Practices for Testing
E-Commerce and Web Applications.
-
Design and Testing Internet Applications
for SECURITY.
[Contact
Information]
|
Index
Courses
& Teaching Schedule
Research
News
PROGRESS REPORT on
Bettering the Best: CITO Research
Partnerships Program
Major
Objectives
Cost effective testing of
e-commerce systems with respect to quality, availability, security, and
usability in the industrial context.
Progress
Summary
Highlights:
Dr. Probert
-
A new scenario language Simpl-T, for
describing test cases as scenarios.
-
Testing enhancements to the J2EE process
(the standard for e-commerce development) using a translation tool from
TTCN-3 to Java byte code.
-
New quality/cost metrics for the e-commerce
test process collaboration with IBM e-commerce test engineers and managers.
-
A prototype e-commerce system to make
currency exchange for U.S. dollars to aid in teaching and research into
e-commerce testing.
Dr. Ural
-
A feature-rich prototype toolset to
analyze and reduce the size of regression tests for state-based systems.
Dr. Williams
-
Yiqun Xu is currently on a summer internship
at IBM Almaden laboratory working on a security system for authorizing
Eclipse plug-ins.
Dr. El-Saddik
-
A metadata tagging system that supports
internationalization including an infrastructure for trans-coding multimedia
streams.
-
A selection algorithm that finds the
best sequence of adaptation services that can maximize the user's satisfaction
with the delivered content.
Students Involved (Past & Present):
Qing Li (MCS)
Yiqun Xu (Ph.D)
Wei Xu (MCS)
Yanping
Chen (MCS 2003, doctoral)
Peter Qi Qiu (MCS)
Victor
Swama (MCS, 2003)
Majdi Rawashdeh (MCS)
Jianming Ke (MCS)
Recent
& Upcoming Events
Research
Group Students (Past & Present)
-
Victor
Sawma (MCS, 2003)
-
Antonio Salameh (MCS, 2002)
-
Alan Williams (Ph.D, 2002)
-
Ning Lew (MCS, 2001)
-
Igor Sales (MCS, 2001)
-
Wujun Li (MCS, 2001)
-
Manny Oraa (CO-OP)
-
Toan-The Nguyen (CO-OP)
-
Brooke Robert Stephens (CO-OP)
-
Christopher Millward (CO-OP)
-
Michael Olteanu (CO-OP)
-
Yanping
Chen (MCS 2003, Ph.D in progress)
-
Wei Xu (MCS)
-
Qing Li (MCS)
-
Peter Qi Qiu (MCS)
-
Bo Jiang (MCS)
Research
Projects
Recent
Invited Presentations & Tutorials
-
November 2002, Canadian Professional
Institute of Project Management, Invited Keynote address, “Principles of
Project Quality Management for Web-Based Systems"
-
July 2002, York University, York, U.K.,
“New methods and formal languages for cost-effective software engineering”
-
July 2002, Southbank University, London,
U.K., “High-yield testing of e-commerce and web-based systems”
-
[...more...]
Recent
Research Publications
-
R.L. Probert, Y.Chen, M. Cappa, P.Sims,
B.Ghazizadeh, “Formal verification and validation for e-commerce: theory
and best practices”, Journal of Information and Software Technology 45
(2003), 763-777
-
A.W. Williams, R.L. Probert, Q. Li,
T-H Kim, "The winning entry of the SAM 2002 design contest: a case study
of the effectiveness of SDL and MSC", SDL Forum 2003, Stuttgart, Germany,
Lecture Notes in Computer Science, ed. R. Reed, Springer-Verlag, Berlin,
387-403
-
V. Sawma, R.L. Probert, "E-commerce
authentication, an effective countermeasures design model", IEEE Int. Conf.
on Electronic Information Security, Angers, France, 129-138, April, 2003.
-
Tae-Hyong Kim, Robert L. Probert, Igor
Sales, Alan Williams, "Rapid development of network software via SDL/Socket
interfaces", SAM 2002 Conference, Aberystwyth, Wales, Lecture Notes in
Computer Science, ed. E. Sherratt, Springer-Verlag, Berlin, 2003, 103-123
-
K. Saleh, R.L. Probert, W. Li, and W.
Fong, "An approach for high-yield requirements capture for e-commerce and
its application, International Journal on Digital Libraries, Vol. 3, No.4,
2002, 302-308.
-
Y. Chen, R.L. Probert, D.P. Sims, “Specification-based
regression test case selection with risk analysis, CASCON 2002, Toronto,
Canada, 175-182, Sept.2002
-
Tae-Hyong Kim, Robert L. Probert, Igor
Sales, Alan Williams, "Rapid development of network software via SDL/Socket
interfaces", SAM 2002 Conference, Aberystwyth, Wales, Lecture Notes in
Computer Science, ed. E. Sherratt, Springer-Verlag, Berlin, 2003, 103-123.
-
N.N. Mansurov, R.L. Probert, “Scenario-based
approach to evolution of communication software”, IEEE Communications -
Oct., 2001 pp. 94-100
Recent
Graduate Student Theses & Reports
-
Pulei Xiong M.C.S., Robert L. Probert,
Bernard Stepien, "Life-Cycle
E-Commerce Testing with OO-TTCN-3", 2004.
-
Hang Wong, M.C.S. (specialization in
Software Engineering), Ineffective Software Quality Engineering: A Case
Study, May 2003
-
Victor Sawma, M.C.S., An E-Commerce
Design Security Countermeaures Model, Jan. 2003.
-
Yanping Chen, M.C.S., Risk-Directed
Regression Test Selection Strategies and Industrial Case Studies, Dec.2002.
-
Khalid Khidhir, M.C.S., Java Test Suite
Evaluation with Respect to High Yield, Aug. 2002.
-
Alan W. Williams, Ph.D., Software Component
Interaction Testing: Coverage Measurement & Generation of Configurations,
Feb. 2002.
-
Antonio Salameh, M.C.S., Testable Designs
for E-Commerce Products and Case Studies, May, 2001
-
Igor Sales, M.C.S., A Scenario-Directed
Bridging Design Methodology for Real-Time Systems, May, 2001
-
Wujun Li, M.C.S., CORBA-Based Testing
Architecture for E-Commerce: A Case Study, Dec. 2002
|