Evaluation of Mutation Testing in a Nuclear Industry Case Study.
IEEE Transactions on Reliability(2018)
摘要
For software quality assurance, many safety-critical industries appeal to the use of dynamic testing and structural coverage criteria. However, there are reasons to doubt the adequacy of such practices. Mutation testing has been suggested as an alternative or complementary approach but its cost has traditionally hindered its adoption by industry, and there are limited studies applying it to real s...
更多查看译文
关键词
Testing,Safety,Software,Quality assurance,Syntactics,Nuclear power generation,System verification,System validation
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络