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.展开更多
A type of quasilinear Schrodinger equations in two space dimensions which describe attractive Bose-Einstein condensates in physics is discussed. By establishing the property of the equation and applying the energy met...A type of quasilinear Schrodinger equations in two space dimensions which describe attractive Bose-Einstein condensates in physics is discussed. By establishing the property of the equation and applying the energy method, the blowup of solutions to the equation are proved under certain conditions. At the same time, by the variational method, a sutficient condition of global existence which is related to the ground state of a classical elliptic equation is obtained.展开更多
Novel models （2× 1） of Si（001）-SiO2 interface structure have been established. The method of the first-principle General Gradient Approximation （GGA） is employed to structurally optimize the established the...Novel models （2× 1） of Si（001）-SiO2 interface structure have been established. The method of the first-principle General Gradient Approximation （GGA） is employed to structurally optimize the established theoretical models under the K-point space of periodic boundary condition. The structures after optimization have been analyzed, and the results show that the interfaces present in disordered state and both Si-O-Si and Si=O structures exist. Meanwhile, the bonding of surface structure is analyzed via the graphics of electron localization function（ELF）.展开更多
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.展开更多
Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing ...Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.展开更多
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.展开更多
This paper discusses nonlinear SchrSdinger equation with a harmonic potential. By constructing a different cross-constrained variational problem and the so-called invariant sets, we derive a new threshold for blow-up ...This paper discusses nonlinear SchrSdinger equation with a harmonic potential. By constructing a different cross-constrained variational problem and the so-called invariant sets, we derive a new threshold for blow-up and global existence of solutions.展开更多
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.展开更多
Community smells are sub-optimal developer community structures that hinder productivity.Prior studies performed smell prediction and provided refactoring guidelines from a top-down aspect to help community shepherds....Community smells are sub-optimal developer community structures that hinder productivity.Prior studies performed smell prediction and provided refactoring guidelines from a top-down aspect to help community shepherds.Simultaneously,refactoring smells also requires bottom-up effort from every developer.However,supportive measures and guidelines for them are not available at a fine-grained level.Since recent work revealed developers'personalities and working states could influence community smells'emergence and variation,we build prediction models with experience,sentiment,and development process features of developers considering three smells including Organizational Silo,Lone Wolf,and Bottleneck,as well as two related classes including smelly developer and smelly quitter.We predict the five classes in the individual granularity,and we also generate forecasts for the number of smelly developers in the community granularity.The proposed models achieve F-measures ranging from 0.73 to 0.92 in individual-wide within-project,time-wise,and cross-project prediction,and mean R2 performance of 0.68 in community-wide Smelly Developer prediction.We also exploit SHAP(SHapley Additive exPlanations)to assess feature importance to explain our predictors.In conclusion,we suggest developers with heavy workload should foster more frequent communication in a straightforward and polite way to build healthier communities,and we recommend community shepherds to use the forecasting model for refactoring planning.展开更多
基金National Torch Project, China ( No. 2009GH510068 )National High-Tech R & D Program of China ( 863 ) ( No.2007AA010401)
文摘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.
基金Project supported by the Scientific Research Foundation of Sichuan Provincial Commission of Education(No.SZD0406)the Scientific Research Fund of Sichuan Normal University
文摘A type of quasilinear Schrodinger equations in two space dimensions which describe attractive Bose-Einstein condensates in physics is discussed. By establishing the property of the equation and applying the energy method, the blowup of solutions to the equation are proved under certain conditions. At the same time, by the variational method, a sutficient condition of global existence which is related to the ground state of a classical elliptic equation is obtained.
基金Supported by the National Grand Fundamental Research 973 Program of China (No. 51310Z07-3) and the Research Program of Application of Sichuan Department of Science and Technology (No. 02GY029-006)
文摘Novel models （2× 1） of Si（001）-SiO2 interface structure have been established. The method of the first-principle General Gradient Approximation （GGA） is employed to structurally optimize the established theoretical models under the K-point space of periodic boundary condition. The structures after optimization have been analyzed, and the results show that the interfaces present in disordered state and both Si-O-Si and Si=O structures exist. Meanwhile, the bonding of surface structure is analyzed via the graphics of electron localization function（ELF）.
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘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.
基金National Natural Science Foundation of China(No.61262010)
文摘Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.
基金National Natural Science Foundation of China(Nos.61672151 and 61972081)DHU Distinguished Young Professor Program,China。
文摘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.
基金Supported by the National Natural Science Foundation of China （No. 10747148, No. 10771151） and the Scientific Research Fund of Sichuan Provinciul Education Department （08ZA041）
文摘This paper discusses nonlinear SchrSdinger equation with a harmonic potential. By constructing a different cross-constrained variational problem and the so-called invariant sets, we derive a new threshold for blow-up and global existence of solutions.
基金the National High-Tech Research and Development(863) Program of China(No.2004AA1Z2390)the Science and Technology Commission of Shanghai Municipality (No.06dz15004).
文摘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.
基金supported by the National Natural Science Foundation of China under Grant No.61772200the Natural Science Foundation of Shanghai under Grant No.21ZR1416300.
文摘Community smells are sub-optimal developer community structures that hinder productivity.Prior studies performed smell prediction and provided refactoring guidelines from a top-down aspect to help community shepherds.Simultaneously,refactoring smells also requires bottom-up effort from every developer.However,supportive measures and guidelines for them are not available at a fine-grained level.Since recent work revealed developers'personalities and working states could influence community smells'emergence and variation,we build prediction models with experience,sentiment,and development process features of developers considering three smells including Organizational Silo,Lone Wolf,and Bottleneck,as well as two related classes including smelly developer and smelly quitter.We predict the five classes in the individual granularity,and we also generate forecasts for the number of smelly developers in the community granularity.The proposed models achieve F-measures ranging from 0.73 to 0.92 in individual-wide within-project,time-wise,and cross-project prediction,and mean R2 performance of 0.68 in community-wide Smelly Developer prediction.We also exploit SHAP(SHapley Additive exPlanations)to assess feature importance to explain our predictors.In conclusion,we suggest developers with heavy workload should foster more frequent communication in a straightforward and polite way to build healthier communities,and we recommend community shepherds to use the forecasting model for refactoring planning.
