会议论文《基于模型检验的构件数据流测试》发表于2009年中国计算机大会。该文探讨了如何利用模型检验技术对软件构件的数据流进行测试，以提高软件系统的可靠性和正确性。作者提出了一个结合模型检验与数据流分析的方法，能够有效检测构件间的交互错误和数据传递问题。该研究为构件化软件测试提供了新的思路和技术支持。
文档为pdf格式，0.38MB，总共8页。
举报
