CAJ | 학술논문

并行计算技术的飞速发展给软件测试带来了新的要求.并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试.文中所介绍的并行软件的测试工具--ParCT (parallel C-language testing tools)主要是面向控制流的.文中介绍了ParCT的运作机制及其主要功能:通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度,从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标.在此基础上,还对并行测试工具所面临的一系列新课题,诸如进程的实时跟踪、面向控制流的测试产生(test generation)算法、面向多线程的测试工具、并行程序的时序测试(timing sequence testing)等,进行了一定程度的探讨.
병행계산기술적비속발전급연건측시대래료신적요구.병행연건측시가이분위기우진정내부적공제류측시화기우진정간상호관계적시서측시.문중소개소적병행연건적측시공구--ParCT (parallel C-language testing tools)주요시면향공제류적.문중개소료ParCT적운작궤제급기주요공능:통과대정서적동태측시득도측시적복개솔、렬출미복개분지이급대각개분지적방문빈도,종이방조용호완성대측시정도적평고병위용호설계신적측시용례제공목표.재차기출상,환대병행측시공구소면림적일계렬신과제,제여진정적실시근종、면향공제류적측시산생(test generation)산법、면향다선정적측시공구、병행정서적시서측시(timing sequence testing)등,진행료일정정도적탐토.