位置：立项数据库 > 立项详情页
面向对象软件并发性分析与测试方法论之研究
  • 项目名称：面向对象软件并发性分析与测试方法论之研究
  • 项目类别：面上项目
  • 批准号：60173038
  • 申请代码：F020202
  • 项目来源：国家自然科学基金
  • 研究期限：2002-01-01-2004-12-01
  • 项目负责人：陈火炎
  • 负责人职称：教授
  • 依托单位：暨南大学
  • 批准年度：2001
中文摘要：

本项目以申请者近两年发表在ACM期刊上46页和54页两篇论文的重要成果为基础，以Petri网和代数规格说明相结合的OBJSA网为工具，结合代码分析，对面向对象软件并发性静态分析投馐缘姆?法论、算法和策略、原型实现和实验做深入研究。这对于提高该类 软件的柿俊⒖煽啃院蜕示兄匾睦砺奂壑岛褪导庖濉?

中文主题词： 面向对象软件；并发性；静态分析；动态测试
结论摘要：

英文主题词Object-Oriented Software；Concurrency； Static Analysis；Dynamic Test

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 9
  • 11
  • 0
  • 0
  • 0
期刊论文
面向对象簇级测试方法IPI的改进
用于并发性分析和检测的CHD/LCSD图的构造算法及其实现
分层系统中实现访问控制的动态密钥管理方案
基于J2EE规范的教学评估系统的设计与实现
可安全抵抗中间攻击的认证密钥交换
一种双方不可否认的小公钥RSA加密协议
一个生成Java程序同步序列集的新算法
RAID技术在iSCSI环境中的应用研究
数据库字段安全分级的加密方案
会议论文
A Framework of Reachability Testing for Java Multithread Programs
Race condition and concurrency safety of multithreaded object-oriented programming in Java,
The Design and Implementation of a Prototype for Data Flow Analysis at the Method-Level of Object-Or
New Approach to Distribute Application Components to Client-server System
The Refined Algorithm ReCDRG to Construct DRG Graph for Object-Oriented Class-Level Testing,
A scheme for dynamic detection of concurrent execution of object-oriented software,
Algorithm MSEL for Determining Observational Equivalence in Object-Oriented Class-Level Testing
An Approach for Object-Oriented Cluster-Level Tests Based on UML,
A strategy for selecting synchronization sequences to test concurrent object-oriented software
Use Object-Oriented Paradigm to Design and Implement an Algorithm for Object-Oriented Class-level Te
A New Approach and CASE Tool for Object-Oriented Dynamic Tests at Cluster-Level with Data Types of P
相关项目
飞机滑行状态下场道承载力动态测试理论研究
期刊论文 15 会议论文 4
代码安全属性度量技术研究
期刊论文 17 会议论文 13
软件重构调度方法研究
期刊论文 10 会议论文 2
面向数值程序安全性与鲁棒性的抽象解释技术
期刊论文 6 会议论文 7
web系统的安全分析与防御方法研究
期刊论文 14 会议论文 7 专利 2
基于程序分析方法的Web安全研究
期刊论文 3
超多孔陶瓷储能材料及其在陶瓷窑炉中的动态热物理测试
期刊论文 27 会议论文 3 专利 5 著作 2
子午线轮胎橡胶钢丝粘合性能失效机理及粘合强度动态检测方法研究
期刊论文 17
航天嵌入式软件缺陷检测方法研究、系统研发及应用
期刊论文 14 会议论文 8 著作 1
陈火炎的项目
面向对象软件测试方法论之研究
期刊论文 5 会议论文 6
2003年IEEE系统、人和电脑学国际会议
2000年IEEE系统人和电脑学国际会议