中国科学院机构知识库网格系统: 检索

Optimal selection and release problem in software testing process: A continuous time stochastic control approach 期刊论文 OAI收割
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2020, 卷号: 285, 期号: 1, 页码: 211-222
作者: Cao, Ping; Yang, Ke; Liu, Ke

|

收藏 | 浏览/下载：32/0 | 提交时间：2020/06/30

Project management Software testing process Dynamic programming Continuous time stochastic optimal control Optimal software testing and release

Design of efficient and simple interface testing equipment for opto-electric tracking system 期刊论文 OAI收割
Proceedings of SPIE: 8th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Large Mirrors and Telescopes, 2016, 卷号: 9682, 页码: 968212
作者: Liu, Qiong; Deng, Chao; Tian, Jing; Mao, Yao

|

收藏 | 浏览/下载：33/0 | 提交时间：2018/06/14

Automatic Programming Codes (Symbols) Computer Software Selection And Evaluation Efficiency Electric Variables Measurement Equipment Hardware Manufacture Mirrors Optical Testing Program Processors Telescopes Tracking (Position)

Null compensator testing convex freeform surface mirror with CGH technology (EI CONFERENCE) 会议论文 OAI收割
2012 International Conference on Future Optical Materials and Circuit Design, FOMCD 2012, December 27, 2012 - December 28, 2012, Xiamen, China
作者: Zhang Z.-Y.; Zhang Z.-Y.; Zhang B.-Z.

收藏 | 浏览/下载：29/0 | 提交时间：2013/03/25

The Computer Generated Hologram (CGH) technique is the main method for optical testing the free form surface.For testing a convex free form surface mirror a CGH element with the surface testing interferometer and free form mirror precise position function was designed by use of appropriative software the testing precision was less than 0.011(=632.8nm) in RMS value by this means. (2013) Trans Tech Publications Switzerland.

The effectiveness of real-time embedded software testing (EI CONFERENCE) 会议论文 OAI收割
2011 9th International Conference on Reliability, Maintainability and Safety: Safety First, Reliability Primary, ICRMS'2011, June 12, 2011 - June 15, 2011, Guiyang, China
Zhang B.; Shen X.

收藏 | 浏览/下载：33/0 | 提交时间：2013/03/25

Real-time embedded software is widely applied in the fields with high reliability and security like aviation and space flight etc. In those systems software quality is of vital importance and software testing as a means of guaranteeing the quality of software is gaining increasingly more attention. The effectiveness of software testing enables people to gain confidence in software correctness. The real-time and embedding features of embedded software lead to the particularity in real-time embedded software testing. On the basis of particularity analysis of embedded software testing the author of this thesis further conducted research on the effective Software Testing and proved that it is valid to adopt testing techniques and strategies through experiments. 2011 IEEE.

characterizing failure-causing parameter interactions by adaptive testing 会议论文 OAI收割
20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, 17-Jul-02
Zhang Zhiqiang; Zhang Jian

|

收藏 | 浏览/下载：31/0 | 提交时间：2011/10/10

Computer software selection and evaluation Fault detection Testing

A practical approach to assertion testing framework based on inner class 会议论文 OAI收割
2011 IEEE 2nd International Conference on Software Engineering and Service Science, ICSESS 2011,, Beijing, China, July 15, 2011 - July 17,2011
Qu, Guodong; Guo, Song-Tao; Zhang, Hongqun

收藏 | 浏览/下载：24/0 | 提交时间：2014/12/07

Software testing Computer software selection and evaluation Java programming language Verification

Small aircraft CAN bus signal acquisition equipment (EI CONFERENCE) 会议论文 OAI收割
2010 International Conference on Computer, Mechatronics, Control and Electronic Engineering, CMCE 2010, August 24, 2010 - August 26, 2010, Changchun, China
Chen C.-Q.

收藏 | 浏览/下载：29/0 | 提交时间：2013/03/25

Small aircraft often used RS485 bus. But with the complexity of the small aircraft's subsystems increase and the progress of field bus technology CAN bus systems in small aircraft use more and more widely. How to record real-time flight experiment data on the small aircraft's CAN bus and provide test data for reproducing the process of a small aircraft flying is very important. This paper presents a design method of signal acquisition device it can be used for small aircraft flying field experiment. 2010 IEEE. as the main chip with DSP2812 SJA1000 as CAN controller CTM1050 as the CAN transceiver CF card as storage media. Gives the diagram of its hardware and software design process. Combined with the background of a small aircraft testing the instrument for data acquisition when the ground experiments and flight progress. Experimental data show that the design of high reliability and CAN signals can effectively complete the record

Design and fabrication of CGH for aspheric surface testing and its experimental comparison with null lens (EI CONFERENCE) 会议论文 OAI收割
5th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Optical Test and Measurement Technology and Equipment, April 26, 2010 - April 29, 2010, Dalian, China
作者: Zhao J.; Zhang X.; Zhang X.; Zhang X.; Li F.

收藏 | 浏览/下载：34/0 | 提交时间：2013/03/25

Computer-generated hologram (CGH) is an effective way to compensate wavefront in null test of aspheric surfaces and freeform surfaces. Our strategies of CGH design and fabrication for optical testing are presented and an experiment demonstrating the compensation results of CGH and null lens is also reported. In order to design complex CGH software was developed with which we can design a CGH including three sections: main section for compensating wavefront in null test alignment section for adjusting the relative position between CGH and interferometer and fiducial section for projecting fiducial marks around the optics under test. The design result is represented in GDS II format file which could drive a laser-direct-writer- machine to fabricate a photomask. Then a 1:1 replication process is applied to duplicate the patterns from photomask to a parallel optical substrate whose surface is error better than /60 rms. Finally an off-axis aspheric surface was tested with CGH and null lens respectively. The test result with CGH (0.019rms) is almost the same as the result with null lens (0.020 rms). This experiment also demonstrated that fiducial marks projected by CGH can be used to guide the alignment of the optics and measurement of its off-axis distance. 2010 Copyright SPIE - The International Society for Optical Engineering.

constraint solving techniques for software testing and analysis 会议论文 OAI收割
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Ma Feifei

|

收藏 | 浏览/下载：12/0 | 提交时间：2011/03/31

Automatic programming Computer software selection and evaluation Software engineering Software testing

Test of an off-axis asphere by subaperture stitching interferometry (EI CONFERENCE) 会议论文 OAI收割
4th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Optical Test and Measurement Technology and Equipment, November 19, 2008 - November 21, 2008, Chengdu, China
作者: Zheng L.-G.; Zhang X.-J.; Zhang Z.-Y.; Zhang Z.-Y.; Deng W.-J.

收藏 | 浏览/下载：54/0 | 提交时间：2013/03/25

A new method combined subaperture stitching with interferometry(SSI) is introduced. It can test large and off-axis aspheric surfaces without the aid of other null optics. In this paper the basic principle and theory of the technique are analyzed. The synthetical optimization stitching model and effective stitching algorithm are established based on homogeneous coordinates transformation and simultaneous least-squares method. The software of SSI is devised and the prototype for testing of large aspheres by SSI is designed and developed. An off-axis asphere with the aperture of 376mm188mm is tested by this method. For comparison and validation and the difference of PV and RMS error between them is 0.047 e and 0.006 e the asphere is also tested by null compensation.The synthesized surface profile is consistent to that ofthe entire surface from null test respectively. So it provides another quantitative measurement for testing large aspheric surfaces and off-axis aspheres besides null-compensation. 2009 SPIE.