[00706421]面向对象软件测试与分析的一种新理论和新方法
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
该项目针对软件测试的目标探讨面向对象软件与测试密切相关的静态和动态属性、属性间的联系及其内在规律，建立了基于代数规格说明的面向对象软件类级等价项和非等价项测试的理论基础，构造了基于类级等价项和非等价项测试的一整套方法及策略；确定了基于Signature-Based Contract的族级测试的理论框架，进而构造了族级测试的一整套方法及策略；提出了相关的并发性静态分析和动态测试方法,包括Java多线程面向对象程序设计的竞争条件和并发数据一致性分析、并发面向对象软件测试中同步序列的选择、同步序列的重演、面向对象软件并发执行的动态检测等方面的方法或策略。