Separation of synchronous and asynchronous communication via testing

One of the early results concerning the asynchronous π$\pi$-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π$\pi$-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy’s testing semantics. In this sense, it turns out that, under some general conditions, no encoding of the output prefix is able to preserve the must testing. This negative result is due to (a) the non-atomicity of the sequences of steps which are necessary in the asynchronous π$\pi$-calculus to mimic synchronous communication, and (b) testing semantics’ sensitivity to divergence.     

Bluetooth协议栈一致性测试

Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试,并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计生成与完备性分析。     

基于工作流技术的软件测试流程定义与监控*

阐述了软件测试流程的相关概念,论述了基于工作流技术实现软件测试流程定义与监控的概念模型,详细探讨了软件测试流程定义与实例化和软件测试流程的执行与监控所涉及的主要内容及其具体实现方案.     

Testing Planning Domains (without Model Checkers)

We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is self-contained, in the sense that flight rules are verified using a planner and no external tools are required. We review and analyse coverage conditions for requirements-based testing, and we reason in detail on "Unique First Cause" (UFC) coverage for test suites. We characterise flight rules using patterns, encoded using LTL, and we provide UFC coverage for them. We then present a translation of LTL formulae into planning goals, and illustrate our approach on a case study.     

一种基于DCT系数特性的盲检水印算法*

利用分块DCT系数的周期特性,结合Z字形编码置乱技术和JPEG量化系数,提出了一种在分块DCT中频交流系数中嵌入有含义二值水印图像,以实现盲检测的水印方案。实验结果表明,该算法对图像剪切、JPEG有损压缩、中值滤波等攻击有很强的鲁棒性。     

Test-retest reliability of isometric and isoinertial testing in symmetric and asymmetric lifting

The aim of this study was to evaluate test-retest reliability of a dynamometer in measuring lifting strength or force parameters under several combinations of ergonomic factors. Thirteen healthy participants were tested on peak force (PF), related variables and isometric strength (IS) twice, at intervals of 3 months. Correlation coefficients for all parameters in the sagittal plane were 0.60–0.85. Coefficients of variations (CVs) of methodology error for PF in the sagittal plane were 6.2–6.9%. Correlation coefficients and CVs for IS at 90° to the lateral plane were 0.51– 0.54 and 16.6–17.9%, respectively. In paired t-tests of the parameters under all conditions, there was no significant difference between test and retest. In the test and retest, ratings of perceived exertions for the low back and the right arm in isometric lifting were significantly higher than those in dynamic lifting. It was concluded that the test-retest reliability of dynamic forces in the dynamometer was high. The peak force in the sagittal plane was considered reliable. In isometric lifting, isometric strength in the sagittal plane seemed reliable, while that at right angles to the lateral plane was considered to be less reliable.     

基于B／S架构的WEB应用软件系统测试研究

软件测试是软件开发过程中最重要的一个环节,其目的是为了检验所开发的应用软件是否符合软件需求规格说明书的要求。在测试步骤上,一般按单元测试→集成测试→确认测试→系统测试的顺序进行。不同架构的软件产品在不同测试阶段所采用的测试策略是不同的,测试的侧重点也不一样,本文就基于B／S架构的应用软件在系统测试时关注的问题进行探讨。     

地层测试资料在措施选层中的应用

试油评价在认识油藏物性变化、油藏形状等方面具有独特的优势,试油评价数据结合录井、测井、构造、沉积等地质资料能更准确地认识地层及油藏,可为措施选层提供正确的方向,为确定措施参数提供依据。将地层测试资料应用于措施选层,已见到了良好的效果,有着广阔的应用前景。     

基于NHPP类模型的Web软件可靠性分析

结合Web软件运行的实际情况,提出一种基于BurrX测试工作量函数(TEF)的非齐次泊松过程类软件可靠性增长模型(SRGM),并将其应用到Web软件可靠性分析中。TEF能直接体现Web软件工作量与日历时间之间的关系,解决Web软件因工作量高度不均衡导致的问题。实验结果表明,与G-O模型相比,SRGM具有较好的Web软件可靠性评估效果,能较准确地描述Web软件运行的失效过程。     

基于STAF的故障注入自动化测试平台

为提高高端容错计算机故障注入自动化测试的执行效率,基于开源的自动化测试工具STAF,设计一个可集成多种故障注入工具的分布式自动化测试平台。论述分布式运行环境与平台软件架构,给出任务控制算法的流程,对故障注入模块进行分析。实验结果表明,该平台可提高测试任务的复用性,缩短测试时间。