机构

• 数学与系统科学研究院 [5]
• 软件研究所 [3]
• 长春光学精密机械与物... [2]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [6]
• 会议论文 [4]

发表日期

• 2021 [1]
• 2013 [2]
• 2012 [1]
• 2011 [1]
• 2010 [2]
• 2008 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Simulated Software Testing Process and Its Optimization Considering Heterogeneous Debuggers and Release Time 期刊论文  OAI收割 IEEE ACCESS, 2021, 卷号: 9, 页码: 38649-38659 作者:  Gao, Kaiye   |  收藏  |  浏览/下载：24/0  |  提交时间：2021/04/26 Software  Fault detection  Biological system modeling  Software reliability  Licenses  Software testing  Resource management  Fault detection  optimization  reliability  simulation  software debugging   Enhancing software reliability estimates using modified adaptive testing 会议论文  OAI收割 Hu, Hai (1); Jiang, Chang-Hai (1); Cai, Kai-Yuan (1); Wong, W. Eric (3); Mathur, Aditya P. (4)   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 Software engineering  Software reliability  Software testing   quantitative effects of software testing on reliability improvement in the presence of imperfect debugging 期刊论文  OAI收割 INFORMATION SCIENCES, 2013, 卷号: 218, 页码: 119-132 Cao Ping; Dong Zhao; Liu Ke; Cai Kai-Yuan   |  收藏  |  浏览/下载：24/0  |  提交时间：2013/09/17 Markov usage model  Software reliability testing  Imperfect debugging   wielding statistical fault localization statistically 会议论文  OAI收割 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, United states, November 27, 2012 - November 30, 2012 Zhang Yunqian; Chen Lin; Jiang Bo; Zhang Zhenyu   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/22 Maximum likelihood estimation  Software reliability  Software testing  Technical presentations   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.   Mathematical modeling of software reliability testing with imperfect debugging 期刊论文  OAI收割 COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2010, 卷号: 59, 期号: 10, 页码: 3245-3285 作者:  Cai, Kai-Yuan;  Cao, Ping;  Dong, Zhao;  Liu, Ke   |  收藏  |  浏览/下载：28/0  |  提交时间：2018/07/30 Software testing  Software reliability  Imperfect debugging  The principle of uncertainty  Markovian property   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   Software testing processes as a linear dynamic system 期刊论文  OAI收割 INFORMATION SCIENCES, 2008, 卷号: 178, 期号: 6, 页码: 1558-1597 作者:  Cai, Kai-Yuan;  Dong, Zhao;  Liu, Ke   |  收藏  |  浏览/下载：20/0  |  提交时间：2018/07/30 software testing  software reliability  linear dynamic system   A mathematical modeling framework for software reliability testing 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2007, 卷号: 36, 期号: 4, 页码: 399-463 作者:  Cai, Kai-Yuan;  Dong, Zhao;  Liu, Ke;  Bai, Cheng-Gang   |  收藏  |  浏览/下载：23/0  |  提交时间：2018/07/30 software testing  software reliability  Markov usage model based testing  software testing stability   Optimal and adaptive testing for software reliability assessment 期刊论文  OAI收割 INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 卷号: 46, 期号: 15, 页码: 989-1000 作者:  Cai, KY;  Li, YC;  Liu, K   |  收藏  |  浏览/下载：22/0  |  提交时间：2018/07/30 software reliability assessment  optimal testing  adaptive testing  controlled Markov chain  adaptive control  software cybernetics