期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Software Test Case Generation with Adequacy Analysis on Scenario-Based Testing 认领 引用 被引量：2
1
作者 刘振宇 杨根兴 蔡立志 《Journal of Donghua University(English Edition)》 EI CAS 2011年第2期139-144,共6页
This paper studies the software scenario testing, which is commonly used in black-box testing at present. In the paper, the workflow model based on task-driven, which is very common in scenario testing, is analyzed. A... This paper studies the software scenario testing, which is commonly used in black-box testing at present. In the paper, the workflow model based on task-driven, which is very common in scenario testing, is analyzed. According to test adequacy criteria in scenario testing, the model is designed to correspond test cases in the light of logic block(LB). The final test cases that conform to the test adequacy criteria can be obtained through test case combination and test case reduction. In the last part of the paper, example of actual workflow is to design the efficient test case. Therefore the method is proved to be effective. 展开更多
关键词 test case test adequacy system scenario software testing
暂未订购 下载PDF
Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts 认领 引用
2
作者 文欣秀 虞慧群 郑红 《China Communications》 SCIE CSCD 2013年第9期33-42,共10页
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ... The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model. 展开更多
关键词 embedded systems model check-ing timed statecharts computation tree logic
暂未订购 下载PDF
Estimating Mechanical Vibration Period Using Smartphones 认领 引用
3
作者 WANG Jiacheng CHANG Shan 《Journal of Donghua University(English Edition)》 CAS 2021年第4期323-332,共10页
Driven by a wide range of real-world applications,significant efforts have recently been made to explore facile vibration measurement.Traditional vibration inspection systems are normally sensed via accelerometers,las... Driven by a wide range of real-world applications,significant efforts have recently been made to explore facile vibration measurement.Traditional vibration inspection systems are normally sensed via accelerometers,laser displacement sensors or velocimeters,and most of them are neither non-intrusive nor wide-spread.This paper presents a novel solution based on acoustic waves of commercial mobile phones to inspect mechanical vibration.The core observation is that the Doppler effect occurs when acoustic waves pass through a vibrating object.The study leverages this opportunity to build a bridge between the Doppler frequency excursion and the vibrating frequency of objects.The solution of difference operation of the reassignment vector is used to make time-frequency domain images more readable.Finally,by processing time-frequency images,the system further accomplishes two reconstruction approaches to find out the energy concentration of acoustic signals respectively based on ridges and clustering.Simulation and real-life applications are employed to show the effectiveness and practicability of the proposed approaches.Our prototype system can inspect the vibration period with a relative error of 0.08%.Furthermore,this paper studies two practical cases in life to associate our measurement solution with the requirements of daily life. 展开更多
关键词 vibration sensing Doppler effect density clustering ridge extraction
暂未订购 下载PDF
Practical Strategies to Improve Test Efficiency 认领 引用 被引量：1
4
作者 丁志刚 汪泓澄 凌良合 《Tsinghua Science and Technology》 EI CAS 2007年第S1期250-254,共5页
This paper introduces strategies to detect software bugs in earlier life cycle stage in order to improve test efficiency. Static analysis tool is one of the effective methods to reveal software bugs during software de... This paper introduces strategies to detect software bugs in earlier life cycle stage in order to improve test efficiency. Static analysis tool is one of the effective methods to reveal software bugs during software development. Three popular static analysis tools are introduced, two of which, PolySpace and Splint, are compared with each other by analyzing a set of test cases generatedd by the authors. PolySpace can reveal 60% bugs with 100% R/W ratio (ratio of real bugs and total warnings), while Splint reveal 73.3% bugs with 44% R/W ratio. And they are good at finding different categories of bugs. Two strategies are concluded to improve test efficiency, under the guideline that static analysis tools should be used in finding different categories of bugs according to their features. The first one aims at finding bugs as many as possible, while the second concentrates to reduce the average time on bug revelation. Experimental data shows the first strategy can find 100% bugs with 60% R/W ratio, the second one find 80% bugs with 66.7% R/W ratio. Experiment results prove that these two strategies can improve the test efficiency in both fault coverage and testing time. 展开更多
关键词 static analysis PolySpace splint software bug
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈