...
机译:建立飞行软件的可靠性:测试,模型检查,约束解决,监视和学习
School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, OR 97331, USA;
Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA;
Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA;
Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA;
Department of Computer Science, University of California, Los Angeles, CA 90095, USA;
File systems; Testing; Model checking; Verification; Flight software; Formal proof;
机译:带有无限测试工作量功能的软件可靠性增长建模的机器学习方法
机译:具有完善的调试和改进的测试学习过程的S形软件可靠性模型
机译:灵活的软件可靠性增长模型,具有与测试工作量相关的学习过程
机译:使用学习功能进行测试的软件可靠性增长模型
机译:编译器辅助的软件模型检查和监控。
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:学习模型检查难题,用于编程难题的模型检查难题,用于测试模型检查器的难题
机译:使用软件度量和可靠性模型为航空电子系统的飞行和地面支持软件获得可接受的质量软件