-
题名一种改进的软件测试流程实例的描述方法
- 1
-
-
作者
刘雪梅
柳永坡
张懋
-
机构
哈尔滨工程大学计算机科学与工程学院
北京航空航天大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第15期65-67,共3页
-
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60603039)
-
文摘
提出了测试流程实例的操作语义描述方法,这种方法的使用弥补了工作流元模型对测试流程实例描述的不足,并在实际项目中得到了应用,包括过程实例的形式化描述和活动实例的形式化描述,以及状态转移规则的描述,取得了很好的效果。
-
关键词
工作流
测试流程
操作语义
-
Keywords
workflow,software testing process,operational semantics
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种独立于邮件服务器的垃圾邮件过滤系统的设计
被引量:1
- 2
-
-
作者
丁鹏
杨永田
罗志云
郑可馨
-
机构
哈尔滨工程大学计算机科学与工程学院
中兴通讯股份有限公司
-
出处
《计算机应用》
CSCD
北大核心
2005年第2期396-398,共3页
-
文摘
介绍了一种垃圾邮件过滤系统的设计方案,该系统应用于邮件服务器的前端,不依赖于所采用的邮件服务器系统。该系统按其功能可以划分为邮件采集模块、邮件过滤模块、数据库和管理维护模块等四个部分。重点介绍了采用基于贝叶斯方法的智能启发式过滤技术的邮件过滤模块设计。最后给出了系统的测试情况。
-
关键词
电子邮件
垃圾邮件
邮件过滤
-
Keywords
E-mail
spam E-mail
E-mail filter
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-