基于扩展同步序列的Java多线程程序可达性测试思路构建探索

针对Java程序的并发性特点,应用可达性测试是一种有效的方法。但是,为了克服Java多线程程序在应用可达性测试的过程中,所产生的局限性和不能实现对事件的同步检测,或者同步检测错误等问题,需要应用一种基于扩展同步序列的可达性测试方法。

基于扩展同步序列的Java多线程程序可达性测试方法探讨

随着计算机技术的不断创新与发展,传统Java多线程程序测试方法的局限性越加明显,基于拓展同步系列的可达性测试方法可以解决传统可达性测试方法的检测错误,并在Java多线程程序检测中崭新出明显的优势。本文主要通过分析基于扩展同步序列的Java多线程程序可达性测试,探讨基于扩展同步序列的可达性测试方法,旨在为我国计算机程序的编写和测试提供参考。

多线程Java程序安全行为模型的静态检查方法

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.

基于多线程Java程序安全行为模型的静态检查对策探析

本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,针对Java多线程序研究,总结出了从多线程Java程序自动生成安全相关行为模型的方法,该方法应用到携带模型代码方法的实现框架中,形象的描述了静态检查该模型是否满足安全策略的实现,同时为安全执行非信任多线程Java移动代码提供了有效支持。本文合理的使用静态分析多线程Java程序的措施,来进行相关安全性的检查,从中来考察出多线程Java程序的相关安全行为。