程序执行行为论文

论文摘要程序员经常需要知道程序在动态执行时的行为,从而更好地判断软件产品的正确性和可靠性。由于程序执行行为会因为输入或执行环境的不同而表现出不确定性,因此程序员很难及时了解程序...